{
  "area": 35.1648,
  "cell_footprint": "sky130_fd_sc_hs__a32oi",
  "cell_leakage_power": 485.87926,
  "leakage_power": [
    {
      "value": 0.93407,
      "when": "!A1&!A2&!A3&!B1&!B2"
    },
    {
      "value": 8.80433,
      "when": "!A1&!A2&!A3&!B1&B2"
    },
    {
      "value": 7.14689,
      "when": "!A1&!A2&!A3&B1&!B2"
    },
    {
      "value": 1652.50382,
      "when": "!A1&!A2&!A3&B1&B2"
    },
    {
      "value": 1.27082,
      "when": "!A1&!A2&A3&!B1&!B2"
    },
    {
      "value": 9.14113,
      "when": "!A1&!A2&A3&!B1&B2"
    },
    {
      "value": 7.48369,
      "when": "!A1&!A2&A3&B1&!B2"
    },
    {
      "value": 1648.82384,
      "when": "!A1&!A2&A3&B1&B2"
    },
    {
      "value": 1.19305,
      "when": "!A1&A2&!A3&!B1&!B2"
    },
    {
      "value": 9.06337,
      "when": "!A1&A2&!A3&!B1&B2"
    },
    {
      "value": 7.40593,
      "when": "!A1&A2&!A3&B1&!B2"
    },
    {
      "value": 1648.98383,
      "when": "!A1&A2&!A3&B1&B2"
    },
    {
      "value": 9.15313,
      "when": "!A1&A2&A3&!B1&!B2"
    },
    {
      "value": 17.02305,
      "when": "!A1&A2&A3&!B1&B2"
    },
    {
      "value": 15.36577,
      "when": "!A1&A2&A3&B1&!B2"
    },
    {
      "value": 1636.18389,
      "when": "!A1&A2&A3&B1&B2"
    },
    {
      "value": 1.18958,
      "when": "A1&!A2&!A3&!B1&!B2"
    },
    {
      "value": 9.05985,
      "when": "A1&!A2&!A3&!B1&B2"
    },
    {
      "value": 7.40241,
      "when": "A1&!A2&!A3&B1&!B2"
    },
    {
      "value": 1646.74383,
      "when": "A1&!A2&!A3&B1&B2"
    },
    {
      "value": 7.43153,
      "when": "A1&!A2&A3&!B1&!B2"
    },
    {
      "value": 15.30177,
      "when": "A1&!A2&A3&!B1&B2"
    },
    {
      "value": 13.64433,
      "when": "A1&!A2&A3&B1&!B2"
    },
    {
      "value": 1635.38387,
      "when": "A1&!A2&A3&B1&B2"
    },
    {
      "value": 6.21361,
      "when": "A1&A2&!A3&!B1&!B2"
    },
    {
      "value": 14.08369,
      "when": "A1&A2&!A3&!B1&B2"
    },
    {
      "value": 12.42641,
      "when": "A1&A2&!A3&B1&!B2"
    },
    {
      "value": 1634.90386,
      "when": "A1&A2&!A3&B1&B2"
    },
    {
      "value": 1295.68586,
      "when": "A1&A2&A3&!B1&!B2"
    },
    {
      "value": 1186.88788,
      "when": "A1&A2&A3&!B1&B2"
    },
    {
      "value": 1229.36815,
      "when": "A1&A2&A3&B1&!B2"
    },
    {
      "value": 151.9292,
      "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.01111,
    "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.02661,
          0.02816,
          0.0266,
          0.027,
          0.02685,
          0.0269,
          0.02697,
          0.02698,
          0.02694,
          0.03032,
          0.03038,
          0.03463,
          0.03461
        ]
      },
      "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.01527,
          0.01476,
          0.01566,
          0.0155,
          0.01541,
          0.01565,
          0.0157,
          0.01576,
          0.01562,
          0.01733,
          0.01685,
          0.01804,
          0.01674
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.01075,
    "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.02862,
          0.02722,
          0.02669,
          0.02708,
          0.02683,
          0.02691,
          0.02689,
          0.02689,
          0.02682,
          0.03022,
          0.03027,
          0.03386,
          0.03448
        ]
      },
      "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.01428,
          0.01544,
          0.01539,
          0.01583,
          0.01552,
          0.01594,
          0.01607,
          0.01612,
          0.01598,
          0.01771,
          0.0172,
          0.01819,
          0.01701
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.01071,
    "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.02786,
          0.0269,
          0.02663,
          0.0269,
          0.02696,
          0.02691,
          0.02689,
          0.02687,
          0.02682,
          0.03022,
          0.03028,
          0.0345,
          0.03517
        ]
      },
      "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.01631,
          0.01528,
          0.01585,
          0.01606,
          0.016,
          0.01615,
          0.01621,
          0.01627,
          0.0161,
          0.01788,
          0.01734,
          0.0183,
          0.01711
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.01168,
    "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.01642,
          0.01723,
          0.01711,
          0.01704,
          0.01688,
          0.01712,
          0.01717,
          0.01728,
          0.01717,
          0.01909,
          0.01873,
          0.0203,
          0.01985
        ]
      },
      "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.02691,
          0.02721,
          0.02676,
          0.02703,
          0.02709,
          0.02716,
          0.0271,
          0.02708,
          0.02706,
          0.0304,
          0.0304,
          0.03395,
          0.03486
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.01152,
    "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.01408,
          0.01428,
          0.01459,
          0.0147,
          0.01482,
          0.01494,
          0.01492,
          0.01495,
          0.01487,
          0.01641,
          0.016,
          0.01678,
          0.01617
        ]
      },
      "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.02747,
          0.0289,
          0.02754,
          0.02781,
          0.02748,
          0.0275,
          0.02748,
          0.02754,
          0.02751,
          0.03097,
          0.03234,
          0.03569,
          0.03682
        ]
      }
    },
    "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.02565,
              0.01898,
              0.01225,
              -0.00108,
              -0.02788,
              -0.08157,
              -0.18894
            ],
            [
              0.02586,
              0.01908,
              0.01238,
              -0.001,
              -0.02779,
              -0.08146,
              -0.18886
            ],
            [
              0.02604,
              0.01939,
              0.01269,
              -0.00075,
              -0.02757,
              -0.08126,
              -0.18868
            ],
            [
              0.02635,
              0.01961,
              0.01293,
              -0.00051,
              -0.02731,
              -0.08102,
              -0.18839
            ],
            [
              0.02672,
              0.01994,
              0.0132,
              -0.00025,
              -0.02707,
              -0.08078,
              -0.18818
            ],
            [
              0.02715,
              0.02037,
              0.01358,
              0.00011,
              -0.02679,
              -0.08053,
              -0.18795
            ],
            [
              0.02767,
              0.02082,
              0.01402,
              0.00048,
              -0.02648,
              -0.08026,
              -0.18772
            ],
            [
              0.0282,
              0.02132,
              0.01449,
              0.00089,
              -0.02614,
              -0.08,
              -0.18752
            ],
            [
              0.02866,
              0.02179,
              0.01495,
              0.00131,
              -0.02579,
              -0.07974,
              -0.18731
            ],
            [
              0.02898,
              0.02218,
              0.01534,
              0.00171,
              -0.02542,
              -0.07942,
              -0.18706
            ],
            [
              0.0289,
              0.02216,
              0.01539,
              0.00185,
              -0.02524,
              -0.07923,
              -0.18691
            ],
            [
              0.02828,
              0.02167,
              0.01501,
              0.00161,
              -0.02528,
              -0.0792,
              -0.18684
            ],
            [
              0.02661,
              0.02017,
              0.01365,
              0.0005,
              -0.02619,
              -0.07975,
              -0.18714
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.09673,
              0.10377,
              0.11065,
              0.12408,
              0.15066,
              0.20371,
              0.31022
            ],
            [
              0.09648,
              0.10366,
              0.11054,
              0.12405,
              0.15072,
              0.20372,
              0.31033
            ],
            [
              0.09623,
              0.10345,
              0.11035,
              0.12395,
              0.15068,
              0.20373,
              0.31034
            ],
            [
              0.09587,
              0.10308,
              0.11008,
              0.12377,
              0.15057,
              0.20384,
              0.31062
            ],
            [
              0.09552,
              0.10274,
              0.10974,
              0.12349,
              0.15046,
              0.20367,
              0.31041
            ],
            [
              0.09516,
              0.10229,
              0.10935,
              0.12314,
              0.15019,
              0.20349,
              0.31049
            ],
            [
              0.09474,
              0.10185,
              0.10886,
              0.12266,
              0.14973,
              0.20325,
              0.31014
            ],
            [
              0.09443,
              0.10145,
              0.1084,
              0.12218,
              0.14925,
              0.203,
              0.31043
            ],
            [
              0.09416,
              0.10114,
              0.108,
              0.12168,
              0.14879,
              0.20263,
              0.30988
            ],
            [
              0.09407,
              0.10086,
              0.1077,
              0.12131,
              0.1483,
              0.202,
              0.30942
            ],
            [
              0.09417,
              0.10094,
              0.10764,
              0.12105,
              0.14794,
              0.20157,
              0.30897
            ],
            [
              0.09428,
              0.10105,
              0.10779,
              0.12115,
              0.14768,
              0.20117,
              0.30818
            ],
            [
              0.09478,
              0.10147,
              0.10818,
              0.12158,
              0.14811,
              0.20099,
              0.30798
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.02591,
              0.01923,
              0.01256,
              -0.00083,
              -0.02762,
              -0.0813,
              -0.1887
            ],
            [
              0.02611,
              0.01943,
              0.01274,
              -0.00063,
              -0.02743,
              -0.0811,
              -0.1885
            ],
            [
              0.02624,
              0.01956,
              0.01287,
              -0.00049,
              -0.02727,
              -0.08094,
              -0.18835
            ],
            [
              0.02651,
              0.0198,
              0.0131,
              -0.00028,
              -0.02706,
              -0.08072,
              -0.1881
            ],
            [
              0.02678,
              0.02005,
              0.01334,
              -7e-05,
              -0.02688,
              -0.08054,
              -0.18793
            ],
            [
              0.0271,
              0.02037,
              0.01365,
              0.00023,
              -0.02662,
              -0.08032,
              -0.18771
            ],
            [
              0.02751,
              0.02074,
              0.01399,
              0.00053,
              -0.02637,
              -0.08011,
              -0.18752
            ],
            [
              0.02797,
              0.02116,
              0.01437,
              0.00086,
              -0.02608,
              -0.07988,
              -0.18733
            ],
            [
              0.02842,
              0.0216,
              0.01479,
              0.00122,
              -0.02579,
              -0.07965,
              -0.18716
            ],
            [
              0.02887,
              0.02205,
              0.01524,
              0.00165,
              -0.02541,
              -0.07934,
              -0.18691
            ],
            [
              0.02909,
              0.02229,
              0.0155,
              0.00193,
              -0.02514,
              -0.07911,
              -0.18675
            ],
            [
              0.029,
              0.02227,
              0.01552,
              0.00203,
              -0.02498,
              -0.07892,
              -0.18659
            ],
            [
              0.02818,
              0.02157,
              0.01491,
              0.00155,
              -0.02529,
              -0.07908,
              -0.18665
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.10808,
              0.11478,
              0.12147,
              0.13472,
              0.16126,
              0.21419,
              0.32058
            ],
            [
              0.10785,
              0.11458,
              0.12134,
              0.13463,
              0.1612,
              0.21405,
              0.32078
            ],
            [
              0.10765,
              0.11446,
              0.1212,
              0.13452,
              0.16114,
              0.21414,
              0.32059
            ],
            [
              0.10736,
              0.11424,
              0.12096,
              0.13436,
              0.16101,
              0.21402,
              0.32059
            ],
            [
              0.10701,
              0.11388,
              0.12067,
              0.13412,
              0.16076,
              0.21383,
              0.32042
            ],
            [
              0.10666,
              0.11358,
              0.12036,
              0.13383,
              0.16061,
              0.2139,
              0.3206
            ],
            [
              0.10626,
              0.11319,
              0.12,
              0.13356,
              0.16037,
              0.21371,
              0.3204
            ],
            [
              0.10593,
              0.1128,
              0.1196,
              0.13319,
              0.16002,
              0.2135,
              0.32018
            ],
            [
              0.10568,
              0.11248,
              0.1193,
              0.13283,
              0.1597,
              0.2132,
              0.32002
            ],
            [
              0.10553,
              0.11233,
              0.11905,
              0.13257,
              0.15945,
              0.21279,
              0.31974
            ],
            [
              0.10563,
              0.11231,
              0.11895,
              0.13237,
              0.15916,
              0.21248,
              0.31946
            ],
            [
              0.10578,
              0.1125,
              0.11919,
              0.13244,
              0.15893,
              0.21229,
              0.31902
            ],
            [
              0.10611,
              0.11284,
              0.11955,
              0.13288,
              0.15936,
              0.21204,
              0.3189
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.02635,
              0.01968,
              0.01299,
              -0.00039,
              -0.02718,
              -0.08084,
              -0.18824
            ],
            [
              0.02656,
              0.01988,
              0.0132,
              -0.00018,
              -0.02697,
              -0.08063,
              -0.18802
            ],
            [
              0.02676,
              0.02007,
              0.01338,
              1e-05,
              -0.02679,
              -0.08044,
              -0.18783
            ],
            [
              0.02698,
              0.02029,
              0.0136,
              0.00022,
              -0.02658,
              -0.08024,
              -0.18761
            ],
            [
              0.02723,
              0.02053,
              0.0138,
              0.00041,
              -0.02637,
              -0.08007,
              -0.18744
            ],
            [
              0.02758,
              0.02084,
              0.01412,
              0.00069,
              -0.02616,
              -0.07985,
              -0.18723
            ],
            [
              0.02796,
              0.02119,
              0.01445,
              0.00098,
              -0.0259,
              -0.07963,
              -0.18705
            ],
            [
              0.02838,
              0.02157,
              0.0148,
              0.00129,
              -0.02564,
              -0.07942,
              -0.18688
            ],
            [
              0.02881,
              0.022,
              0.0152,
              0.00165,
              -0.02536,
              -0.0792,
              -0.18671
            ],
            [
              0.02925,
              0.02243,
              0.01563,
              0.00206,
              -0.02498,
              -0.07891,
              -0.18647
            ],
            [
              0.02945,
              0.02266,
              0.01587,
              0.00232,
              -0.02472,
              -0.07868,
              -0.18631
            ],
            [
              0.02937,
              0.02264,
              0.0159,
              0.0024,
              -0.02459,
              -0.07851,
              -0.18615
            ],
            [
              0.02859,
              0.02194,
              0.01528,
              0.0019,
              -0.02494,
              -0.07871,
              -0.18625
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.11775,
              0.12434,
              0.13104,
              0.14432,
              0.17078,
              0.22376,
              0.3301
            ],
            [
              0.11751,
              0.12418,
              0.13083,
              0.1441,
              0.17054,
              0.2236,
              0.3299
            ],
            [
              0.11735,
              0.12402,
              0.13066,
              0.14399,
              0.17043,
              0.22348,
              0.3298
            ],
            [
              0.11712,
              0.12383,
              0.13047,
              0.1438,
              0.17036,
              0.22324,
              0.32966
            ],
            [
              0.11695,
              0.12364,
              0.13034,
              0.14368,
              0.17019,
              0.22314,
              0.32971
            ],
            [
              0.11677,
              0.12351,
              0.13018,
              0.14351,
              0.17011,
              0.22299,
              0.3295
            ],
            [
              0.1166,
              0.1233,
              0.13002,
              0.14341,
              0.17002,
              0.22304,
              0.32962
            ],
            [
              0.11638,
              0.12307,
              0.12976,
              0.14318,
              0.16989,
              0.22287,
              0.32947
            ],
            [
              0.11619,
              0.12291,
              0.12963,
              0.14298,
              0.16962,
              0.22288,
              0.32941
            ],
            [
              0.11618,
              0.12286,
              0.12958,
              0.14294,
              0.16969,
              0.22286,
              0.32927
            ],
            [
              0.11622,
              0.12288,
              0.1295,
              0.14289,
              0.16951,
              0.22259,
              0.32917
            ],
            [
              0.11654,
              0.1232,
              0.12984,
              0.14304,
              0.16946,
              0.22254,
              0.32922
            ],
            [
              0.11693,
              0.12365,
              0.13034,
              0.1436,
              0.17001,
              0.22263,
              0.32899
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.00957,
              0.00242,
              -0.00419,
              -0.01777,
              -0.04475,
              -0.09853,
              -0.20596
            ],
            [
              0.01012,
              0.00291,
              -0.0041,
              -0.0177,
              -0.04487,
              -0.09857,
              -0.20601
            ],
            [
              0.01047,
              0.00316,
              -0.00386,
              -0.01764,
              -0.04477,
              -0.09858,
              -0.2061
            ],
            [
              0.01083,
              0.00344,
              -0.0036,
              -0.0175,
              -0.04465,
              -0.09853,
              -0.20606
            ],
            [
              0.01132,
              0.00386,
              -0.00332,
              -0.0172,
              -0.0445,
              -0.0985,
              -0.20605
            ],
            [
              0.01179,
              0.00435,
              -0.00285,
              -0.01688,
              -0.04428,
              -0.09836,
              -0.20598
            ],
            [
              0.0122,
              0.00485,
              -0.00236,
              -0.01644,
              -0.04396,
              -0.09818,
              -0.20588
            ],
            [
              0.01253,
              0.0053,
              -0.00187,
              -0.01596,
              -0.04356,
              -0.09791,
              -0.20574
            ],
            [
              0.01263,
              0.00559,
              -0.00147,
              -0.01549,
              -0.04314,
              -0.09759,
              -0.20555
            ],
            [
              0.01236,
              0.00555,
              -0.00135,
              -0.01519,
              -0.04272,
              -0.09723,
              -0.2053
            ],
            [
              0.01151,
              0.00501,
              -0.00167,
              -0.01526,
              -0.04252,
              -0.09699,
              -0.20506
            ],
            [
              0.0099,
              0.00368,
              -0.00279,
              -0.016,
              -0.0428,
              -0.09688,
              -0.20492
            ],
            [
              0.00669,
              0.00102,
              -0.0051,
              -0.01776,
              -0.04398,
              -0.09746,
              -0.20512
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.04611,
              0.05329,
              0.06021,
              0.07377,
              0.10043,
              0.15363,
              0.2602
            ],
            [
              0.04571,
              0.05296,
              0.05992,
              0.0736,
              0.10025,
              0.15341,
              0.25983
            ],
            [
              0.04529,
              0.05261,
              0.05962,
              0.0734,
              0.10024,
              0.15347,
              0.26
            ],
            [
              0.0449,
              0.05218,
              0.05925,
              0.07306,
              0.10006,
              0.1535,
              0.25995
            ],
            [
              0.04448,
              0.05176,
              0.05884,
              0.07273,
              0.09977,
              0.15334,
              0.25996
            ],
            [
              0.04415,
              0.05132,
              0.05837,
              0.07227,
              0.09947,
              0.15299,
              0.25965
            ],
            [
              0.04394,
              0.05096,
              0.05797,
              0.07178,
              0.09896,
              0.15262,
              0.2595
            ],
            [
              0.04393,
              0.05079,
              0.05772,
              0.0714,
              0.09852,
              0.15225,
              0.2591
            ],
            [
              0.04425,
              0.05088,
              0.05764,
              0.07115,
              0.0981,
              0.15184,
              0.25898
            ],
            [
              0.04499,
              0.0515,
              0.05805,
              0.07131,
              0.09799,
              0.15152,
              0.25856
            ],
            [
              0.04616,
              0.05259,
              0.05906,
              0.07203,
              0.09844,
              0.15143,
              0.25815
            ],
            [
              0.04805,
              0.05438,
              0.0608,
              0.07366,
              0.09947,
              0.15202,
              0.25812
            ],
            [
              0.05135,
              0.05741,
              0.06362,
              0.07634,
              0.10194,
              0.15364,
              0.25918
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.00969,
              0.00278,
              -0.00402,
              -0.01753,
              -0.04447,
              -0.09824,
              -0.20564
            ],
            [
              0.00993,
              0.0029,
              -0.00396,
              -0.01752,
              -0.04451,
              -0.09828,
              -0.2057
            ],
            [
              0.01021,
              0.00306,
              -0.00386,
              -0.01749,
              -0.04453,
              -0.09835,
              -0.2058
            ],
            [
              0.01059,
              0.00333,
              -0.00368,
              -0.0174,
              -0.04452,
              -0.09841,
              -0.20587
            ],
            [
              0.01105,
              0.00369,
              -0.00342,
              -0.01722,
              -0.04442,
              -0.09836,
              -0.20586
            ],
            [
              0.01155,
              0.00413,
              -0.00302,
              -0.01693,
              -0.04423,
              -0.09826,
              -0.20581
            ],
            [
              0.01204,
              0.00468,
              -0.0025,
              -0.01653,
              -0.04395,
              -0.09808,
              -0.20573
            ],
            [
              0.01248,
              0.00519,
              -0.00196,
              -0.01602,
              -0.04356,
              -0.09784,
              -0.2056
            ],
            [
              0.01277,
              0.00561,
              -0.00148,
              -0.01549,
              -0.0431,
              -0.09751,
              -0.20541
            ],
            [
              0.01282,
              0.00581,
              -0.00117,
              -0.01507,
              -0.04263,
              -0.09712,
              -0.20515
            ],
            [
              0.01244,
              0.00564,
              -0.0012,
              -0.01492,
              -0.0423,
              -0.09677,
              -0.20487
            ],
            [
              0.01128,
              0.00476,
              -0.00187,
              -0.01528,
              -0.04235,
              -0.09659,
              -0.20467
            ],
            [
              0.00878,
              0.00264,
              -0.00369,
              -0.01667,
              -0.04321,
              -0.09696,
              -0.20475
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.05799,
              0.06477,
              0.07149,
              0.08487,
              0.1114,
              0.16434,
              0.27077
            ],
            [
              0.05753,
              0.06444,
              0.07117,
              0.08459,
              0.11102,
              0.16406,
              0.27054
            ],
            [
              0.05729,
              0.06414,
              0.07092,
              0.08436,
              0.11098,
              0.164,
              0.27038
            ],
            [
              0.05696,
              0.06387,
              0.07066,
              0.08418,
              0.11083,
              0.16385,
              0.27045
            ],
            [
              0.05664,
              0.06353,
              0.07038,
              0.08391,
              0.11061,
              0.16371,
              0.27015
            ],
            [
              0.05636,
              0.06324,
              0.07009,
              0.08368,
              0.1104,
              0.16359,
              0.2702
            ],
            [
              0.0561,
              0.06299,
              0.06981,
              0.08335,
              0.11015,
              0.16336,
              0.27002
            ],
            [
              0.05607,
              0.06283,
              0.0696,
              0.08308,
              0.10985,
              0.16313,
              0.26987
            ],
            [
              0.05632,
              0.06294,
              0.06963,
              0.08303,
              0.10974,
              0.16302,
              0.2698
            ],
            [
              0.05703,
              0.06356,
              0.0701,
              0.08332,
              0.10986,
              0.16297,
              0.26948
            ],
            [
              0.0583,
              0.06477,
              0.07121,
              0.08417,
              0.11047,
              0.16313,
              0.26945
            ],
            [
              0.06049,
              0.06686,
              0.07327,
              0.08608,
              0.11184,
              0.16412,
              0.27004
            ],
            [
              0.06408,
              0.07027,
              0.07652,
              0.08922,
              0.11469,
              0.16613,
              0.27119
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.10865,
    "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.09281,
              0.1107,
              0.12784,
              0.16093,
              0.22471,
              0.34896,
              0.59377
            ],
            [
              0.095,
              0.11292,
              0.13008,
              0.16314,
              0.22695,
              0.35122,
              0.59594
            ],
            [
              0.09767,
              0.11562,
              0.1328,
              0.16587,
              0.22969,
              0.354,
              0.59881
            ],
            [
              0.10179,
              0.11979,
              0.13698,
              0.17014,
              0.23397,
              0.35833,
              0.60311
            ],
            [
              0.10816,
              0.12622,
              0.14347,
              0.17668,
              0.2406,
              0.36497,
              0.60991
            ],
            [
              0.11792,
              0.13606,
              0.15338,
              0.18667,
              0.2507,
              0.37516,
              0.62014
            ],
            [
              0.1328,
              0.15104,
              0.16845,
              0.20186,
              0.26596,
              0.39059,
              0.63569
            ],
            [
              0.15681,
              0.1743,
              0.19156,
              0.22501,
              0.28925,
              0.41403,
              0.65922
            ],
            [
              0.18846,
              0.20883,
              0.22722,
              0.26039,
              0.32449,
              0.44932,
              0.69475
            ],
            [
              0.22602,
              0.25033,
              0.2722,
              0.3112,
              0.37811,
              0.50274,
              0.74799
            ],
            [
              0.26958,
              0.2988,
              0.3251,
              0.37206,
              0.45222,
              0.58392,
              0.82902
            ],
            [
              0.31907,
              0.35437,
              0.38627,
              0.44337,
              0.54027,
              0.69717,
              0.95067
            ],
            [
              0.3738,
              0.4165,
              0.4553,
              0.5246,
              0.6423,
              0.8328,
              1.1297
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.11393,
              0.13921,
              0.16315,
              0.20976,
              0.30156,
              0.4832,
              0.84597
            ],
            [
              0.11613,
              0.1417,
              0.16591,
              0.21275,
              0.30493,
              0.48668,
              0.84972
            ],
            [
              0.11896,
              0.14475,
              0.16909,
              0.2162,
              0.30858,
              0.49067,
              0.85359
            ],
            [
              0.12355,
              0.14944,
              0.17397,
              0.22127,
              0.31372,
              0.49624,
              0.8595
            ],
            [
              0.13089,
              0.15676,
              0.1814,
              0.22891,
              0.32205,
              0.50495,
              0.86801
            ],
            [
              0.14253,
              0.16819,
              0.19284,
              0.24064,
              0.33375,
              0.51689,
              0.88071
            ],
            [
              0.16012,
              0.18561,
              0.21005,
              0.25783,
              0.35144,
              0.53494,
              0.89893
            ],
            [
              0.18573,
              0.21114,
              0.23548,
              0.28304,
              0.37643,
              0.56036,
              0.92536
            ],
            [
              0.21766,
              0.24694,
              0.27241,
              0.31999,
              0.41337,
              0.59797,
              0.96265
            ],
            [
              0.2549,
              0.28978,
              0.32014,
              0.3739,
              0.46822,
              0.65249,
              1.01819
            ],
            [
              0.29751,
              0.341,
              0.37796,
              0.44177,
              0.54872,
              0.73432,
              1.10012
            ],
            [
              0.34287,
              0.39877,
              0.44547,
              0.52437,
              0.65177,
              0.85727,
              1.22377
            ],
            [
              0.3897,
              0.4616,
              0.5216,
              0.6215,
              0.7787,
              1.022,
              1.4092
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.09342,
              0.11389,
              0.13441,
              0.17583,
              0.25902,
              0.42646,
              0.7628
            ],
            [
              0.09347,
              0.11396,
              0.13454,
              0.17571,
              0.2589,
              0.42636,
              0.76264
            ],
            [
              0.09354,
              0.11393,
              0.13441,
              0.17585,
              0.25906,
              0.42652,
              0.76203
            ],
            [
              0.09366,
              0.11396,
              0.13459,
              0.1757,
              0.25899,
              0.42629,
              0.76235
            ],
            [
              0.09385,
              0.11418,
              0.13465,
              0.17568,
              0.25882,
              0.42662,
              0.76288
            ],
            [
              0.09177,
              0.11356,
              0.13455,
              0.17578,
              0.25904,
              0.42656,
              0.76261
            ],
            [
              0.09154,
              0.11205,
              0.13292,
              0.17529,
              0.25896,
              0.42645,
              0.76289
            ],
            [
              0.09687,
              0.11602,
              0.1354,
              0.17534,
              0.25838,
              0.42646,
              0.76286
            ],
            [
              0.11017,
              0.12906,
              0.147,
              0.18373,
              0.26123,
              0.42622,
              0.76207
            ],
            [
              0.12745,
              0.14989,
              0.1701,
              0.20609,
              0.27726,
              0.43093,
              0.76208
            ],
            [
              0.15302,
              0.17883,
              0.20177,
              0.24284,
              0.31403,
              0.45502,
              0.7664
            ],
            [
              0.1884,
              0.219,
              0.2455,
              0.2923,
              0.3725,
              0.5114,
              0.7959
            ],
            [
              0.2357,
              0.2727,
              0.3045,
              0.3596,
              0.4522,
              0.6057,
              0.875
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.08073,
              0.11295,
              0.14534,
              0.20969,
              0.33843,
              0.59402,
              1.1044
            ],
            [
              0.08095,
              0.11323,
              0.14531,
              0.20977,
              0.33823,
              0.59387,
              1.1036
            ],
            [
              0.08098,
              0.1133,
              0.14544,
              0.2098,
              0.3384,
              0.59415,
              1.10449
            ],
            [
              0.08124,
              0.11333,
              0.14542,
              0.20986,
              0.33838,
              0.59369,
              1.10436
            ],
            [
              0.08126,
              0.11334,
              0.1454,
              0.20992,
              0.33832,
              0.59459,
              1.10435
            ],
            [
              0.08159,
              0.11313,
              0.14548,
              0.20985,
              0.33828,
              0.59357,
              1.10348
            ],
            [
              0.08162,
              0.11353,
              0.14564,
              0.20978,
              0.33826,
              0.5942,
              1.10308
            ],
            [
              0.085,
              0.11509,
              0.14622,
              0.21015,
              0.33847,
              0.59386,
              1.10472
            ],
            [
              0.09758,
              0.12464,
              0.15275,
              0.21308,
              0.33853,
              0.59371,
              1.10353
            ],
            [
              0.12147,
              0.1477,
              0.17288,
              0.22747,
              0.34457,
              0.59371,
              1.1049
            ],
            [
              0.15485,
              0.18325,
              0.2109,
              0.26247,
              0.36805,
              0.6025,
              1.104
            ],
            [
              0.2035,
              0.2346,
              0.2644,
              0.3204,
              0.4224,
              0.6343,
              1.1107
            ],
            [
              0.2719,
              0.3071,
              0.3406,
              0.4021,
              0.5122,
              0.7114,
              1.1494
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.07024,
              0.08903,
              0.10667,
              0.14031,
              0.20457,
              0.32912,
              0.57401
            ],
            [
              0.07234,
              0.09114,
              0.10883,
              0.14248,
              0.20675,
              0.33129,
              0.57612
            ],
            [
              0.0749,
              0.09376,
              0.11149,
              0.14513,
              0.20943,
              0.33398,
              0.57882
            ],
            [
              0.0789,
              0.09784,
              0.1156,
              0.1493,
              0.21363,
              0.33818,
              0.58313
            ],
            [
              0.08514,
              0.10416,
              0.12196,
              0.15573,
              0.22012,
              0.34476,
              0.5898
            ],
            [
              0.09489,
              0.11395,
              0.1318,
              0.16565,
              0.23014,
              0.35486,
              0.6
            ],
            [
              0.11115,
              0.12921,
              0.14696,
              0.1808,
              0.24542,
              0.37026,
              0.61544
            ],
            [
              0.13398,
              0.15358,
              0.17079,
              0.20413,
              0.26863,
              0.39361,
              0.63882
            ],
            [
              0.16129,
              0.18443,
              0.20473,
              0.24023,
              0.30413,
              0.429,
              0.67435
            ],
            [
              0.19305,
              0.22087,
              0.24514,
              0.2875,
              0.35812,
              0.48268,
              0.72789
            ],
            [
              0.22946,
              0.26287,
              0.29227,
              0.34339,
              0.42812,
              0.56382,
              0.80872
            ],
            [
              0.27007,
              0.31037,
              0.34597,
              0.40807,
              0.51107,
              0.67407,
              0.93087
            ],
            [
              0.3139,
              0.3626,
              0.4058,
              0.4814,
              0.6065,
              0.8046,
              1.1079
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.12535,
              0.15674,
              0.18661,
              0.24507,
              0.36038,
              0.58902,
              1.04647
            ],
            [
              0.12737,
              0.15912,
              0.18926,
              0.24811,
              0.36373,
              0.59261,
              1.04984
            ],
            [
              0.12992,
              0.162,
              0.19236,
              0.25147,
              0.3674,
              0.59676,
              1.05372
            ],
            [
              0.13428,
              0.16643,
              0.19701,
              0.25646,
              0.37272,
              0.60228,
              1.06058
            ],
            [
              0.14134,
              0.1735,
              0.20423,
              0.26383,
              0.38026,
              0.61084,
              1.06781
            ],
            [
              0.15267,
              0.18456,
              0.21524,
              0.27518,
              0.39222,
              0.62243,
              1.08132
            ],
            [
              0.16981,
              0.20136,
              0.23192,
              0.29163,
              0.40923,
              0.64031,
              1.09923
            ],
            [
              0.19432,
              0.22571,
              0.25606,
              0.31556,
              0.43317,
              0.66422,
              1.12406
            ],
            [
              0.22518,
              0.25978,
              0.29061,
              0.34993,
              0.46711,
              0.69883,
              1.15835
            ],
            [
              0.26077,
              0.30052,
              0.336,
              0.39952,
              0.51672,
              0.74849,
              1.20869
            ],
            [
              0.30252,
              0.34971,
              0.39072,
              0.46352,
              0.58972,
              0.82132,
              1.28272
            ],
            [
              0.34817,
              0.40677,
              0.45647,
              0.54227,
              0.68697,
              0.93107,
              1.39217
            ],
            [
              0.3961,
              0.4706,
              0.533,
              0.6377,
              0.808,
              1.0858,
              1.5567
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.08208,
              0.10191,
              0.12198,
              0.16291,
              0.24547,
              0.41232,
              0.74868
            ],
            [
              0.08211,
              0.10186,
              0.12203,
              0.1627,
              0.24554,
              0.41247,
              0.74817
            ],
            [
              0.08197,
              0.10177,
              0.12195,
              0.1628,
              0.24555,
              0.41276,
              0.74845
            ],
            [
              0.08139,
              0.10158,
              0.12173,
              0.16271,
              0.24568,
              0.41277,
              0.74833
            ],
            [
              0.07916,
              0.10092,
              0.12139,
              0.1627,
              0.24557,
              0.41235,
              0.74809
            ],
            [
              0.07763,
              0.09871,
              0.1202,
              0.16238,
              0.24551,
              0.41271,
              0.74832
            ],
            [
              0.07944,
              0.0992,
              0.1194,
              0.16089,
              0.24539,
              0.41272,
              0.74825
            ],
            [
              0.08753,
              0.10552,
              0.12406,
              0.16269,
              0.24449,
              0.41269,
              0.74828
            ],
            [
              0.09951,
              0.12054,
              0.13816,
              0.17356,
              0.24906,
              0.41204,
              0.748
            ],
            [
              0.11678,
              0.14021,
              0.16114,
              0.19842,
              0.26746,
              0.41868,
              0.74772
            ],
            [
              0.14169,
              0.16888,
              0.19246,
              0.23432,
              0.3069,
              0.44531,
              0.7532
            ],
            [
              0.17579,
              0.2083,
              0.2359,
              0.2838,
              0.365,
              0.5037,
              0.7862
            ],
            [
              0.2213,
              0.2607,
              0.294,
              0.3506,
              0.4445,
              0.5986,
              0.8669
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.07868,
              0.11933,
              0.16005,
              0.24106,
              0.40307,
              0.72575,
              1.37098
            ],
            [
              0.07892,
              0.11963,
              0.16003,
              0.24093,
              0.40296,
              0.72647,
              1.37028
            ],
            [
              0.07895,
              0.11961,
              0.16018,
              0.24135,
              0.40267,
              0.7266,
              1.37193
            ],
            [
              0.07909,
              0.11968,
              0.16023,
              0.24123,
              0.40321,
              0.72552,
              1.37221
            ],
            [
              0.07922,
              0.11976,
              0.16002,
              0.24139,
              0.40331,
              0.72648,
              1.37193
            ],
            [
              0.07945,
              0.11979,
              0.16045,
              0.24128,
              0.40292,
              0.72631,
              1.37148
            ],
            [
              0.07977,
              0.11984,
              0.16043,
              0.24145,
              0.40267,
              0.72658,
              1.37167
            ],
            [
              0.0825,
              0.12114,
              0.16106,
              0.24158,
              0.40306,
              0.72635,
              1.37238
            ],
            [
              0.09379,
              0.1291,
              0.16621,
              0.24324,
              0.40328,
              0.7256,
              1.37141
            ],
            [
              0.11279,
              0.1487,
              0.18251,
              0.25513,
              0.40721,
              0.72635,
              1.36988
            ],
            [
              0.13841,
              0.17698,
              0.21415,
              0.28283,
              0.42518,
              0.7298,
              1.3709
            ],
            [
              0.1779,
              0.2191,
              0.2585,
              0.3323,
              0.4684,
              0.7538,
              1.3736
            ],
            [
              0.2355,
              0.2807,
              0.3235,
              0.402,
              0.5458,
              0.8146,
              1.3992
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.07233,
              0.09102,
              0.1087,
              0.14245,
              0.20688,
              0.33167,
              0.57704
            ],
            [
              0.07443,
              0.09311,
              0.1108,
              0.14454,
              0.20899,
              0.33379,
              0.57918
            ],
            [
              0.07696,
              0.09573,
              0.11342,
              0.14719,
              0.21163,
              0.33646,
              0.58189
            ],
            [
              0.08099,
              0.09979,
              0.11756,
              0.15133,
              0.21582,
              0.34064,
              0.58606
            ],
            [
              0.08723,
              0.10613,
              0.12392,
              0.15776,
              0.2223,
              0.34719,
              0.59264
            ],
            [
              0.09698,
              0.11594,
              0.13377,
              0.16768,
              0.23231,
              0.3573,
              0.60287
            ],
            [
              0.11298,
              0.13116,
              0.14895,
              0.18286,
              0.2476,
              0.37269,
              0.61829
            ],
            [
              0.13642,
              0.15561,
              0.17266,
              0.20615,
              0.27081,
              0.39608,
              0.64173
            ],
            [
              0.16437,
              0.18702,
              0.20707,
              0.24231,
              0.30633,
              0.4314,
              0.67729
            ],
            [
              0.19711,
              0.22429,
              0.2482,
              0.29019,
              0.36042,
              0.48515,
              0.73079
            ],
            [
              0.23477,
              0.26746,
              0.2963,
              0.34691,
              0.4311,
              0.56642,
              0.81172
            ],
            [
              0.27707,
              0.31637,
              0.35137,
              0.41267,
              0.51497,
              0.67727,
              0.93357
            ],
            [
              0.3233,
              0.3706,
              0.413,
              0.4876,
              0.6117,
              0.8089,
              1.1115
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.16376,
              0.1946,
              0.22454,
              0.28328,
              0.39909,
              0.6291,
              1.08747
            ],
            [
              0.16648,
              0.19745,
              0.22752,
              0.28647,
              0.40252,
              0.63267,
              1.09114
            ],
            [
              0.16963,
              0.20073,
              0.23089,
              0.29,
              0.40628,
              0.63655,
              1.09532
            ],
            [
              0.17433,
              0.20555,
              0.23586,
              0.29517,
              0.41167,
              0.64224,
              1.10118
            ],
            [
              0.18155,
              0.21287,
              0.24331,
              0.30285,
              0.41969,
              0.65059,
              1.10981
            ],
            [
              0.1927,
              0.22406,
              0.25456,
              0.31431,
              0.43153,
              0.6628,
              1.12222
            ],
            [
              0.20944,
              0.24066,
              0.27116,
              0.33103,
              0.44853,
              0.68029,
              1.14003
            ],
            [
              0.23359,
              0.26464,
              0.29503,
              0.35481,
              0.47241,
              0.70463,
              1.16496
            ],
            [
              0.26773,
              0.29892,
              0.32918,
              0.38875,
              0.50631,
              0.73881,
              1.19975
            ],
            [
              0.3098,
              0.34523,
              0.37797,
              0.43819,
              0.55548,
              0.78809,
              1.24959
            ],
            [
              0.36068,
              0.40125,
              0.43845,
              0.50672,
              0.62822,
              0.86072,
              1.32252
            ],
            [
              0.42067,
              0.46927,
              0.51297,
              0.59167,
              0.72947,
              0.96937,
              1.43137
            ],
            [
              0.4886,
              0.5491,
              0.6025,
              0.6965,
              0.8565,
              1.1261,
              1.5947
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.11677,
              0.13492,
              0.15415,
              0.19379,
              0.2754,
              0.44081,
              0.7767
            ],
            [
              0.11668,
              0.13484,
              0.15408,
              0.19372,
              0.2754,
              0.4414,
              0.77652
            ],
            [
              0.1165,
              0.13473,
              0.15399,
              0.19366,
              0.27535,
              0.44115,
              0.77682
            ],
            [
              0.11579,
              0.13448,
              0.15379,
              0.19352,
              0.27531,
              0.44118,
              0.77558
            ],
            [
              0.1131,
              0.13363,
              0.15346,
              0.19336,
              0.27518,
              0.44114,
              0.77662
            ],
            [
              0.11166,
              0.1313,
              0.15185,
              0.19303,
              0.27505,
              0.44116,
              0.77574
            ],
            [
              0.11353,
              0.13185,
              0.15105,
              0.19156,
              0.27483,
              0.44112,
              0.77682
            ],
            [
              0.1214,
              0.13817,
              0.15588,
              0.19345,
              0.27404,
              0.44155,
              0.77664
            ],
            [
              0.13804,
              0.15362,
              0.16989,
              0.20421,
              0.27847,
              0.4406,
              0.77626
            ],
            [
              0.16024,
              0.17858,
              0.19642,
              0.22908,
              0.29686,
              0.44752,
              0.77682
            ],
            [
              0.19232,
              0.21294,
              0.23262,
              0.26945,
              0.33662,
              0.47349,
              0.7817
            ],
            [
              0.23639,
              0.2606,
              0.283,
              0.3245,
              0.3991,
              0.5327,
              0.8137
            ],
            [
              0.2954,
              0.3245,
              0.351,
              0.3992,
              0.4842,
              0.631,
              0.8955
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.11073,
              0.15275,
              0.19413,
              0.27712,
              0.44192,
              0.77104,
              1.4259
            ],
            [
              0.1109,
              0.15251,
              0.1942,
              0.27709,
              0.4419,
              0.77084,
              1.42616
            ],
            [
              0.1108,
              0.15247,
              0.19406,
              0.27712,
              0.44175,
              0.77121,
              1.42722
            ],
            [
              0.11093,
              0.15267,
              0.19409,
              0.27716,
              0.44183,
              0.77117,
              1.42765
            ],
            [
              0.11096,
              0.15271,
              0.19422,
              0.27708,
              0.44206,
              0.77065,
              1.42832
            ],
            [
              0.11075,
              0.15279,
              0.19413,
              0.27701,
              0.44187,
              0.77082,
              1.42772
            ],
            [
              0.11092,
              0.15264,
              0.19409,
              0.2772,
              0.4422,
              0.77028,
              1.42605
            ],
            [
              0.11188,
              0.1531,
              0.19434,
              0.27722,
              0.44208,
              0.77127,
              1.42811
            ],
            [
              0.11825,
              0.15744,
              0.19695,
              0.27772,
              0.44207,
              0.77118,
              1.42654
            ],
            [
              0.13648,
              0.17238,
              0.20952,
              0.28585,
              0.44405,
              0.77078,
              1.428
            ],
            [
              0.16231,
              0.20189,
              0.23905,
              0.30974,
              0.45932,
              0.7729,
              1.4271
            ],
            [
              0.2019,
              0.2436,
              0.283,
              0.3576,
              0.4968,
              0.7946,
              1.4293
            ],
            [
              0.2601,
              0.3058,
              0.3481,
              0.4265,
              0.5727,
              0.8494,
              1.4526
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.10845,
              0.12634,
              0.14347,
              0.17652,
              0.24031,
              0.36458,
              0.60938
            ],
            [
              0.11085,
              0.12873,
              0.14587,
              0.17893,
              0.24272,
              0.36698,
              0.61189
            ],
            [
              0.11385,
              0.13174,
              0.1489,
              0.18195,
              0.24576,
              0.37002,
              0.61488
            ],
            [
              0.11826,
              0.13617,
              0.15335,
              0.18643,
              0.25024,
              0.37451,
              0.61935
            ],
            [
              0.12446,
              0.14244,
              0.15965,
              0.19276,
              0.2566,
              0.38091,
              0.62578
            ],
            [
              0.13335,
              0.15141,
              0.16865,
              0.20185,
              0.26577,
              0.39016,
              0.63506
            ],
            [
              0.14655,
              0.16465,
              0.18194,
              0.21524,
              0.27931,
              0.40379,
              0.64884
            ],
            [
              0.16687,
              0.18475,
              0.20197,
              0.23532,
              0.29955,
              0.42424,
              0.66939
            ],
            [
              0.19339,
              0.21323,
              0.23166,
              0.26569,
              0.32993,
              0.45489,
              0.70032
            ],
            [
              0.22773,
              0.24983,
              0.27024,
              0.30784,
              0.37568,
              0.50089,
              0.74669
            ],
            [
              0.27018,
              0.2958,
              0.31924,
              0.36185,
              0.43736,
              0.56982,
              0.81612
            ],
            [
              0.31987,
              0.35057,
              0.37857,
              0.42887,
              0.51597,
              0.66437,
              0.92017
            ],
            [
              0.3752,
              0.4129,
              0.447,
              0.5081,
              0.6125,
              0.7846,
              1.0691
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.13865,
              0.16241,
              0.18567,
              0.23154,
              0.32233,
              0.50289,
              0.86307
            ],
            [
              0.14119,
              0.16512,
              0.18848,
              0.23444,
              0.3253,
              0.50589,
              0.86611
            ],
            [
              0.14427,
              0.16836,
              0.19181,
              0.23791,
              0.32885,
              0.5096,
              0.86988
            ],
            [
              0.14908,
              0.17331,
              0.19689,
              0.24313,
              0.33424,
              0.51506,
              0.87547
            ],
            [
              0.15659,
              0.18097,
              0.20464,
              0.25106,
              0.34241,
              0.52346,
              0.88385
            ],
            [
              0.16825,
              0.19269,
              0.21648,
              0.26305,
              0.35465,
              0.53597,
              0.89664
            ],
            [
              0.18579,
              0.21022,
              0.23398,
              0.28066,
              0.37249,
              0.55405,
              0.91493
            ],
            [
              0.21147,
              0.23574,
              0.25948,
              0.30612,
              0.39808,
              0.57981,
              0.94096
            ],
            [
              0.24723,
              0.27265,
              0.29646,
              0.3431,
              0.43502,
              0.61694,
              0.97855
            ],
            [
              0.29059,
              0.32051,
              0.34781,
              0.39739,
              0.4895,
              0.67159,
              1.03329
            ],
            [
              0.34292,
              0.3788,
              0.41105,
              0.46902,
              0.57012,
              0.75272,
              1.11492
            ],
            [
              0.40257,
              0.44757,
              0.48747,
              0.55747,
              0.67617,
              0.87437,
              1.23687
            ],
            [
              0.4675,
              0.5252,
              0.5758,
              0.6634,
              0.8076,
              1.0398,
              1.4197
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.09319,
              0.11389,
              0.1345,
              0.17583,
              0.25888,
              0.42663,
              0.7619
            ],
            [
              0.09322,
              0.11386,
              0.1345,
              0.17582,
              0.25903,
              0.426,
              0.76241
            ],
            [
              0.09326,
              0.11382,
              0.13448,
              0.17584,
              0.25897,
              0.4266,
              0.7629
            ],
            [
              0.09319,
              0.11378,
              0.13441,
              0.17585,
              0.25907,
              0.42621,
              0.76175
            ],
            [
              0.09312,
              0.1137,
              0.13446,
              0.17581,
              0.25892,
              0.42658,
              0.76276
            ],
            [
              0.09256,
              0.11349,
              0.13426,
              0.17575,
              0.25872,
              0.42649,
              0.76207
            ],
            [
              0.0928,
              0.11318,
              0.13365,
              0.17536,
              0.25886,
              0.4264,
              0.7628
            ],
            [
              0.09645,
              0.11603,
              0.13589,
              0.17628,
              0.25851,
              0.4265,
              0.76175
            ],
            [
              0.10586,
              0.12453,
              0.14325,
              0.18198,
              0.26157,
              0.42615,
              0.7617
            ],
            [
              0.11954,
              0.13997,
              0.15955,
              0.19658,
              0.27211,
              0.43048,
              0.76203
            ],
            [
              0.14106,
              0.16299,
              0.18379,
              0.22305,
              0.29719,
              0.44694,
              0.7668
            ],
            [
              0.1723,
              0.197,
              0.2199,
              0.2623,
              0.3404,
              0.4855,
              0.7874
            ],
            [
              0.2159,
              0.2448,
              0.2708,
              0.3185,
              0.4027,
              0.5544,
              0.8413
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.10145,
              0.13395,
              0.16611,
              0.23044,
              0.35841,
              0.6131,
              1.12306
            ],
            [
              0.1017,
              0.13381,
              0.16613,
              0.23048,
              0.35837,
              0.61346,
              1.12193
            ],
            [
              0.10153,
              0.13378,
              0.1661,
              0.23056,
              0.35878,
              0.61349,
              1.12312
            ],
            [
              0.10142,
              0.13369,
              0.16619,
              0.23064,
              0.35862,
              0.61364,
              1.12237
            ],
            [
              0.10176,
              0.13383,
              0.16608,
              0.23061,
              0.35859,
              0.61328,
              1.12191
            ],
            [
              0.10164,
              0.13396,
              0.16615,
              0.23056,
              0.35878,
              0.61371,
              1.12318
            ],
            [
              0.10182,
              0.13386,
              0.1663,
              0.23065,
              0.35838,
              0.61401,
              1.12268
            ],
            [
              0.10316,
              0.13469,
              0.16646,
              0.23072,
              0.35852,
              0.61368,
              1.1229
            ],
            [
              0.11166,
              0.14084,
              0.17095,
              0.23235,
              0.35894,
              0.61362,
              1.12274
            ],
            [
              0.13289,
              0.15948,
              0.18687,
              0.24411,
              0.36333,
              0.61361,
              1.12291
            ],
            [
              0.16454,
              0.19367,
              0.22159,
              0.27409,
              0.38412,
              0.6211,
              1.1229
            ],
            [
              0.2116,
              0.2433,
              0.2732,
              0.3294,
              0.4331,
              0.6509,
              1.1289
            ],
            [
              0.2786,
              0.3144,
              0.3473,
              0.4087,
              0.5193,
              0.7221,
              1.1639
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.08591,
              0.10467,
              0.12232,
              0.15595,
              0.2202,
              0.34475,
              0.58967
            ],
            [
              0.08824,
              0.107,
              0.12465,
              0.15828,
              0.22254,
              0.34706,
              0.59196
            ],
            [
              0.09115,
              0.10992,
              0.12758,
              0.1612,
              0.22547,
              0.35,
              0.595
            ],
            [
              0.09549,
              0.11428,
              0.13195,
              0.16557,
              0.22986,
              0.35441,
              0.59927
            ],
            [
              0.10163,
              0.12045,
              0.13814,
              0.17181,
              0.23611,
              0.3607,
              0.60564
            ],
            [
              0.11057,
              0.12937,
              0.14709,
              0.18081,
              0.2452,
              0.36983,
              0.61479
            ],
            [
              0.12431,
              0.14281,
              0.16045,
              0.19419,
              0.25866,
              0.38341,
              0.62854
            ],
            [
              0.14329,
              0.16309,
              0.18083,
              0.21438,
              0.2789,
              0.40379,
              0.64906
            ],
            [
              0.16768,
              0.1893,
              0.20891,
              0.24469,
              0.30938,
              0.4345,
              0.67996
            ],
            [
              0.19859,
              0.22306,
              0.24504,
              0.28463,
              0.35459,
              0.48051,
              0.72639
            ],
            [
              0.23558,
              0.26447,
              0.29013,
              0.33562,
              0.41416,
              0.54932,
              0.79592
            ],
            [
              0.27747,
              0.31247,
              0.34347,
              0.39787,
              0.48947,
              0.64167,
              0.89987
            ],
            [
              0.3224,
              0.3654,
              0.4036,
              0.4702,
              0.5809,
              0.7588,
              1.0474
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.15791,
              0.18784,
              0.21722,
              0.27533,
              0.39057,
              0.62002,
              1.07827
            ],
            [
              0.16029,
              0.19042,
              0.21993,
              0.27816,
              0.39352,
              0.62309,
              1.08144
            ],
            [
              0.16321,
              0.19352,
              0.22316,
              0.28156,
              0.39704,
              0.62668,
              1.08502
            ],
            [
              0.16778,
              0.19828,
              0.22806,
              0.28665,
              0.40236,
              0.63218,
              1.09058
            ],
            [
              0.17501,
              0.20568,
              0.23561,
              0.29444,
              0.41042,
              0.64047,
              1.09911
            ],
            [
              0.18635,
              0.2171,
              0.24714,
              0.30618,
              0.42246,
              0.65292,
              1.11182
            ],
            [
              0.2033,
              0.23402,
              0.26407,
              0.32323,
              0.43979,
              0.67057,
              1.12963
            ],
            [
              0.22778,
              0.25831,
              0.28827,
              0.34742,
              0.46416,
              0.69526,
              1.15466
            ],
            [
              0.26188,
              0.29274,
              0.32263,
              0.38163,
              0.49834,
              0.72972,
              1.18965
            ],
            [
              0.30303,
              0.33828,
              0.37099,
              0.43101,
              0.54756,
              0.77899,
              1.23929
            ],
            [
              0.35297,
              0.39332,
              0.43034,
              0.49832,
              0.61992,
              0.85132,
              1.31192
            ],
            [
              0.41157,
              0.45987,
              0.50337,
              0.58167,
              0.71937,
              0.95917,
              1.42007
            ],
            [
              0.4774,
              0.5375,
              0.5907,
              0.6842,
              0.8438,
              1.1133,
              1.5817
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.08056,
              0.10082,
              0.12141,
              0.16262,
              0.24563,
              0.41279,
              0.74875
            ],
            [
              0.08047,
              0.10079,
              0.12134,
              0.16253,
              0.24547,
              0.41247,
              0.7481
            ],
            [
              0.0804,
              0.10075,
              0.1213,
              0.16238,
              0.24552,
              0.41278,
              0.74809
            ],
            [
              0.08018,
              0.10071,
              0.12125,
              0.16251,
              0.2455,
              0.41235,
              0.74837
            ],
            [
              0.07983,
              0.10038,
              0.121,
              0.16245,
              0.24549,
              0.41251,
              0.74762
            ],
            [
              0.07913,
              0.09977,
              0.12054,
              0.16225,
              0.24539,
              0.41272,
              0.74825
            ],
            [
              0.08086,
              0.10065,
              0.12072,
              0.1617,
              0.24532,
              0.41253,
              0.74874
            ],
            [
              0.08603,
              0.10466,
              0.12405,
              0.16358,
              0.24521,
              0.41261,
              0.74793
            ],
            [
              0.09575,
              0.11493,
              0.13304,
              0.1704,
              0.24904,
              0.4125,
              0.74769
            ],
            [
              0.10982,
              0.13025,
              0.14974,
              0.18719,
              0.26076,
              0.41833,
              0.74861
            ],
            [
              0.1312,
              0.15357,
              0.17455,
              0.21387,
              0.28807,
              0.43554,
              0.7542
            ],
            [
              0.162,
              0.1874,
              0.2107,
              0.2535,
              0.3314,
              0.4762,
              0.7763
            ],
            [
              0.205,
              0.2348,
              0.2616,
              0.3096,
              0.3946,
              0.5463,
              0.8317
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.10592,
              0.14753,
              0.18851,
              0.27038,
              0.43369,
              0.75877,
              1.40814
            ],
            [
              0.10599,
              0.14755,
              0.18853,
              0.27031,
              0.43372,
              0.758,
              1.40819
            ],
            [
              0.10596,
              0.14742,
              0.18864,
              0.27028,
              0.43362,
              0.75788,
              1.40801
            ],
            [
              0.10586,
              0.14729,
              0.18831,
              0.27055,
              0.43372,
              0.75881,
              1.4076
            ],
            [
              0.10596,
              0.14733,
              0.18867,
              0.2703,
              0.43373,
              0.75876,
              1.40801
            ],
            [
              0.10596,
              0.14746,
              0.18845,
              0.27056,
              0.43372,
              0.7582,
              1.40896
            ],
            [
              0.10632,
              0.14746,
              0.1884,
              0.27064,
              0.43347,
              0.75848,
              1.40748
            ],
            [
              0.10727,
              0.14781,
              0.18902,
              0.27046,
              0.43324,
              0.75805,
              1.40814
            ],
            [
              0.11414,
              0.15287,
              0.19197,
              0.2715,
              0.43377,
              0.75878,
              1.40898
            ],
            [
              0.13138,
              0.16774,
              0.20481,
              0.28035,
              0.4363,
              0.75902,
              1.40744
            ],
            [
              0.15596,
              0.19529,
              0.23299,
              0.30378,
              0.45149,
              0.7618,
              1.4081
            ],
            [
              0.1935,
              0.2357,
              0.275,
              0.3498,
              0.4898,
              0.7842,
              1.4105
            ],
            [
              0.2497,
              0.2954,
              0.3382,
              0.4171,
              0.5621,
              0.8389,
              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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.08803,
              0.10668,
              0.12434,
              0.15806,
              0.22248,
              0.3473,
              0.59265
            ],
            [
              0.09035,
              0.109,
              0.12665,
              0.16038,
              0.2248,
              0.3496,
              0.59501
            ],
            [
              0.09325,
              0.1119,
              0.12957,
              0.16331,
              0.22772,
              0.35254,
              0.59797
            ],
            [
              0.09757,
              0.11625,
              0.13392,
              0.16764,
              0.23211,
              0.35692,
              0.60232
            ],
            [
              0.10371,
              0.12241,
              0.1401,
              0.17387,
              0.23834,
              0.36317,
              0.60859
            ],
            [
              0.11265,
              0.13136,
              0.14906,
              0.18284,
              0.24739,
              0.3723,
              0.61777
            ],
            [
              0.12633,
              0.14475,
              0.16241,
              0.19622,
              0.26088,
              0.38587,
              0.63148
            ],
            [
              0.14564,
              0.16517,
              0.18278,
              0.21639,
              0.28111,
              0.40629,
              0.65198
            ],
            [
              0.17038,
              0.19169,
              0.21117,
              0.24683,
              0.31156,
              0.43697,
              0.68288
            ],
            [
              0.20186,
              0.22591,
              0.24768,
              0.28709,
              0.35695,
              0.48304,
              0.72929
            ],
            [
              0.23974,
              0.26806,
              0.2934,
              0.33858,
              0.41688,
              0.55192,
              0.79892
            ],
            [
              0.28297,
              0.31717,
              0.34767,
              0.40157,
              0.49277,
              0.64467,
              0.90297
            ],
            [
              0.3298,
              0.3718,
              0.4092,
              0.4751,
              0.5851,
              0.7624,
              1.0509
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.19426,
              0.22403,
              0.25338,
              0.31138,
              0.42626,
              0.65474,
              1.11007
            ],
            [
              0.19687,
              0.22674,
              0.25614,
              0.31424,
              0.42922,
              0.65773,
              1.11334
            ],
            [
              0.20001,
              0.22999,
              0.2595,
              0.31769,
              0.43277,
              0.66141,
              1.11682
            ],
            [
              0.20486,
              0.23497,
              0.26455,
              0.32288,
              0.43813,
              0.6669,
              1.12258
            ],
            [
              0.21239,
              0.24263,
              0.2723,
              0.33078,
              0.44623,
              0.67517,
              1.13111
            ],
            [
              0.22388,
              0.25425,
              0.284,
              0.34268,
              0.45837,
              0.68755,
              1.14362
            ],
            [
              0.24089,
              0.27123,
              0.30106,
              0.35985,
              0.47577,
              0.70528,
              1.16153
            ],
            [
              0.26509,
              0.29537,
              0.32514,
              0.38405,
              0.50014,
              0.72993,
              1.18646
            ],
            [
              0.2994,
              0.3296,
              0.35933,
              0.41812,
              0.53431,
              0.76435,
              1.22125
            ],
            [
              0.34566,
              0.37828,
              0.40851,
              0.46726,
              0.58331,
              0.81339,
              1.27089
            ],
            [
              0.40216,
              0.43879,
              0.47322,
              0.53752,
              0.65542,
              0.88562,
              1.34312
            ],
            [
              0.47077,
              0.51347,
              0.55317,
              0.62637,
              0.75807,
              0.99297,
              1.45107
            ],
            [
              0.5515,
              0.6035,
              0.6509,
              0.7368,
              0.888,
              1.1492,
              1.6121
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.11455,
              0.13355,
              0.15318,
              0.19318,
              0.27513,
              0.44121,
              0.77576
            ],
            [
              0.11446,
              0.1335,
              0.15301,
              0.19314,
              0.2751,
              0.44073,
              0.77602
            ],
            [
              0.11436,
              0.13335,
              0.15297,
              0.19309,
              0.27508,
              0.44076,
              0.77582
            ],
            [
              0.1142,
              0.13327,
              0.15287,
              0.19306,
              0.27475,
              0.44108,
              0.77663
            ],
            [
              0.1137,
              0.13298,
              0.15263,
              0.19295,
              0.2747,
              0.44083,
              0.77649
            ],
            [
              0.11303,
              0.1323,
              0.15224,
              0.19266,
              0.27496,
              0.44118,
              0.77665
            ],
            [
              0.11479,
              0.13318,
              0.15228,
              0.19221,
              0.27452,
              0.44065,
              0.77644
            ],
            [
              0.11958,
              0.13716,
              0.15561,
              0.19414,
              0.27465,
              0.441,
              0.77666
            ],
            [
              0.13085,
              0.14705,
              0.1643,
              0.20091,
              0.27857,
              0.44121,
              0.77655
            ],
            [
              0.14759,
              0.16523,
              0.18279,
              0.21734,
              0.29014,
              0.44635,
              0.77564
            ],
            [
              0.17328,
              0.19202,
              0.21051,
              0.2469,
              0.31749,
              0.46415,
              0.782
            ],
            [
              0.2104,
              0.2311,
              0.2512,
              0.2898,
              0.3636,
              0.5046,
              0.8044
            ],
            [
              0.263,
              0.2866,
              0.3089,
              0.3515,
              0.4303,
              0.5766,
              0.8586
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.13639,
              0.1787,
              0.22059,
              0.30349,
              0.46847,
              0.79625,
              1.44927
            ],
            [
              0.13639,
              0.17872,
              0.22041,
              0.30351,
              0.46775,
              0.79625,
              1.45146
            ],
            [
              0.13637,
              0.17868,
              0.22058,
              0.30357,
              0.46847,
              0.79614,
              1.44981
            ],
            [
              0.13626,
              0.17864,
              0.22033,
              0.30347,
              0.46851,
              0.79659,
              1.45164
            ],
            [
              0.13621,
              0.17866,
              0.22037,
              0.30344,
              0.46806,
              0.79669,
              1.45162
            ],
            [
              0.13622,
              0.17867,
              0.22042,
              0.30352,
              0.46777,
              0.79688,
              1.45163
            ],
            [
              0.13647,
              0.17867,
              0.22042,
              0.30331,
              0.46805,
              0.79637,
              1.44992
            ],
            [
              0.13655,
              0.1789,
              0.22055,
              0.30336,
              0.46807,
              0.7969,
              1.45112
            ],
            [
              0.14076,
              0.18113,
              0.2218,
              0.30368,
              0.46795,
              0.79674,
              1.44973
            ],
            [
              0.15468,
              0.19296,
              0.23173,
              0.31005,
              0.46893,
              0.79549,
              1.4511
            ],
            [
              0.18051,
              0.2198,
              0.25666,
              0.33008,
              0.48255,
              0.7989,
              1.4487
            ],
            [
              0.2182,
              0.2601,
              0.2995,
              0.3741,
              0.5166,
              0.8179,
              1.4527
            ],
            [
              0.2759,
              0.3207,
              0.3626,
              0.4413,
              0.5874,
              0.869,
              1.4733
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.11442,
              0.13231,
              0.14945,
              0.1825,
              0.24628,
              0.37055,
              0.61538
            ],
            [
              0.11709,
              0.13498,
              0.15212,
              0.18517,
              0.24896,
              0.37324,
              0.61804
            ],
            [
              0.12016,
              0.13805,
              0.1552,
              0.18826,
              0.25204,
              0.37632,
              0.62115
            ],
            [
              0.12438,
              0.1423,
              0.15946,
              0.19254,
              0.25633,
              0.38061,
              0.62545
            ],
            [
              0.13026,
              0.14823,
              0.16541,
              0.19852,
              0.26236,
              0.38666,
              0.6315
            ],
            [
              0.1384,
              0.15642,
              0.17366,
              0.20684,
              0.27074,
              0.39509,
              0.63998
            ],
            [
              0.14984,
              0.16792,
              0.1852,
              0.21846,
              0.28248,
              0.40694,
              0.65194
            ],
            [
              0.16639,
              0.18446,
              0.2017,
              0.23504,
              0.29917,
              0.4238,
              0.66887
            ],
            [
              0.18782,
              0.20706,
              0.22513,
              0.25911,
              0.32335,
              0.44816,
              0.69349
            ],
            [
              0.21506,
              0.23579,
              0.25518,
              0.29155,
              0.35864,
              0.48395,
              0.72959
            ],
            [
              0.2495,
              0.27227,
              0.29349,
              0.33304,
              0.4054,
              0.53682,
              0.78312
            ],
            [
              0.29217,
              0.31797,
              0.34177,
              0.38577,
              0.46537,
              0.60767,
              0.86327
            ],
            [
              0.3426,
              0.373,
              0.4009,
              0.4516,
              0.5413,
              0.6984,
              0.9745
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.15004,
              0.17384,
              0.19699,
              0.24234,
              0.33152,
              0.50789,
              0.85851
            ],
            [
              0.15258,
              0.17641,
              0.19957,
              0.24493,
              0.33412,
              0.5105,
              0.86115
            ],
            [
              0.15587,
              0.17973,
              0.20292,
              0.24831,
              0.33752,
              0.51391,
              0.8646
            ],
            [
              0.16101,
              0.18491,
              0.20813,
              0.25357,
              0.34282,
              0.51924,
              0.86999
            ],
            [
              0.16892,
              0.19289,
              0.21616,
              0.26167,
              0.35095,
              0.5274,
              0.87823
            ],
            [
              0.18085,
              0.20487,
              0.22818,
              0.27375,
              0.36316,
              0.53964,
              0.89045
            ],
            [
              0.19814,
              0.22218,
              0.24551,
              0.29116,
              0.38062,
              0.55729,
              0.90823
            ],
            [
              0.22276,
              0.24678,
              0.27012,
              0.31581,
              0.40535,
              0.58211,
              0.93316
            ],
            [
              0.25774,
              0.28206,
              0.30538,
              0.35104,
              0.44066,
              0.61751,
              0.96855
            ],
            [
              0.3007,
              0.32877,
              0.35476,
              0.40248,
              0.49219,
              0.66919,
              1.02049
            ],
            [
              0.3526,
              0.38551,
              0.41562,
              0.47062,
              0.56802,
              0.74562,
              1.09722
            ],
            [
              0.41237,
              0.45257,
              0.48887,
              0.55397,
              0.66707,
              0.85977,
              1.21207
            ],
            [
              0.4776,
              0.5281,
              0.5733,
              0.6532,
              0.7885,
              1.0122,
              1.3835
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.09327,
              0.11378,
              0.13436,
              0.17575,
              0.25891,
              0.42605,
              0.76282
            ],
            [
              0.09324,
              0.1138,
              0.13437,
              0.17578,
              0.25908,
              0.42659,
              0.76172
            ],
            [
              0.09325,
              0.11382,
              0.13448,
              0.17574,
              0.25874,
              0.42606,
              0.76191
            ],
            [
              0.09319,
              0.11387,
              0.13443,
              0.1756,
              0.25908,
              0.4264,
              0.76205
            ],
            [
              0.09321,
              0.11384,
              0.13441,
              0.17567,
              0.25877,
              0.42664,
              0.76173
            ],
            [
              0.0929,
              0.11361,
              0.13433,
              0.17561,
              0.25906,
              0.42655,
              0.76225
            ],
            [
              0.09292,
              0.11348,
              0.13396,
              0.17557,
              0.25878,
              0.42655,
              0.76271
            ],
            [
              0.09535,
              0.1154,
              0.13556,
              0.17605,
              0.2588,
              0.42649,
              0.76236
            ],
            [
              0.10175,
              0.12122,
              0.14078,
              0.18022,
              0.26106,
              0.4265,
              0.76285
            ],
            [
              0.11115,
              0.13181,
              0.15179,
              0.19089,
              0.2689,
              0.43031,
              0.76278
            ],
            [
              0.12505,
              0.1468,
              0.1679,
              0.2088,
              0.28725,
              0.4433,
              0.76766
            ],
            [
              0.1467,
              0.1696,
              0.1918,
              0.2345,
              0.3164,
              0.4717,
              0.7852
            ],
            [
              0.1804,
              0.2051,
              0.2286,
              0.2735,
              0.3584,
              0.5191,
              0.8257
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.11823,
              0.14946,
              0.18079,
              0.24343,
              0.36841,
              0.61712,
              1.11464
            ],
            [
              0.11811,
              0.14942,
              0.18079,
              0.24343,
              0.36844,
              0.61723,
              1.11444
            ],
            [
              0.11793,
              0.14946,
              0.18077,
              0.24338,
              0.3685,
              0.61751,
              1.11391
            ],
            [
              0.11802,
              0.14945,
              0.18073,
              0.24337,
              0.36851,
              0.6177,
              1.11359
            ],
            [
              0.11811,
              0.14939,
              0.18056,
              0.24339,
              0.36841,
              0.61795,
              1.1146
            ],
            [
              0.11792,
              0.14945,
              0.18071,
              0.24339,
              0.36818,
              0.6179,
              1.11495
            ],
            [
              0.11818,
              0.14949,
              0.18082,
              0.24331,
              0.36834,
              0.61733,
              1.11467
            ],
            [
              0.11884,
              0.1498,
              0.18086,
              0.24349,
              0.36803,
              0.61728,
              1.114
            ],
            [
              0.12607,
              0.15533,
              0.18481,
              0.24499,
              0.3686,
              0.61743,
              1.11556
            ],
            [
              0.14535,
              0.17192,
              0.19953,
              0.25605,
              0.3732,
              0.61779,
              1.11503
            ],
            [
              0.17554,
              0.20424,
              0.23182,
              0.28446,
              0.39379,
              0.626,
              1.1141
            ],
            [
              0.2208,
              0.2517,
              0.2811,
              0.3373,
              0.4411,
              0.6563,
              1.1236
            ],
            [
              0.286,
              0.3206,
              0.353,
              0.4137,
              0.5243,
              0.7274,
              1.1629
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.09191,
              0.11066,
              0.12831,
              0.16192,
              0.22618,
              0.3507,
              0.5956
            ],
            [
              0.0945,
              0.11325,
              0.13091,
              0.16452,
              0.22878,
              0.35331,
              0.59831
            ],
            [
              0.09749,
              0.11625,
              0.1339,
              0.16753,
              0.23178,
              0.35633,
              0.60131
            ],
            [
              0.10162,
              0.1204,
              0.13806,
              0.1717,
              0.23597,
              0.36052,
              0.60543
            ],
            [
              0.10742,
              0.12624,
              0.14392,
              0.17759,
              0.24188,
              0.36647,
              0.6114
            ],
            [
              0.11553,
              0.13438,
              0.1521,
              0.18582,
              0.25018,
              0.37479,
              0.61978
            ],
            [
              0.12723,
              0.14595,
              0.16366,
              0.19742,
              0.26187,
              0.38658,
              0.63165
            ],
            [
              0.14312,
              0.16252,
              0.18035,
              0.21404,
              0.27856,
              0.40339,
              0.64861
            ],
            [
              0.1631,
              0.18375,
              0.20275,
              0.23793,
              0.30278,
              0.42778,
              0.67314
            ],
            [
              0.18832,
              0.21067,
              0.23118,
              0.26897,
              0.3376,
              0.46363,
              0.70929
            ],
            [
              0.21984,
              0.2446,
              0.2672,
              0.30854,
              0.38287,
              0.51612,
              0.76292
            ],
            [
              0.25787,
              0.28637,
              0.31207,
              0.35857,
              0.44077,
              0.58547,
              0.84297
            ],
            [
              0.3008,
              0.3352,
              0.3658,
              0.4201,
              0.5137,
              0.6742,
              0.9529
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.17588,
              0.20607,
              0.23556,
              0.29356,
              0.4079,
              0.63452,
              1.08557
            ],
            [
              0.17829,
              0.20849,
              0.238,
              0.29601,
              0.41036,
              0.63701,
              1.08814
            ],
            [
              0.18145,
              0.21171,
              0.24126,
              0.29929,
              0.41367,
              0.64036,
              1.09142
            ],
            [
              0.18643,
              0.21677,
              0.24635,
              0.30445,
              0.41889,
              0.64562,
              1.09668
            ],
            [
              0.1942,
              0.22459,
              0.25423,
              0.31244,
              0.42697,
              0.65371,
              1.10491
            ],
            [
              0.20589,
              0.23635,
              0.26607,
              0.32435,
              0.43897,
              0.66585,
              1.11712
            ],
            [
              0.22265,
              0.25313,
              0.28288,
              0.34121,
              0.45597,
              0.68299,
              1.13433
            ],
            [
              0.24601,
              0.27647,
              0.30623,
              0.36461,
              0.47948,
              0.70665,
              1.15806
            ],
            [
              0.27853,
              0.30899,
              0.33868,
              0.39708,
              0.51197,
              0.73922,
              1.19095
            ],
            [
              0.3194,
              0.35307,
              0.38453,
              0.44326,
              0.55819,
              0.78559,
              1.23749
            ],
            [
              0.36796,
              0.40589,
              0.44114,
              0.50662,
              0.62542,
              0.85302,
              1.30512
            ],
            [
              0.42547,
              0.46957,
              0.51017,
              0.58447,
              0.71757,
              0.95287,
              1.40537
            ],
            [
              0.4906,
              0.5437,
              0.592,
              0.679,
              0.8314,
              1.0941,
              1.5551
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.0803,
              0.10075,
              0.12127,
              0.1625,
              0.24559,
              0.41267,
              0.74857
            ],
            [
              0.08024,
              0.10071,
              0.12117,
              0.16253,
              0.24538,
              0.41226,
              0.74842
            ],
            [
              0.08019,
              0.10067,
              0.12121,
              0.16232,
              0.24556,
              0.41237,
              0.74809
            ],
            [
              0.08016,
              0.10055,
              0.12117,
              0.16236,
              0.24532,
              0.41271,
              0.74797
            ],
            [
              0.07993,
              0.10047,
              0.12098,
              0.16231,
              0.24552,
              0.4125,
              0.74855
            ],
            [
              0.07947,
              0.10017,
              0.12075,
              0.16231,
              0.2452,
              0.41264,
              0.74827
            ],
            [
              0.08039,
              0.10044,
              0.12093,
              0.16203,
              0.24533,
              0.41238,
              0.74871
            ],
            [
              0.08386,
              0.10326,
              0.12313,
              0.16343,
              0.24536,
              0.41254,
              0.74871
            ],
            [
              0.09072,
              0.11025,
              0.12933,
              0.16812,
              0.24822,
              0.41301,
              0.74874
            ],
            [
              0.10015,
              0.1206,
              0.14067,
              0.17999,
              0.25717,
              0.41764,
              0.74871
            ],
            [
              0.11434,
              0.1359,
              0.1569,
              0.19778,
              0.2765,
              0.43075,
              0.7533
            ],
            [
              0.1367,
              0.1595,
              0.1814,
              0.2241,
              0.3055,
              0.4613,
              0.7729
            ],
            [
              0.1711,
              0.1957,
              0.2193,
              0.264,
              0.3482,
              0.5083,
              0.8145
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.12779,
              0.16892,
              0.20948,
              0.29025,
              0.45135,
              0.77194,
              1.41198
            ],
            [
              0.12799,
              0.1689,
              0.2095,
              0.29027,
              0.45139,
              0.77193,
              1.41153
            ],
            [
              0.12797,
              0.16878,
              0.2096,
              0.29038,
              0.45127,
              0.77159,
              1.41308
            ],
            [
              0.12794,
              0.16867,
              0.20959,
              0.29032,
              0.4507,
              0.77233,
              1.41265
            ],
            [
              0.12781,
              0.16893,
              0.2093,
              0.29009,
              0.45108,
              0.77232,
              1.41132
            ],
            [
              0.12785,
              0.16896,
              0.20957,
              0.29029,
              0.45136,
              0.77244,
              1.41315
            ],
            [
              0.12786,
              0.16897,
              0.20955,
              0.29029,
              0.45128,
              0.77147,
              1.41286
            ],
            [
              0.12849,
              0.16913,
              0.20971,
              0.29025,
              0.45119,
              0.77244,
              1.41272
            ],
            [
              0.13395,
              0.17267,
              0.21193,
              0.29084,
              0.45137,
              0.77233,
              1.4118
            ],
            [
              0.14948,
              0.186,
              0.22338,
              0.29871,
              0.45328,
              0.7715,
              1.41174
            ],
            [
              0.17338,
              0.21252,
              0.24957,
              0.32085,
              0.46831,
              0.7751,
              1.4133
            ],
            [
              0.2093,
              0.2507,
              0.29,
              0.3646,
              0.5056,
              0.7985,
              1.4161
            ],
            [
              0.2633,
              0.3082,
              0.3502,
              0.4292,
              0.5756,
              0.8523,
              1.4427
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.09402,
              0.11267,
              0.13033,
              0.16404,
              0.22845,
              0.35327,
              0.59868
            ],
            [
              0.09661,
              0.11525,
              0.13291,
              0.1666,
              0.23105,
              0.35586,
              0.60124
            ],
            [
              0.09958,
              0.11823,
              0.1359,
              0.16959,
              0.23403,
              0.35884,
              0.60425
            ],
            [
              0.10372,
              0.12237,
              0.14005,
              0.17375,
              0.23822,
              0.36302,
              0.60845
            ],
            [
              0.1095,
              0.1282,
              0.1459,
              0.17963,
              0.24409,
              0.36895,
              0.61439
            ],
            [
              0.11761,
              0.13635,
              0.15408,
              0.18788,
              0.25239,
              0.37727,
              0.62272
            ],
            [
              0.1293,
              0.14791,
              0.16562,
              0.19948,
              0.26409,
              0.38907,
              0.6346
            ],
            [
              0.14537,
              0.16456,
              0.18232,
              0.21609,
              0.28076,
              0.40588,
              0.6515
            ],
            [
              0.1656,
              0.18602,
              0.20494,
              0.24007,
              0.30497,
              0.43027,
              0.67607
            ],
            [
              0.19118,
              0.21325,
              0.23363,
              0.27134,
              0.33997,
              0.46613,
              0.71229
            ],
            [
              0.22321,
              0.2476,
              0.27003,
              0.31124,
              0.38549,
              0.51882,
              0.76592
            ],
            [
              0.26207,
              0.29007,
              0.31547,
              0.36167,
              0.44367,
              0.58837,
              0.84607
            ],
            [
              0.3063,
              0.3399,
              0.3701,
              0.4239,
              0.5172,
              0.6775,
              0.9563
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.21261,
              0.24239,
              0.27163,
              0.32929,
              0.44308,
              0.66854,
              1.11697
            ],
            [
              0.21502,
              0.24481,
              0.27411,
              0.33174,
              0.44555,
              0.67102,
              1.11934
            ],
            [
              0.21823,
              0.24804,
              0.27736,
              0.33502,
              0.44886,
              0.67435,
              1.12272
            ],
            [
              0.22329,
              0.25315,
              0.28248,
              0.34024,
              0.45408,
              0.67958,
              1.12807
            ],
            [
              0.2312,
              0.2611,
              0.29045,
              0.34823,
              0.46218,
              0.68776,
              1.13621
            ],
            [
              0.24297,
              0.27293,
              0.30233,
              0.36018,
              0.47422,
              0.69984,
              1.14852
            ],
            [
              0.25977,
              0.28977,
              0.31919,
              0.37716,
              0.49125,
              0.71702,
              1.16563
            ],
            [
              0.28303,
              0.31303,
              0.3425,
              0.40046,
              0.51469,
              0.74056,
              1.18936
            ],
            [
              0.31539,
              0.34537,
              0.37486,
              0.43281,
              0.54711,
              0.77315,
              1.22215
            ],
            [
              0.35991,
              0.39121,
              0.4208,
              0.47878,
              0.59309,
              0.81929,
              1.26859
            ],
            [
              0.41375,
              0.44872,
              0.48192,
              0.54442,
              0.66002,
              0.88642,
              1.33572
            ],
            [
              0.47907,
              0.51917,
              0.55677,
              0.62697,
              0.75497,
              0.98587,
              1.43557
            ],
            [
              0.5557,
              0.6031,
              0.6471,
              0.7283,
              0.8737,
              1.129,
              1.5846
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.11435,
              0.1334,
              0.15297,
              0.19308,
              0.27507,
              0.44076,
              0.77596
            ],
            [
              0.11427,
              0.1333,
              0.15294,
              0.19299,
              0.27506,
              0.44065,
              0.77653
            ],
            [
              0.11419,
              0.13327,
              0.15291,
              0.19294,
              0.27507,
              0.44115,
              0.77654
            ],
            [
              0.11406,
              0.1332,
              0.15286,
              0.19291,
              0.2747,
              0.44133,
              0.77662
            ],
            [
              0.1138,
              0.13302,
              0.15276,
              0.1929,
              0.27498,
              0.44097,
              0.77582
            ],
            [
              0.11334,
              0.13269,
              0.15255,
              0.19284,
              0.27498,
              0.44098,
              0.77658
            ],
            [
              0.11429,
              0.13308,
              0.15244,
              0.19261,
              0.27463,
              0.44093,
              0.77672
            ],
            [
              0.11753,
              0.13575,
              0.15473,
              0.19388,
              0.27499,
              0.4412,
              0.77653
            ],
            [
              0.12513,
              0.14257,
              0.16084,
              0.19874,
              0.27789,
              0.44101,
              0.77667
            ],
            [
              0.13653,
              0.1548,
              0.17331,
              0.21035,
              0.28673,
              0.44597,
              0.77624
            ],
            [
              0.15341,
              0.1724,
              0.19152,
              0.22998,
              0.30592,
              0.45939,
              0.78236
            ],
            [
              0.1794,
              0.1991,
              0.2191,
              0.2586,
              0.3368,
              0.4892,
              0.8008
            ],
            [
              0.2193,
              0.2402,
              0.2611,
              0.3022,
              0.3822,
              0.5387,
              0.8421
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.15687,
              0.19881,
              0.24051,
              0.32261,
              0.48553,
              0.80853,
              1.45583
            ],
            [
              0.15706,
              0.19885,
              0.24037,
              0.32262,
              0.48552,
              0.80883,
              1.45577
            ],
            [
              0.15706,
              0.19889,
              0.2404,
              0.3226,
              0.48547,
              0.8092,
              1.45575
            ],
            [
              0.15709,
              0.19906,
              0.24018,
              0.32238,
              0.48537,
              0.80928,
              1.45417
            ],
            [
              0.15697,
              0.19885,
              0.24049,
              0.32261,
              0.48536,
              0.80907,
              1.45568
            ],
            [
              0.15688,
              0.19904,
              0.24048,
              0.32258,
              0.48483,
              0.80905,
              1.45563
            ],
            [
              0.1569,
              0.19881,
              0.2405,
              0.32228,
              0.48492,
              0.80961,
              1.45593
            ],
            [
              0.15716,
              0.19913,
              0.24026,
              0.32261,
              0.48499,
              0.80878,
              1.45504
            ],
            [
              0.16031,
              0.2009,
              0.24114,
              0.32279,
              0.48541,
              0.80968,
              1.45605
            ],
            [
              0.17259,
              0.21141,
              0.25035,
              0.32864,
              0.48674,
              0.80977,
              1.45502
            ],
            [
              0.19752,
              0.23642,
              0.27343,
              0.3475,
              0.49953,
              0.8125,
              1.4553
            ],
            [
              0.2336,
              0.2752,
              0.3146,
              0.3893,
              0.5326,
              0.8311,
              1.4573
            ],
            [
              0.2887,
              0.3331,
              0.3748,
              0.4536,
              0.6002,
              0.8822,
              1.4815
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.03214,
              0.04301,
              0.05341,
              0.07385,
              0.11426,
              0.19473,
              0.35548
            ],
            [
              0.03427,
              0.04536,
              0.05589,
              0.0764,
              0.1169,
              0.19741,
              0.35812
            ],
            [
              0.03698,
              0.04822,
              0.05887,
              0.07957,
              0.12016,
              0.20078,
              0.36154
            ],
            [
              0.04133,
              0.05267,
              0.06341,
              0.08424,
              0.12498,
              0.20563,
              0.36661
            ],
            [
              0.04821,
              0.05954,
              0.07033,
              0.09129,
              0.1322,
              0.21299,
              0.37388
            ],
            [
              0.05633,
              0.06998,
              0.08104,
              0.1021,
              0.14315,
              0.22414,
              0.38511
            ],
            [
              0.0658,
              0.08248,
              0.09605,
              0.11842,
              0.15962,
              0.24077,
              0.40192
            ],
            [
              0.07655,
              0.09711,
              0.11378,
              0.14108,
              0.18446,
              0.2657,
              0.4272
            ],
            [
              0.08851,
              0.11384,
              0.13443,
              0.16804,
              0.22022,
              0.3034,
              0.46493
            ],
            [
              0.10138,
              0.13264,
              0.15799,
              0.1994,
              0.2637,
              0.36,
              0.52174
            ],
            [
              0.11452,
              0.15311,
              0.1845,
              0.23568,
              0.31477,
              0.43265,
              0.60742
            ],
            [
              0.12671,
              0.17437,
              0.21307,
              0.27627,
              0.37407,
              0.51907,
              0.72927
            ],
            [
              0.136,
              0.1947,
              0.2424,
              0.3206,
              0.4412,
              0.6201,
              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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.05063,
              0.07117,
              0.0906,
              0.12838,
              0.20308,
              0.35093,
              0.64663
            ],
            [
              0.05219,
              0.07301,
              0.09272,
              0.13078,
              0.20573,
              0.35415,
              0.64966
            ],
            [
              0.05455,
              0.07541,
              0.09531,
              0.13365,
              0.20876,
              0.35711,
              0.65359
            ],
            [
              0.0588,
              0.07956,
              0.09946,
              0.138,
              0.21326,
              0.36183,
              0.65858
            ],
            [
              0.06598,
              0.08626,
              0.10613,
              0.14475,
              0.22043,
              0.36932,
              0.66578
            ],
            [
              0.07776,
              0.09733,
              0.11683,
              0.15548,
              0.23123,
              0.38067,
              0.67744
            ],
            [
              0.0929,
              0.11503,
              0.13405,
              0.1723,
              0.24791,
              0.39758,
              0.69419
            ],
            [
              0.11032,
              0.13822,
              0.16062,
              0.1984,
              0.27367,
              0.42325,
              0.72014
            ],
            [
              0.13068,
              0.16543,
              0.19332,
              0.23839,
              0.31334,
              0.46214,
              0.75925
            ],
            [
              0.15445,
              0.19754,
              0.23226,
              0.28841,
              0.37417,
              0.52228,
              0.81859
            ],
            [
              0.18257,
              0.23524,
              0.2782,
              0.34803,
              0.45482,
              0.61332,
              0.90872
            ],
            [
              0.21657,
              0.27987,
              0.33237,
              0.41857,
              0.55137,
              0.74587,
              1.04547
            ],
            [
              0.2587,
              0.3338,
              0.3969,
              0.5019,
              0.6659,
              0.908,
              1.2528
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.02607,
              0.04017,
              0.05431,
              0.08285,
              0.13964,
              0.25375,
              0.48258
            ],
            [
              0.02607,
              0.04015,
              0.05436,
              0.08279,
              0.13968,
              0.25409,
              0.48223
            ],
            [
              0.02605,
              0.04011,
              0.05434,
              0.08283,
              0.13992,
              0.254,
              0.48157
            ],
            [
              0.02606,
              0.04011,
              0.05427,
              0.08285,
              0.13967,
              0.25388,
              0.48225
            ],
            [
              0.02823,
              0.0407,
              0.05429,
              0.08269,
              0.13986,
              0.25383,
              0.48201
            ],
            [
              0.03376,
              0.0446,
              0.05672,
              0.08313,
              0.13987,
              0.25375,
              0.48225
            ],
            [
              0.03983,
              0.05312,
              0.06399,
              0.08765,
              0.14026,
              0.25409,
              0.48241
            ],
            [
              0.04861,
              0.06351,
              0.07647,
              0.09895,
              0.14652,
              0.25412,
              0.48253
            ],
            [
              0.06093,
              0.07812,
              0.0927,
              0.11829,
              0.16285,
              0.26124,
              0.48243
            ],
            [
              0.07777,
              0.09797,
              0.11498,
              0.14394,
              0.19284,
              0.28222,
              0.48687
            ],
            [
              0.10045,
              0.12478,
              0.1447,
              0.17835,
              0.23368,
              0.32512,
              0.51093
            ],
            [
              0.13133,
              0.16073,
              0.18468,
              0.22458,
              0.2882,
              0.3915,
              0.5683
            ],
            [
              0.173,
              0.209,
              0.2381,
              0.2858,
              0.3612,
              0.4797,
              0.6711
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.04578,
              0.07311,
              0.10044,
              0.15443,
              0.26263,
              0.47823,
              0.90955
            ],
            [
              0.04563,
              0.07298,
              0.10015,
              0.15436,
              0.26227,
              0.47696,
              0.90902
            ],
            [
              0.04549,
              0.07294,
              0.10018,
              0.15445,
              0.26264,
              0.47828,
              0.90803
            ],
            [
              0.04535,
              0.07281,
              0.10015,
              0.15414,
              0.26249,
              0.47816,
              0.90727
            ],
            [
              0.04514,
              0.07289,
              0.10019,
              0.1543,
              0.26233,
              0.47786,
              0.90848
            ],
            [
              0.04947,
              0.07349,
              0.09988,
              0.1543,
              0.2624,
              0.47744,
              0.90875
            ],
            [
              0.05975,
              0.08007,
              0.10321,
              0.15377,
              0.26212,
              0.47698,
              0.90866
            ],
            [
              0.07554,
              0.09529,
              0.11477,
              0.16023,
              0.26213,
              0.47778,
              0.90794
            ],
            [
              0.093,
              0.11883,
              0.13902,
              0.17788,
              0.26943,
              0.47793,
              0.90837
            ],
            [
              0.11604,
              0.14715,
              0.1723,
              0.2133,
              0.29317,
              0.48272,
              0.90922
            ],
            [
              0.14509,
              0.18361,
              0.21415,
              0.2644,
              0.34291,
              0.51167,
              0.9092
            ],
            [
              0.18149,
              0.22898,
              0.2673,
              0.3286,
              0.4234,
              0.5773,
              0.9359
            ],
            [
              0.2277,
              0.2859,
              0.3332,
              0.41,
              0.526,
              0.6994,
              1.0183
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.03213,
              0.04304,
              0.05344,
              0.07389,
              0.11427,
              0.19473,
              0.35548
            ],
            [
              0.03432,
              0.0454,
              0.05587,
              0.07639,
              0.11695,
              0.19745,
              0.35826
            ],
            [
              0.03708,
              0.0483,
              0.05895,
              0.07965,
              0.12017,
              0.20086,
              0.36154
            ],
            [
              0.04145,
              0.05278,
              0.06355,
              0.08435,
              0.12509,
              0.20575,
              0.36667
            ],
            [
              0.04839,
              0.05971,
              0.07052,
              0.09146,
              0.13238,
              0.2132,
              0.37424
            ],
            [
              0.05659,
              0.0702,
              0.08124,
              0.10225,
              0.1434,
              0.22435,
              0.38552
            ],
            [
              0.06612,
              0.08277,
              0.09633,
              0.11867,
              0.15988,
              0.24105,
              0.40224
            ],
            [
              0.07692,
              0.09745,
              0.11411,
              0.1414,
              0.18474,
              0.26598,
              0.42746
            ],
            [
              0.08885,
              0.11415,
              0.13475,
              0.16839,
              0.2206,
              0.30366,
              0.46518
            ],
            [
              0.10164,
              0.13295,
              0.15839,
              0.19987,
              0.26408,
              0.36011,
              0.52196
            ],
            [
              0.11462,
              0.15331,
              0.18475,
              0.23597,
              0.31518,
              0.43279,
              0.60732
            ],
            [
              0.12653,
              0.17427,
              0.21317,
              0.27637,
              0.37427,
              0.51937,
              0.73007
            ],
            [
              0.1352,
              0.1943,
              0.2422,
              0.3204,
              0.4413,
              0.6204,
              0.8788
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.05457,
              0.07764,
              0.09951,
              0.14213,
              0.22606,
              0.39341,
              0.72692
            ],
            [
              0.05588,
              0.0793,
              0.10146,
              0.14443,
              0.22869,
              0.3961,
              0.729
            ],
            [
              0.05807,
              0.0815,
              0.1039,
              0.14708,
              0.23162,
              0.39874,
              0.73189
            ],
            [
              0.06202,
              0.08528,
              0.10766,
              0.15121,
              0.23594,
              0.40397,
              0.73799
            ],
            [
              0.06894,
              0.09168,
              0.1141,
              0.15768,
              0.2429,
              0.41093,
              0.74504
            ],
            [
              0.08046,
              0.1023,
              0.12435,
              0.16795,
              0.25321,
              0.42172,
              0.75617
            ],
            [
              0.09634,
              0.11959,
              0.14091,
              0.18411,
              0.26944,
              0.43791,
              0.77285
            ],
            [
              0.1144,
              0.14373,
              0.16735,
              0.20933,
              0.29424,
              0.46266,
              0.79758
            ],
            [
              0.13552,
              0.17194,
              0.20132,
              0.24907,
              0.33272,
              0.50053,
              0.83565
            ],
            [
              0.16021,
              0.2052,
              0.24166,
              0.30084,
              0.39208,
              0.55913,
              0.89359
            ],
            [
              0.18942,
              0.24432,
              0.28927,
              0.36257,
              0.47532,
              0.64782,
              0.98032
            ],
            [
              0.22477,
              0.29077,
              0.34547,
              0.43567,
              0.57527,
              0.78137,
              1.11417
            ],
            [
              0.2688,
              0.3469,
              0.4124,
              0.522,
              0.6939,
              0.949,
              1.3168
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.02609,
              0.04016,
              0.05428,
              0.0828,
              0.1399,
              0.2541,
              0.48151
            ],
            [
              0.02606,
              0.04009,
              0.0543,
              0.08277,
              0.13989,
              0.25407,
              0.48154
            ],
            [
              0.02607,
              0.04009,
              0.05431,
              0.08281,
              0.13972,
              0.25405,
              0.48235
            ],
            [
              0.02604,
              0.04003,
              0.05428,
              0.08269,
              0.13983,
              0.25405,
              0.48239
            ],
            [
              0.02813,
              0.04065,
              0.05425,
              0.08279,
              0.13985,
              0.25406,
              0.4816
            ],
            [
              0.03358,
              0.04448,
              0.0567,
              0.08312,
              0.13986,
              0.25375,
              0.48208
            ],
            [
              0.03966,
              0.05294,
              0.06376,
              0.08746,
              0.14047,
              0.25404,
              0.48233
            ],
            [
              0.04836,
              0.06327,
              0.07629,
              0.09863,
              0.14642,
              0.25409,
              0.48253
            ],
            [
              0.06068,
              0.07785,
              0.09245,
              0.11804,
              0.16254,
              0.26117,
              0.48244
            ],
            [
              0.07747,
              0.09774,
              0.11465,
              0.14355,
              0.1924,
              0.28218,
              0.48706
            ],
            [
              0.10027,
              0.12456,
              0.14447,
              0.17807,
              0.23322,
              0.325,
              0.51083
            ],
            [
              0.1311,
              0.16066,
              0.18447,
              0.22438,
              0.2881,
              0.3912,
              0.5677
            ],
            [
              0.1729,
              0.2091,
              0.2382,
              0.2859,
              0.361,
              0.4795,
              0.6709
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.0524,
              0.0833,
              0.11388,
              0.1743,
              0.2949,
              0.53567,
              1.01684
            ],
            [
              0.05215,
              0.08302,
              0.11369,
              0.17438,
              0.29498,
              0.53489,
              1.01591
            ],
            [
              0.05201,
              0.08312,
              0.11385,
              0.17433,
              0.2949,
              0.53562,
              1.01663
            ],
            [
              0.05166,
              0.08299,
              0.11367,
              0.17423,
              0.29499,
              0.53581,
              1.01635
            ],
            [
              0.05114,
              0.08238,
              0.11342,
              0.17428,
              0.29441,
              0.53585,
              1.01718
            ],
            [
              0.0545,
              0.08246,
              0.11271,
              0.17391,
              0.29494,
              0.53501,
              1.01638
            ],
            [
              0.06396,
              0.0881,
              0.11499,
              0.17347,
              0.29486,
              0.53489,
              1.01658
            ],
            [
              0.08061,
              0.10191,
              0.1254,
              0.17758,
              0.29425,
              0.53457,
              1.0152
            ],
            [
              0.09778,
              0.12636,
              0.14785,
              0.19362,
              0.29894,
              0.53472,
              1.01687
            ],
            [
              0.12102,
              0.15454,
              0.18202,
              0.22677,
              0.31949,
              0.53817,
              1.01701
            ],
            [
              0.15,
              0.19088,
              0.22399,
              0.27854,
              0.36659,
              0.56113,
              1.0153
            ],
            [
              0.18671,
              0.23696,
              0.2775,
              0.3435,
              0.4466,
              0.6219,
              1.036
            ],
            [
              0.2335,
              0.2941,
              0.3442,
              0.4257,
              0.5505,
              0.7381,
              1.1057
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.03217,
              0.04305,
              0.05345,
              0.07391,
              0.11428,
              0.1947,
              0.35549
            ],
            [
              0.03434,
              0.04542,
              0.05589,
              0.07644,
              0.11696,
              0.19747,
              0.35828
            ],
            [
              0.03709,
              0.04831,
              0.05896,
              0.07966,
              0.12021,
              0.20087,
              0.36164
            ],
            [
              0.04146,
              0.05281,
              0.06356,
              0.08435,
              0.1251,
              0.20578,
              0.36668
            ],
            [
              0.04839,
              0.05971,
              0.07051,
              0.09148,
              0.13239,
              0.21321,
              0.37423
            ],
            [
              0.05659,
              0.0702,
              0.08125,
              0.10225,
              0.1434,
              0.22435,
              0.38549
            ],
            [
              0.06611,
              0.08277,
              0.09633,
              0.11867,
              0.15988,
              0.24105,
              0.4022
            ],
            [
              0.0769,
              0.09744,
              0.1141,
              0.14139,
              0.18474,
              0.26598,
              0.42744
            ],
            [
              0.08883,
              0.11413,
              0.13474,
              0.16837,
              0.22059,
              0.30362,
              0.46513
            ],
            [
              0.10162,
              0.13293,
              0.1583,
              0.19985,
              0.26407,
              0.36011,
              0.52194
            ],
            [
              0.11462,
              0.1533,
              0.18474,
              0.23596,
              0.31509,
              0.43283,
              0.60732
            ],
            [
              0.12654,
              0.17427,
              0.21317,
              0.27637,
              0.37427,
              0.51937,
              0.73007
            ],
            [
              0.1353,
              0.1943,
              0.2422,
              0.3205,
              0.4413,
              0.6203,
              0.8788
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.05452,
              0.07745,
              0.09918,
              0.14138,
              0.2248,
              0.39052,
              0.72137
            ],
            [
              0.05591,
              0.0791,
              0.10115,
              0.1438,
              0.22744,
              0.39297,
              0.7238
            ],
            [
              0.05802,
              0.0814,
              0.10355,
              0.14647,
              0.23029,
              0.39665,
              0.72749
            ],
            [
              0.06199,
              0.08514,
              0.10737,
              0.15054,
              0.23472,
              0.40149,
              0.7324
            ],
            [
              0.06894,
              0.09157,
              0.11372,
              0.15712,
              0.2416,
              0.40822,
              0.74006
            ],
            [
              0.08046,
              0.1022,
              0.12409,
              0.16734,
              0.25194,
              0.41909,
              0.7511
            ],
            [
              0.09629,
              0.11949,
              0.14068,
              0.18357,
              0.26823,
              0.43521,
              0.76776
            ],
            [
              0.11431,
              0.14358,
              0.16713,
              0.20888,
              0.29317,
              0.46008,
              0.79225
            ],
            [
              0.13538,
              0.17173,
              0.20103,
              0.24864,
              0.33182,
              0.4983,
              0.83075
            ],
            [
              0.16001,
              0.20492,
              0.24129,
              0.30031,
              0.39119,
              0.55688,
              0.88899
            ],
            [
              0.18916,
              0.24395,
              0.28881,
              0.36193,
              0.47432,
              0.64582,
              0.97642
            ],
            [
              0.22447,
              0.29027,
              0.34487,
              0.43487,
              0.57417,
              0.77947,
              1.10977
            ],
            [
              0.2684,
              0.3463,
              0.4117,
              0.5211,
              0.6926,
              0.9469,
              1.3131
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.02609,
              0.04016,
              0.05429,
              0.08282,
              0.1399,
              0.25395,
              0.48148
            ],
            [
              0.02607,
              0.04011,
              0.0543,
              0.08279,
              0.1399,
              0.2541,
              0.48156
            ],
            [
              0.02607,
              0.04008,
              0.05431,
              0.08281,
              0.1398,
              0.25391,
              0.48259
            ],
            [
              0.02604,
              0.0401,
              0.05427,
              0.0827,
              0.13985,
              0.25408,
              0.48161
            ],
            [
              0.02813,
              0.04066,
              0.05427,
              0.08282,
              0.13984,
              0.25408,
              0.48152
            ],
            [
              0.03358,
              0.04449,
              0.05665,
              0.08311,
              0.13987,
              0.25376,
              0.48167
            ],
            [
              0.03966,
              0.05294,
              0.06379,
              0.08746,
              0.14047,
              0.25401,
              0.48255
            ],
            [
              0.04838,
              0.06328,
              0.07629,
              0.09864,
              0.14641,
              0.2541,
              0.48253
            ],
            [
              0.0607,
              0.07787,
              0.09246,
              0.11805,
              0.16255,
              0.26111,
              0.48238
            ],
            [
              0.07755,
              0.09776,
              0.11472,
              0.14357,
              0.19241,
              0.28219,
              0.4872
            ],
            [
              0.10028,
              0.12458,
              0.1445,
              0.17809,
              0.23339,
              0.32503,
              0.51072
            ],
            [
              0.13111,
              0.16067,
              0.18449,
              0.2244,
              0.2881,
              0.3913,
              0.5677
            ],
            [
              0.1729,
              0.2091,
              0.2382,
              0.286,
              0.361,
              0.4795,
              0.6709
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.05197,
              0.08255,
              0.11283,
              0.17295,
              0.29275,
              0.53129,
              1.00796
            ],
            [
              0.0518,
              0.08246,
              0.11275,
              0.17281,
              0.29251,
              0.53171,
              1.01012
            ],
            [
              0.05154,
              0.08235,
              0.11257,
              0.17289,
              0.29279,
              0.53199,
              1.01025
            ],
            [
              0.05129,
              0.08225,
              0.11283,
              0.17291,
              0.2928,
              0.53155,
              1.00813
            ],
            [
              0.05083,
              0.08206,
              0.11258,
              0.17262,
              0.29236,
              0.53195,
              1.00837
            ],
            [
              0.0542,
              0.0819,
              0.11202,
              0.17238,
              0.29227,
              0.5312,
              1.00911
            ],
            [
              0.06374,
              0.0875,
              0.11402,
              0.17218,
              0.29264,
              0.53163,
              1.00851
            ],
            [
              0.08037,
              0.10151,
              0.12464,
              0.17664,
              0.29215,
              0.53149,
              1.0088
            ],
            [
              0.09755,
              0.12594,
              0.14733,
              0.19238,
              0.29678,
              0.53153,
              1.00912
            ],
            [
              0.12082,
              0.15415,
              0.18145,
              0.22581,
              0.31823,
              0.53382,
              1.00968
            ],
            [
              0.14975,
              0.19048,
              0.22345,
              0.27776,
              0.36506,
              0.5575,
              1.0084
            ],
            [
              0.18642,
              0.23652,
              0.277,
              0.3428,
              0.4451,
              0.6191,
              1.0281
            ],
            [
              0.2332,
              0.2937,
              0.3437,
              0.4249,
              0.549,
              0.7357,
              1.1001
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.03219,
              0.04309,
              0.05351,
              0.07392,
              0.11432,
              0.19473,
              0.35534
            ],
            [
              0.03444,
              0.04554,
              0.05605,
              0.07654,
              0.11706,
              0.19745,
              0.35822
            ],
            [
              0.03727,
              0.04847,
              0.05914,
              0.07975,
              0.12035,
              0.20094,
              0.36164
            ],
            [
              0.04172,
              0.05307,
              0.06383,
              0.08461,
              0.12532,
              0.20595,
              0.3669
            ],
            [
              0.0488,
              0.06008,
              0.07089,
              0.09185,
              0.13273,
              0.21358,
              0.37454
            ],
            [
              0.05721,
              0.07074,
              0.08175,
              0.10277,
              0.14388,
              0.22485,
              0.38591
            ],
            [
              0.06696,
              0.08353,
              0.09699,
              0.11923,
              0.16048,
              0.24149,
              0.40287
            ],
            [
              0.07796,
              0.09839,
              0.11501,
              0.14219,
              0.18541,
              0.26667,
              0.42812
            ],
            [
              0.08998,
              0.11526,
              0.13586,
              0.16936,
              0.22137,
              0.30445,
              0.4659
            ],
            [
              0.10263,
              0.13392,
              0.15939,
              0.20095,
              0.26506,
              0.361,
              0.52275
            ],
            [
              0.11521,
              0.15399,
              0.18552,
              0.23691,
              0.3162,
              0.43356,
              0.60832
            ],
            [
              0.12631,
              0.17447,
              0.21347,
              0.27717,
              0.37517,
              0.52037,
              0.73097
            ],
            [
              0.1334,
              0.1931,
              0.2415,
              0.3203,
              0.4418,
              0.6211,
              0.8797
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.06586,
              0.09728,
              0.1273,
              0.1858,
              0.30107,
              0.53043,
              0.9876
            ],
            [
              0.06657,
              0.0983,
              0.1287,
              0.18765,
              0.30338,
              0.53241,
              0.99044
            ],
            [
              0.06806,
              0.09993,
              0.1306,
              0.19,
              0.3061,
              0.53548,
              0.99402
            ],
            [
              0.0714,
              0.10285,
              0.1337,
              0.19348,
              0.31,
              0.54034,
              0.99808
            ],
            [
              0.07759,
              0.10823,
              0.13891,
              0.199,
              0.31588,
              0.54672,
              1.00491
            ],
            [
              0.08843,
              0.11768,
              0.14784,
              0.20787,
              0.3251,
              0.55628,
              1.01392
            ],
            [
              0.10584,
              0.13368,
              0.16285,
              0.22228,
              0.33961,
              0.57064,
              1.02963
            ],
            [
              0.12579,
              0.15951,
              0.18731,
              0.24529,
              0.3621,
              0.59378,
              1.05366
            ],
            [
              0.1493,
              0.19073,
              0.22463,
              0.28196,
              0.39764,
              0.62854,
              1.08825
            ],
            [
              0.17687,
              0.22766,
              0.26928,
              0.33789,
              0.4524,
              0.68229,
              1.14109
            ],
            [
              0.20959,
              0.27119,
              0.32209,
              0.40611,
              0.53772,
              0.76502,
              1.22282
            ],
            [
              0.24937,
              0.32297,
              0.38447,
              0.48697,
              0.64767,
              0.89187,
              1.34657
            ],
            [
              0.2991,
              0.3858,
              0.4592,
              0.5828,
              0.7786,
              1.0744,
              1.5363
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.02607,
              0.04012,
              0.05436,
              0.08271,
              0.13987,
              0.25403,
              0.4822
            ],
            [
              0.02605,
              0.04016,
              0.05433,
              0.0827,
              0.1399,
              0.2538,
              0.48213
            ],
            [
              0.02607,
              0.04014,
              0.0543,
              0.08273,
              0.13982,
              0.25403,
              0.48239
            ],
            [
              0.02597,
              0.04007,
              0.05434,
              0.08284,
              0.13991,
              0.25377,
              0.48241
            ],
            [
              0.02802,
              0.0406,
              0.0542,
              0.08281,
              0.13967,
              0.2541,
              0.48189
            ],
            [
              0.03326,
              0.0442,
              0.05654,
              0.08301,
              0.13987,
              0.25408,
              0.48254
            ],
            [
              0.03923,
              0.05252,
              0.06337,
              0.0872,
              0.1403,
              0.25383,
              0.4824
            ],
            [
              0.04777,
              0.06268,
              0.07573,
              0.09814,
              0.14611,
              0.25408,
              0.48254
            ],
            [
              0.05991,
              0.07705,
              0.09166,
              0.11733,
              0.16214,
              0.26088,
              0.48234
            ],
            [
              0.07667,
              0.09694,
              0.11379,
              0.14269,
              0.1916,
              0.28167,
              0.4871
            ],
            [
              0.09948,
              0.12381,
              0.14372,
              0.17726,
              0.23242,
              0.32433,
              0.51016
            ],
            [
              0.13053,
              0.16015,
              0.18391,
              0.22359,
              0.2872,
              0.3903,
              0.5672
            ],
            [
              0.1727,
              0.209,
              0.2381,
              0.2857,
              0.3605,
              0.4787,
              0.6704
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.07517,
              0.11789,
              0.15915,
              0.24082,
              0.40324,
              0.7263,
              1.37292
            ],
            [
              0.07455,
              0.11755,
              0.15937,
              0.24117,
              0.40282,
              0.7264,
              1.37045
            ],
            [
              0.07409,
              0.11732,
              0.1588,
              0.24119,
              0.40315,
              0.72585,
              1.37228
            ],
            [
              0.07314,
              0.11682,
              0.15878,
              0.24102,
              0.40303,
              0.72613,
              1.3729
            ],
            [
              0.07185,
              0.11584,
              0.15819,
              0.24088,
              0.40269,
              0.72648,
              1.3728
            ],
            [
              0.07264,
              0.11443,
              0.1572,
              0.24017,
              0.40319,
              0.72544,
              1.37086
            ],
            [
              0.07958,
              0.11667,
              0.15618,
              0.23947,
              0.40289,
              0.72589,
              1.37025
            ],
            [
              0.09525,
              0.1271,
              0.16267,
              0.23912,
              0.40247,
              0.72631,
              1.37238
            ],
            [
              0.11397,
              0.14915,
              0.18029,
              0.24886,
              0.40159,
              0.7264,
              1.37237
            ],
            [
              0.13627,
              0.17903,
              0.21487,
              0.27573,
              0.41343,
              0.72479,
              1.37163
            ],
            [
              0.16575,
              0.21547,
              0.25667,
              0.32657,
              0.44983,
              0.7349,
              1.3712
            ],
            [
              0.20326,
              0.2624,
              0.3108,
              0.3925,
              0.5223,
              0.7785,
              1.3741
            ],
            [
              0.2506,
              0.3211,
              0.3797,
              0.4764,
              0.63,
              0.8761,
              1.4182
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.03309,
              0.0439,
              0.05432,
              0.07473,
              0.11514,
              0.1956,
              0.3563
            ],
            [
              0.03527,
              0.0463,
              0.05682,
              0.07731,
              0.11781,
              0.19836,
              0.35911
            ],
            [
              0.03804,
              0.04925,
              0.05986,
              0.08052,
              0.1211,
              0.20171,
              0.36246
            ],
            [
              0.04242,
              0.05376,
              0.06448,
              0.08528,
              0.12599,
              0.20669,
              0.3675
            ],
            [
              0.04939,
              0.06068,
              0.07147,
              0.09242,
              0.13335,
              0.21414,
              0.37508
            ],
            [
              0.05786,
              0.07127,
              0.08221,
              0.10323,
              0.14435,
              0.22531,
              0.38633
            ],
            [
              0.06772,
              0.08408,
              0.09747,
              0.11963,
              0.16087,
              0.24198,
              0.40306
            ],
            [
              0.07895,
              0.09909,
              0.11555,
              0.14263,
              0.18583,
              0.26708,
              0.42838
            ],
            [
              0.09145,
              0.11624,
              0.13656,
              0.16992,
              0.22176,
              0.30479,
              0.4662
            ],
            [
              0.10501,
              0.13564,
              0.16072,
              0.20179,
              0.26555,
              0.36141,
              0.52309
            ],
            [
              0.11906,
              0.15681,
              0.18775,
              0.23848,
              0.31715,
              0.4345,
              0.60872
            ],
            [
              0.13245,
              0.17897,
              0.21717,
              0.27977,
              0.37697,
              0.52157,
              0.73187
            ],
            [
              0.1433,
              0.2005,
              0.2475,
              0.3248,
              0.4449,
              0.6232,
              0.8812
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.08331,
              0.10644,
              0.12881,
              0.17269,
              0.25907,
              0.43057,
              0.77241
            ],
            [
              0.08519,
              0.10848,
              0.13098,
              0.17507,
              0.26166,
              0.43331,
              0.77532
            ],
            [
              0.08756,
              0.11095,
              0.13362,
              0.17785,
              0.26471,
              0.43649,
              0.77867
            ],
            [
              0.09144,
              0.1149,
              0.13765,
              0.1821,
              0.26916,
              0.4412,
              0.78341
            ],
            [
              0.09786,
              0.12129,
              0.14409,
              0.18865,
              0.27598,
              0.4483,
              0.79073
            ],
            [
              0.10829,
              0.13153,
              0.15428,
              0.19892,
              0.2864,
              0.459,
              0.80171
            ],
            [
              0.12514,
              0.14793,
              0.17042,
              0.21492,
              0.30259,
              0.47542,
              0.81841
            ],
            [
              0.15062,
              0.17396,
              0.19594,
              0.24,
              0.32743,
              0.50037,
              0.84346
            ],
            [
              0.18069,
              0.20993,
              0.23512,
              0.27891,
              0.36569,
              0.53806,
              0.88135
            ],
            [
              0.21629,
              0.25243,
              0.28359,
              0.33655,
              0.42458,
              0.59639,
              0.93939
            ],
            [
              0.25815,
              0.30263,
              0.34118,
              0.40691,
              0.51232,
              0.68512,
              1.02682
            ],
            [
              0.30767,
              0.36197,
              0.40927,
              0.49037,
              0.62107,
              0.82027,
              1.16007
            ],
            [
              0.3673,
              0.4324,
              0.4898,
              0.589,
              0.7503,
              0.9968,
              1.3628
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.04487,
              0.05885,
              0.07287,
              0.10108,
              0.1576,
              0.27151,
              0.49891
            ],
            [
              0.04487,
              0.05881,
              0.07292,
              0.10103,
              0.15759,
              0.27137,
              0.49874
            ],
            [
              0.04486,
              0.05884,
              0.07289,
              0.10106,
              0.1576,
              0.27116,
              0.49854
            ],
            [
              0.0448,
              0.05881,
              0.07292,
              0.10107,
              0.15759,
              0.27117,
              0.49951
            ],
            [
              0.04689,
              0.05937,
              0.07285,
              0.10109,
              0.15757,
              0.27122,
              0.49832
            ],
            [
              0.05205,
              0.06312,
              0.07526,
              0.10147,
              0.15759,
              0.27117,
              0.49876
            ],
            [
              0.06189,
              0.07136,
              0.08217,
              0.10579,
              0.15823,
              0.27118,
              0.49884
            ],
            [
              0.07378,
              0.08518,
              0.09574,
              0.11685,
              0.16434,
              0.27142,
              0.4995
            ],
            [
              0.09086,
              0.10321,
              0.11511,
              0.13759,
              0.18042,
              0.27837,
              0.49908
            ],
            [
              0.11447,
              0.12813,
              0.14127,
              0.16607,
              0.21098,
              0.29944,
              0.50333
            ],
            [
              0.14641,
              0.16196,
              0.17692,
              0.20479,
              0.2548,
              0.34247,
              0.52894
            ],
            [
              0.18942,
              0.20732,
              0.22461,
              0.25675,
              0.3135,
              0.4108,
              0.5851
            ],
            [
              0.2469,
              0.2679,
              0.2884,
              0.3261,
              0.3919,
              0.5027,
              0.6886
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.07527,
              0.10675,
              0.13791,
              0.20029,
              0.32434,
              0.57162,
              1.06388
            ],
            [
              0.07521,
              0.1069,
              0.13808,
              0.20008,
              0.32436,
              0.5717,
              1.06498
            ],
            [
              0.0752,
              0.10681,
              0.13813,
              0.20024,
              0.32437,
              0.57084,
              1.06521
            ],
            [
              0.07511,
              0.10679,
              0.13798,
              0.20014,
              0.32435,
              0.57146,
              1.06395
            ],
            [
              0.07495,
              0.10658,
              0.13807,
              0.20027,
              0.32427,
              0.57174,
              1.06383
            ],
            [
              0.07414,
              0.10641,
              0.13784,
              0.20009,
              0.32396,
              0.57176,
              1.06495
            ],
            [
              0.07798,
              0.10697,
              0.13734,
              0.20011,
              0.32426,
              0.57179,
              1.06521
            ],
            [
              0.08994,
              0.1157,
              0.14299,
              0.20088,
              0.3242,
              0.57138,
              1.06414
            ],
            [
              0.1117,
              0.13636,
              0.15994,
              0.21204,
              0.32566,
              0.57086,
              1.06564
            ],
            [
              0.13658,
              0.16807,
              0.19481,
              0.24016,
              0.3422,
              0.57254,
              1.06581
            ],
            [
              0.16935,
              0.20706,
              0.23882,
              0.2922,
              0.38319,
              0.59162,
              1.0642
            ],
            [
              0.2106,
              0.257,
              0.2955,
              0.3595,
              0.4619,
              0.6458,
              1.0799
            ],
            [
              0.2623,
              0.3195,
              0.367,
              0.4456,
              0.5688,
              0.7582,
              1.1452
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.03309,
              0.04393,
              0.05435,
              0.07474,
              0.11516,
              0.19561,
              0.35631
            ],
            [
              0.03535,
              0.0464,
              0.05688,
              0.0774,
              0.11784,
              0.19844,
              0.35915
            ],
            [
              0.0382,
              0.04937,
              0.06002,
              0.08064,
              0.12122,
              0.20181,
              0.36259
            ],
            [
              0.04265,
              0.05397,
              0.06472,
              0.08549,
              0.12621,
              0.20683,
              0.36766
            ],
            [
              0.04975,
              0.061,
              0.07182,
              0.09276,
              0.13365,
              0.21446,
              0.37537
            ],
            [
              0.05843,
              0.07174,
              0.08264,
              0.10372,
              0.14477,
              0.22574,
              0.38676
            ],
            [
              0.06848,
              0.08476,
              0.09808,
              0.12019,
              0.16144,
              0.24247,
              0.40364
            ],
            [
              0.0799,
              0.09996,
              0.11637,
              0.14335,
              0.18644,
              0.26771,
              0.42896
            ],
            [
              0.09247,
              0.11725,
              0.13757,
              0.1708,
              0.22256,
              0.3055,
              0.46696
            ],
            [
              0.10592,
              0.13653,
              0.16162,
              0.20281,
              0.26655,
              0.3622,
              0.5239
            ],
            [
              0.11955,
              0.15741,
              0.18844,
              0.23934,
              0.31816,
              0.43507,
              0.60962
            ],
            [
              0.13215,
              0.17907,
              0.21737,
              0.28037,
              0.37777,
              0.52237,
              0.73267
            ],
            [
              0.1414,
              0.1994,
              0.2468,
              0.3246,
              0.4452,
              0.6239,
              0.882
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.10404,
              0.13489,
              0.16483,
              0.22354,
              0.33933,
              0.5692,
              1.02767
            ],
            [
              0.10548,
              0.13657,
              0.16669,
              0.2257,
              0.34175,
              0.57187,
              1.03054
            ],
            [
              0.10733,
              0.13857,
              0.16888,
              0.22817,
              0.34447,
              0.57479,
              1.03352
            ],
            [
              0.11051,
              0.14183,
              0.17228,
              0.2318,
              0.34856,
              0.5792,
              1.03818
            ],
            [
              0.11598,
              0.14728,
              0.17782,
              0.23757,
              0.35462,
              0.58572,
              1.04501
            ],
            [
              0.12529,
              0.15632,
              0.1868,
              0.24665,
              0.36404,
              0.59545,
              1.05512
            ],
            [
              0.14074,
              0.17117,
              0.20138,
              0.26108,
              0.37856,
              0.61044,
              1.07063
            ],
            [
              0.16657,
              0.19521,
              0.22483,
              0.28397,
              0.40137,
              0.63341,
              1.09376
            ],
            [
              0.1998,
              0.23329,
              0.26223,
              0.32014,
              0.43673,
              0.66831,
              1.12895
            ],
            [
              0.23905,
              0.28003,
              0.31558,
              0.37703,
              0.49163,
              0.72239,
              1.18259
            ],
            [
              0.28537,
              0.33541,
              0.37904,
              0.45412,
              0.57672,
              0.80532,
              1.26432
            ],
            [
              0.34027,
              0.40087,
              0.45397,
              0.54587,
              0.69547,
              0.93277,
              1.38907
            ],
            [
              0.4065,
              0.4789,
              0.5429,
              0.6544,
              0.8373,
              1.1209,
              1.5795
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.04443,
              0.05841,
              0.07243,
              0.10067,
              0.15726,
              0.27085,
              0.49809
            ],
            [
              0.04442,
              0.05842,
              0.07244,
              0.10067,
              0.15726,
              0.27105,
              0.49811
            ],
            [
              0.0444,
              0.0584,
              0.07243,
              0.10068,
              0.15728,
              0.27105,
              0.49884
            ],
            [
              0.04433,
              0.05838,
              0.07246,
              0.10069,
              0.1572,
              0.27085,
              0.49881
            ],
            [
              0.04633,
              0.05891,
              0.07238,
              0.10068,
              0.15719,
              0.27093,
              0.49808
            ],
            [
              0.05133,
              0.06244,
              0.07468,
              0.10104,
              0.15727,
              0.27087,
              0.49804
            ],
            [
              0.06095,
              0.07052,
              0.08139,
              0.1052,
              0.15777,
              0.27086,
              0.49817
            ],
            [
              0.07255,
              0.0841,
              0.09473,
              0.116,
              0.16371,
              0.27127,
              0.49843
            ],
            [
              0.08936,
              0.10183,
              0.11381,
              0.13649,
              0.17958,
              0.27765,
              0.49875
            ],
            [
              0.11281,
              0.1266,
              0.13985,
              0.16467,
              0.20976,
              0.2989,
              0.50324
            ],
            [
              0.14468,
              0.16041,
              0.17545,
              0.20339,
              0.25348,
              0.34148,
              0.52702
            ],
            [
              0.18762,
              0.20587,
              0.22322,
              0.25534,
              0.3121,
              0.4098,
              0.5847
            ],
            [
              0.2455,
              0.2668,
              0.2874,
              0.3252,
              0.3907,
              0.5016,
              0.688
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.10477,
              0.14699,
              0.18846,
              0.27043,
              0.4336,
              0.75891,
              1.40883
            ],
            [
              0.10477,
              0.14672,
              0.18848,
              0.27064,
              0.43342,
              0.75921,
              1.40852
            ],
            [
              0.10462,
              0.14691,
              0.18838,
              0.27065,
              0.43345,
              0.75887,
              1.40769
            ],
            [
              0.10418,
              0.14681,
              0.18822,
              0.27046,
              0.43321,
              0.75823,
              1.40789
            ],
            [
              0.10368,
              0.1462,
              0.18828,
              0.27015,
              0.43374,
              0.75887,
              1.40713
            ],
            [
              0.10263,
              0.14575,
              0.18792,
              0.27037,
              0.43348,
              0.75901,
              1.40864
            ],
            [
              0.10296,
              0.14401,
              0.18681,
              0.26997,
              0.43382,
              0.75911,
              1.40891
            ],
            [
              0.1115,
              0.14896,
              0.18743,
              0.26873,
              0.43351,
              0.75915,
              1.40727
            ],
            [
              0.13178,
              0.16473,
              0.19977,
              0.27336,
              0.43237,
              0.75806,
              1.40737
            ],
            [
              0.15745,
              0.19755,
              0.22856,
              0.29446,
              0.4396,
              0.7583,
              1.40722
            ],
            [
              0.19003,
              0.23578,
              0.27509,
              0.34069,
              0.47046,
              0.7651,
              1.4065
            ],
            [
              0.2324,
              0.2864,
              0.3325,
              0.4108,
              0.5381,
              0.8036,
              1.4095
            ],
            [
              0.2854,
              0.3506,
              0.4059,
              0.4986,
              0.6485,
              0.8962,
              1.4484
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.03309,
              0.04397,
              0.05438,
              0.07476,
              0.11518,
              0.19563,
              0.35632
            ],
            [
              0.03538,
              0.04644,
              0.0569,
              0.07741,
              0.1179,
              0.19847,
              0.35918
            ],
            [
              0.03821,
              0.04941,
              0.06004,
              0.08068,
              0.12125,
              0.20187,
              0.3626
            ],
            [
              0.04269,
              0.05401,
              0.06474,
              0.08553,
              0.12623,
              0.20691,
              0.36773
            ],
            [
              0.04978,
              0.06104,
              0.07184,
              0.09279,
              0.13368,
              0.21451,
              0.3754
            ],
            [
              0.05845,
              0.07177,
              0.08268,
              0.10373,
              0.14479,
              0.22576,
              0.38679
            ],
            [
              0.06849,
              0.08479,
              0.0981,
              0.12019,
              0.16144,
              0.2425,
              0.40363
            ],
            [
              0.07989,
              0.09996,
              0.11638,
              0.14337,
              0.18645,
              0.26771,
              0.42898
            ],
            [
              0.09245,
              0.11724,
              0.13756,
              0.1708,
              0.22257,
              0.3055,
              0.46692
            ],
            [
              0.10588,
              0.13651,
              0.1616,
              0.20278,
              0.26655,
              0.3622,
              0.52391
            ],
            [
              0.11952,
              0.15739,
              0.18841,
              0.23932,
              0.31816,
              0.43547,
              0.60962
            ],
            [
              0.13213,
              0.17897,
              0.21737,
              0.28037,
              0.37777,
              0.52237,
              0.73267
            ],
            [
              0.1414,
              0.1993,
              0.2468,
              0.3246,
              0.4452,
              0.6239,
              0.882
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.13087,
              0.16205,
              0.19216,
              0.25082,
              0.36575,
              0.59276,
              1.04407
            ],
            [
              0.13265,
              0.16396,
              0.19416,
              0.25306,
              0.36821,
              0.59549,
              1.04694
            ],
            [
              0.13486,
              0.16622,
              0.19654,
              0.25561,
              0.37099,
              0.59846,
              1.05002
            ],
            [
              0.13847,
              0.16984,
              0.20023,
              0.25947,
              0.37517,
              0.60289,
              1.05468
            ],
            [
              0.14426,
              0.17567,
              0.2061,
              0.26548,
              0.38144,
              0.60949,
              1.06151
            ],
            [
              0.15364,
              0.18495,
              0.21539,
              0.27486,
              0.39105,
              0.61945,
              1.07182
            ],
            [
              0.16869,
              0.19981,
              0.23016,
              0.28955,
              0.40593,
              0.63465,
              1.08733
            ],
            [
              0.19272,
              0.22343,
              0.2536,
              0.31266,
              0.42894,
              0.65773,
              1.11086
            ],
            [
              0.23144,
              0.26103,
              0.29026,
              0.3489,
              0.46444,
              0.69328,
              1.14635
            ],
            [
              0.27893,
              0.31529,
              0.34764,
              0.40518,
              0.51974,
              0.74769,
              1.20069
            ],
            [
              0.33533,
              0.37966,
              0.41907,
              0.48832,
              0.60492,
              0.83112,
              1.28332
            ],
            [
              0.40197,
              0.45587,
              0.50407,
              0.58847,
              0.72917,
              0.95937,
              1.40897
            ],
            [
              0.4813,
              0.5461,
              0.6044,
              0.7076,
              0.8796,
              1.1513,
              1.6009
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.05641,
              0.07213,
              0.08748,
              0.11732,
              0.1751,
              0.28888,
              0.51557
            ],
            [
              0.0564,
              0.07215,
              0.08749,
              0.11731,
              0.1751,
              0.28876,
              0.51564
            ],
            [
              0.05639,
              0.07214,
              0.08748,
              0.11732,
              0.17511,
              0.28877,
              0.51557
            ],
            [
              0.05631,
              0.0721,
              0.08748,
              0.11732,
              0.17511,
              0.28892,
              0.51558
            ],
            [
              0.0583,
              0.07264,
              0.08742,
              0.11732,
              0.17514,
              0.28876,
              0.51552
            ],
            [
              0.06335,
              0.0762,
              0.08967,
              0.11769,
              0.17514,
              0.28894,
              0.51558
            ],
            [
              0.07369,
              0.08427,
              0.0964,
              0.12183,
              0.1757,
              0.28889,
              0.51553
            ],
            [
              0.09049,
              0.10042,
              0.10983,
              0.1326,
              0.18164,
              0.28911,
              0.51556
            ],
            [
              0.11088,
              0.12136,
              0.13231,
              0.15324,
              0.19739,
              0.29586,
              0.51555
            ],
            [
              0.13911,
              0.15006,
              0.16161,
              0.18456,
              0.22747,
              0.31672,
              0.52043
            ],
            [
              0.17751,
              0.1891,
              0.20163,
              0.22651,
              0.27359,
              0.35919,
              0.54471
            ],
            [
              0.22928,
              0.24172,
              0.25542,
              0.28307,
              0.3354,
              0.4289,
              0.6012
            ],
            [
              0.2988,
              0.3124,
              0.3278,
              0.3593,
              0.4184,
              0.5236,
              0.7049
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.12778,
              0.16886,
              0.20945,
              0.29,
              0.45135,
              0.7724,
              1.41182
            ],
            [
              0.12775,
              0.16857,
              0.20944,
              0.29042,
              0.45141,
              0.77219,
              1.41213
            ],
            [
              0.12768,
              0.16884,
              0.20934,
              0.2903,
              0.45137,
              0.77149,
              1.41252
            ],
            [
              0.12766,
              0.16871,
              0.20933,
              0.29022,
              0.45141,
              0.77216,
              1.41271
            ],
            [
              0.12757,
              0.16861,
              0.20953,
              0.29033,
              0.45142,
              0.77227,
              1.41274
            ],
            [
              0.12711,
              0.16858,
              0.20928,
              0.29037,
              0.45134,
              0.77152,
              1.41168
            ],
            [
              0.125,
              0.16773,
              0.20906,
              0.29009,
              0.45109,
              0.77187,
              1.41212
            ],
            [
              0.1289,
              0.16784,
              0.20774,
              0.28949,
              0.45116,
              0.7724,
              1.41303
            ],
            [
              0.14317,
              0.17862,
              0.21515,
              0.29085,
              0.45075,
              0.77194,
              1.41279
            ],
            [
              0.17226,
              0.20629,
              0.23876,
              0.30766,
              0.45498,
              0.77183,
              1.4117
            ],
            [
              0.2058,
              0.24867,
              0.28612,
              0.34893,
              0.48175,
              0.7766,
              1.413
            ],
            [
              0.2508,
              0.3015,
              0.3449,
              0.4203,
              0.5451,
              0.8109,
              1.4137
            ],
            [
              0.3081,
              0.3691,
              0.4213,
              0.5104,
              0.6556,
              0.9014,
              1.4514
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.04034,
              0.051,
              0.06127,
              0.08157,
              0.12188,
              0.20233,
              0.36314
            ],
            [
              0.04299,
              0.05382,
              0.06417,
              0.08461,
              0.125,
              0.20549,
              0.36615
            ],
            [
              0.04599,
              0.05699,
              0.06745,
              0.08796,
              0.12846,
              0.20899,
              0.36976
            ],
            [
              0.05018,
              0.06132,
              0.07193,
              0.09254,
              0.13307,
              0.21372,
              0.37454
            ],
            [
              0.05606,
              0.06735,
              0.07805,
              0.09884,
              0.13951,
              0.22026,
              0.38123
            ],
            [
              0.06363,
              0.07595,
              0.08686,
              0.1078,
              0.1487,
              0.22964,
              0.39068
            ],
            [
              0.0729,
              0.08673,
              0.09899,
              0.12091,
              0.16201,
              0.24312,
              0.40435
            ],
            [
              0.0844,
              0.10028,
              0.11417,
              0.13881,
              0.18186,
              0.26319,
              0.4247
            ],
            [
              0.09804,
              0.11699,
              0.13321,
              0.16137,
              0.20957,
              0.29312,
              0.4549
            ],
            [
              0.11337,
              0.13672,
              0.15633,
              0.18962,
              0.24474,
              0.33698,
              0.49998
            ],
            [
              0.12942,
              0.15884,
              0.18321,
              0.22386,
              0.28899,
              0.39369,
              0.56782
            ],
            [
              0.14444,
              0.18217,
              0.21297,
              0.26367,
              0.34297,
              0.46557,
              0.66097
            ],
            [
              0.156,
              0.2045,
              0.2439,
              0.3079,
              0.4066,
              0.5545,
              0.7799
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.07411,
              0.09403,
              0.11347,
              0.15179,
              0.22755,
              0.37825,
              0.67879
            ],
            [
              0.07585,
              0.09594,
              0.11544,
              0.15389,
              0.22971,
              0.38049,
              0.68116
            ],
            [
              0.07828,
              0.09847,
              0.11811,
              0.15667,
              0.23259,
              0.38337,
              0.68411
            ],
            [
              0.08235,
              0.10264,
              0.12237,
              0.16101,
              0.23713,
              0.38805,
              0.68881
            ],
            [
              0.089,
              0.10931,
              0.12908,
              0.16785,
              0.24408,
              0.39517,
              0.69604
            ],
            [
              0.09977,
              0.11993,
              0.13968,
              0.17848,
              0.25484,
              0.40603,
              0.70716
            ],
            [
              0.11695,
              0.13671,
              0.15631,
              0.195,
              0.27138,
              0.42256,
              0.72377
            ],
            [
              0.14018,
              0.16269,
              0.18214,
              0.2205,
              0.29665,
              0.44795,
              0.74907
            ],
            [
              0.16739,
              0.19508,
              0.21898,
              0.2597,
              0.33532,
              0.48627,
              0.78725
            ],
            [
              0.19909,
              0.23331,
              0.26282,
              0.31313,
              0.39436,
              0.54452,
              0.84509
            ],
            [
              0.23599,
              0.2779,
              0.31428,
              0.37651,
              0.47652,
              0.63312,
              0.93252
            ],
            [
              0.27927,
              0.32997,
              0.37437,
              0.45087,
              0.57457,
              0.76347,
              1.06537
            ],
            [
              0.3311,
              0.3914,
              0.4448,
              0.5377,
              0.6898,
              0.9234,
              1.2666
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.02612,
              0.04016,
              0.05435,
              0.08275,
              0.13983,
              0.25377,
              0.48205
            ],
            [
              0.02612,
              0.04019,
              0.05431,
              0.08286,
              0.13981,
              0.25415,
              0.48234
            ],
            [
              0.02613,
              0.04014,
              0.05431,
              0.08285,
              0.1399,
              0.25381,
              0.48169
            ],
            [
              0.02615,
              0.04013,
              0.05436,
              0.08283,
              0.13978,
              0.25408,
              0.48252
            ],
            [
              0.02687,
              0.04027,
              0.05431,
              0.08272,
              0.13977,
              0.25401,
              0.48205
            ],
            [
              0.02968,
              0.04222,
              0.05559,
              0.08299,
              0.13985,
              0.25411,
              0.48193
            ],
            [
              0.03425,
              0.04715,
              0.0594,
              0.08564,
              0.14041,
              0.25399,
              0.48155
            ],
            [
              0.04053,
              0.05427,
              0.06731,
              0.09221,
              0.14425,
              0.2545,
              0.48211
            ],
            [
              0.04972,
              0.06451,
              0.07839,
              0.10461,
              0.15413,
              0.25936,
              0.48167
            ],
            [
              0.06306,
              0.07944,
              0.09441,
              0.1221,
              0.17335,
              0.27257,
              0.48676
            ],
            [
              0.0824,
              0.10086,
              0.11741,
              0.14714,
              0.20098,
              0.30072,
              0.50273
            ],
            [
              0.11062,
              0.13154,
              0.14995,
              0.1829,
              0.2405,
              0.3452,
              0.5402
            ],
            [
              0.152,
              0.1755,
              0.1963,
              0.2329,
              0.2963,
              0.4072,
              0.6094
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.06816,
              0.09633,
              0.12432,
              0.1801,
              0.29144,
              0.51353,
              0.95947
            ],
            [
              0.06815,
              0.09613,
              0.12425,
              0.18008,
              0.29149,
              0.51336,
              0.95907
            ],
            [
              0.0681,
              0.09631,
              0.12429,
              0.17999,
              0.29152,
              0.51406,
              0.95914
            ],
            [
              0.06804,
              0.09622,
              0.12423,
              0.18002,
              0.29157,
              0.5137,
              0.95922
            ],
            [
              0.06788,
              0.0961,
              0.12424,
              0.18006,
              0.29157,
              0.514,
              0.95912
            ],
            [
              0.06834,
              0.09593,
              0.12407,
              0.18007,
              0.29141,
              0.51383,
              0.95826
            ],
            [
              0.07413,
              0.09886,
              0.12507,
              0.17987,
              0.29123,
              0.51329,
              0.95935
            ],
            [
              0.08796,
              0.10995,
              0.13326,
              0.18337,
              0.29137,
              0.51393,
              0.95943
            ],
            [
              0.10784,
              0.13262,
              0.15305,
              0.19751,
              0.29659,
              0.51402,
              0.95917
            ],
            [
              0.13224,
              0.16193,
              0.18726,
              0.22944,
              0.31775,
              0.5186,
              0.95746
            ],
            [
              0.16355,
              0.19948,
              0.22976,
              0.28053,
              0.36453,
              0.54523,
              0.96
            ],
            [
              0.20214,
              0.2466,
              0.2836,
              0.3453,
              0.4435,
              0.6085,
              0.9856
            ],
            [
              0.2496,
              0.3048,
              0.3503,
              0.4267,
              0.5454,
              0.7271,
              1.0657
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.04036,
              0.05101,
              0.06128,
              0.0816,
              0.12194,
              0.20239,
              0.36309
            ],
            [
              0.04304,
              0.05386,
              0.06424,
              0.08466,
              0.12504,
              0.20548,
              0.36631
            ],
            [
              0.04608,
              0.05706,
              0.06754,
              0.08805,
              0.12854,
              0.20907,
              0.36982
            ],
            [
              0.0503,
              0.06145,
              0.07205,
              0.09267,
              0.13326,
              0.21382,
              0.37471
            ],
            [
              0.05622,
              0.06751,
              0.07823,
              0.09899,
              0.13971,
              0.22042,
              0.38131
            ],
            [
              0.06381,
              0.07615,
              0.08706,
              0.10802,
              0.14893,
              0.2298,
              0.39089
            ],
            [
              0.07311,
              0.08698,
              0.09922,
              0.12116,
              0.16227,
              0.24331,
              0.40464
            ],
            [
              0.08461,
              0.10053,
              0.11444,
              0.13909,
              0.18213,
              0.26347,
              0.42499
            ],
            [
              0.09826,
              0.11723,
              0.13348,
              0.16166,
              0.20988,
              0.29341,
              0.45523
            ],
            [
              0.11357,
              0.13694,
              0.15659,
              0.18991,
              0.24507,
              0.33722,
              0.50027
            ],
            [
              0.12958,
              0.15903,
              0.18344,
              0.22412,
              0.28929,
              0.39401,
              0.56812
            ],
            [
              0.14455,
              0.18227,
              0.21317,
              0.26387,
              0.34327,
              0.46587,
              0.66137
            ],
            [
              0.1559,
              0.2045,
              0.2439,
              0.308,
              0.4068,
              0.5548,
              0.7802
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.08083,
              0.10311,
              0.12487,
              0.1678,
              0.25271,
              0.42166,
              0.75879
            ],
            [
              0.08238,
              0.10485,
              0.1267,
              0.16978,
              0.25486,
              0.42381,
              0.76084
            ],
            [
              0.08464,
              0.10723,
              0.12919,
              0.17233,
              0.25758,
              0.42667,
              0.76372
            ],
            [
              0.08843,
              0.11113,
              0.13322,
              0.17652,
              0.26193,
              0.43112,
              0.76828
            ],
            [
              0.09479,
              0.11751,
              0.13966,
              0.1831,
              0.26862,
              0.43801,
              0.77534
            ],
            [
              0.10517,
              0.12773,
              0.14985,
              0.19334,
              0.27896,
              0.44845,
              0.78609
            ],
            [
              0.12191,
              0.14398,
              0.16595,
              0.2093,
              0.29484,
              0.46473,
              0.80242
            ],
            [
              0.14601,
              0.16967,
              0.19109,
              0.23411,
              0.31955,
              0.48924,
              0.82699
            ],
            [
              0.17428,
              0.20341,
              0.22865,
              0.27235,
              0.35718,
              0.52655,
              0.86415
            ],
            [
              0.2073,
              0.24312,
              0.27416,
              0.32728,
              0.41482,
              0.58324,
              0.92029
            ],
            [
              0.24575,
              0.28953,
              0.32765,
              0.39307,
              0.49872,
              0.66972,
              1.00572
            ],
            [
              0.29087,
              0.34377,
              0.39017,
              0.47037,
              0.60047,
              0.80037,
              1.13527
            ],
            [
              0.3451,
              0.4078,
              0.4635,
              0.5606,
              0.7201,
              0.966,
              1.3322
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.02611,
              0.04018,
              0.05431,
              0.08283,
              0.13979,
              0.25413,
              0.48177
            ],
            [
              0.02612,
              0.04016,
              0.05436,
              0.08282,
              0.13991,
              0.25382,
              0.48247
            ],
            [
              0.02613,
              0.04013,
              0.05433,
              0.08274,
              0.13993,
              0.25415,
              0.48263
            ],
            [
              0.02614,
              0.04015,
              0.05431,
              0.08283,
              0.13971,
              0.25405,
              0.48155
            ],
            [
              0.02684,
              0.04029,
              0.05433,
              0.08276,
              0.13983,
              0.25397,
              0.48155
            ],
            [
              0.02967,
              0.04217,
              0.05556,
              0.08305,
              0.13984,
              0.25404,
              0.4823
            ],
            [
              0.03419,
              0.04708,
              0.05934,
              0.0856,
              0.14038,
              0.25378,
              0.48225
            ],
            [
              0.04041,
              0.05418,
              0.06727,
              0.0921,
              0.14426,
              0.25453,
              0.48214
            ],
            [
              0.04962,
              0.06445,
              0.07826,
              0.1045,
              0.154,
              0.25918,
              0.48193
            ],
            [
              0.06298,
              0.0793,
              0.09421,
              0.12193,
              0.17337,
              0.27217,
              0.48653
            ],
            [
              0.08229,
              0.10068,
              0.11724,
              0.14692,
              0.20092,
              0.30072,
              0.50276
            ],
            [
              0.11047,
              0.13128,
              0.14974,
              0.1826,
              0.2403,
              0.3451,
              0.54
            ],
            [
              0.1517,
              0.1753,
              0.1961,
              0.2327,
              0.2961,
              0.407,
              0.6091
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.07733,
              0.10889,
              0.14012,
              0.20237,
              0.32622,
              0.57364,
              1.06798
            ],
            [
              0.07744,
              0.10898,
              0.14017,
              0.20217,
              0.32629,
              0.57358,
              1.06603
            ],
            [
              0.07737,
              0.1087,
              0.14016,
              0.20235,
              0.32639,
              0.57345,
              1.06641
            ],
            [
              0.07722,
              0.10878,
              0.14014,
              0.20224,
              0.32638,
              0.57348,
              1.06664
            ],
            [
              0.07691,
              0.10863,
              0.14006,
              0.20231,
              0.32612,
              0.57363,
              1.06676
            ],
            [
              0.07659,
              0.10831,
              0.13974,
              0.20216,
              0.32607,
              0.57327,
              1.06697
            ],
            [
              0.08145,
              0.11018,
              0.13989,
              0.20191,
              0.32626,
              0.57386,
              1.06798
            ],
            [
              0.09414,
              0.11966,
              0.14653,
              0.20384,
              0.32604,
              0.57377,
              1.06775
            ],
            [
              0.11458,
              0.14079,
              0.16478,
              0.21617,
              0.32871,
              0.57325,
              1.06752
            ],
            [
              0.13877,
              0.17106,
              0.19868,
              0.24549,
              0.34715,
              0.57552,
              1.06689
            ],
            [
              0.17015,
              0.20874,
              0.24141,
              0.29661,
              0.39036,
              0.59674,
              1.0676
            ],
            [
              0.20931,
              0.2564,
              0.2956,
              0.3618,
              0.4685,
              0.6559,
              1.0856
            ],
            [
              0.2574,
              0.3151,
              0.3634,
              0.4444,
              0.5717,
              0.7682,
              1.1563
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.04037,
              0.05102,
              0.06129,
              0.0816,
              0.12195,
              0.20241,
              0.36306
            ],
            [
              0.04305,
              0.05387,
              0.06424,
              0.08467,
              0.12505,
              0.20548,
              0.36632
            ],
            [
              0.04609,
              0.05708,
              0.06754,
              0.08806,
              0.12855,
              0.2091,
              0.36986
            ],
            [
              0.05031,
              0.06146,
              0.07205,
              0.09269,
              0.13329,
              0.21385,
              0.37468
            ],
            [
              0.05622,
              0.06751,
              0.07824,
              0.09901,
              0.13973,
              0.22047,
              0.38129
            ],
            [
              0.06381,
              0.07615,
              0.08707,
              0.10802,
              0.14893,
              0.22985,
              0.39089
            ],
            [
              0.07311,
              0.08698,
              0.09921,
              0.12115,
              0.16227,
              0.24331,
              0.40454
            ],
            [
              0.0846,
              0.10052,
              0.11443,
              0.13908,
              0.18212,
              0.26347,
              0.42487
            ],
            [
              0.09825,
              0.11723,
              0.13347,
              0.16165,
              0.20985,
              0.29341,
              0.45516
            ],
            [
              0.11356,
              0.13694,
              0.15658,
              0.1899,
              0.24506,
              0.3372,
              0.50027
            ],
            [
              0.12958,
              0.15903,
              0.18343,
              0.22411,
              0.28928,
              0.394,
              0.56802
            ],
            [
              0.14454,
              0.18227,
              0.21317,
              0.26387,
              0.34327,
              0.46587,
              0.66137
            ],
            [
              0.1559,
              0.2045,
              0.2439,
              0.308,
              0.4068,
              0.5548,
              0.7802
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.08063,
              0.10276,
              0.12437,
              0.16699,
              0.25129,
              0.41901,
              0.75357
            ],
            [
              0.0822,
              0.1045,
              0.1262,
              0.16894,
              0.25337,
              0.42111,
              0.75574
            ],
            [
              0.08446,
              0.10689,
              0.12869,
              0.17155,
              0.25613,
              0.42394,
              0.75873
            ],
            [
              0.08826,
              0.11081,
              0.13273,
              0.17575,
              0.26047,
              0.42843,
              0.76323
            ],
            [
              0.09463,
              0.1172,
              0.13919,
              0.1823,
              0.26719,
              0.43535,
              0.77016
            ],
            [
              0.10504,
              0.12745,
              0.14941,
              0.19258,
              0.27757,
              0.44588,
              0.78104
            ],
            [
              0.12178,
              0.14373,
              0.16555,
              0.20854,
              0.29355,
              0.46198,
              0.79736
            ],
            [
              0.14584,
              0.16944,
              0.19074,
              0.23345,
              0.31827,
              0.48674,
              0.82202
            ],
            [
              0.17405,
              0.20311,
              0.22827,
              0.27176,
              0.35597,
              0.52411,
              0.85915
            ],
            [
              0.20699,
              0.24273,
              0.27368,
              0.32664,
              0.41373,
              0.581,
              0.91559
            ],
            [
              0.24535,
              0.28905,
              0.32707,
              0.39231,
              0.49762,
              0.66772,
              1.00112
            ],
            [
              0.29037,
              0.34317,
              0.38947,
              0.46947,
              0.59917,
              0.79837,
              1.13097
            ],
            [
              0.3445,
              0.4071,
              0.4626,
              0.5596,
              0.7186,
              0.9638,
              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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.02611,
              0.04018,
              0.05432,
              0.08275,
              0.13984,
              0.25413,
              0.48178
            ],
            [
              0.02612,
              0.04015,
              0.05432,
              0.08284,
              0.13991,
              0.25385,
              0.48239
            ],
            [
              0.02613,
              0.04015,
              0.05428,
              0.08269,
              0.13993,
              0.25414,
              0.48243
            ],
            [
              0.02615,
              0.04015,
              0.05429,
              0.08283,
              0.13988,
              0.25406,
              0.48161
            ],
            [
              0.02684,
              0.04027,
              0.05432,
              0.08282,
              0.13963,
              0.25406,
              0.4817
            ],
            [
              0.02967,
              0.04216,
              0.05556,
              0.08304,
              0.13985,
              0.25411,
              0.48227
            ],
            [
              0.0342,
              0.04708,
              0.05935,
              0.0856,
              0.14026,
              0.25377,
              0.4817
            ],
            [
              0.04041,
              0.05418,
              0.0673,
              0.0921,
              0.14426,
              0.25453,
              0.48201
            ],
            [
              0.04961,
              0.06447,
              0.07827,
              0.1045,
              0.15397,
              0.25933,
              0.4814
            ],
            [
              0.06295,
              0.07938,
              0.09421,
              0.12195,
              0.17338,
              0.27218,
              0.48676
            ],
            [
              0.08229,
              0.10068,
              0.11725,
              0.14694,
              0.20082,
              0.30074,
              0.50304
            ],
            [
              0.11049,
              0.13129,
              0.14975,
              0.1826,
              0.2403,
              0.3451,
              0.5399
            ],
            [
              0.1517,
              0.1753,
              0.1961,
              0.2327,
              0.2961,
              0.407,
              0.6091
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.0768,
              0.10788,
              0.13909,
              0.20058,
              0.324,
              0.56965,
              1.05895
            ],
            [
              0.07678,
              0.10796,
              0.13908,
              0.20075,
              0.3239,
              0.56864,
              1.06003
            ],
            [
              0.07671,
              0.10801,
              0.13902,
              0.20065,
              0.324,
              0.56908,
              1.0608
            ],
            [
              0.07658,
              0.10785,
              0.139,
              0.2006,
              0.32388,
              0.56877,
              1.06032
            ],
            [
              0.07631,
              0.10768,
              0.1389,
              0.2007,
              0.32342,
              0.56943,
              1.05912
            ],
            [
              0.07606,
              0.10727,
              0.13869,
              0.20059,
              0.32387,
              0.56978,
              1.06043
            ],
            [
              0.08098,
              0.10935,
              0.1388,
              0.20031,
              0.32372,
              0.56982,
              1.06005
            ],
            [
              0.09373,
              0.11896,
              0.14564,
              0.20242,
              0.3237,
              0.56957,
              1.06065
            ],
            [
              0.1142,
              0.14023,
              0.16397,
              0.21482,
              0.32678,
              0.56891,
              1.05927
            ],
            [
              0.13842,
              0.17051,
              0.19799,
              0.24453,
              0.34481,
              0.57161,
              1.06049
            ],
            [
              0.1698,
              0.20825,
              0.24074,
              0.29558,
              0.38869,
              0.59364,
              1.0597
            ],
            [
              0.2089,
              0.2559,
              0.295,
              0.3609,
              0.4669,
              0.6527,
              1.0788
            ],
            [
              0.257,
              0.3145,
              0.3627,
              0.4434,
              0.5702,
              0.766,
              1.15
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.04042,
              0.05104,
              0.06136,
              0.08167,
              0.12196,
              0.20236,
              0.36314
            ],
            [
              0.04315,
              0.05399,
              0.06435,
              0.08474,
              0.12513,
              0.2055,
              0.36632
            ],
            [
              0.04626,
              0.05726,
              0.06771,
              0.08822,
              0.12867,
              0.20915,
              0.36985
            ],
            [
              0.05056,
              0.06171,
              0.07232,
              0.09294,
              0.1335,
              0.21411,
              0.3749
            ],
            [
              0.05656,
              0.06788,
              0.07861,
              0.09935,
              0.14008,
              0.22084,
              0.38172
            ],
            [
              0.06431,
              0.07663,
              0.08755,
              0.10851,
              0.14942,
              0.23028,
              0.39139
            ],
            [
              0.07368,
              0.0876,
              0.09986,
              0.12174,
              0.16288,
              0.24393,
              0.40525
            ],
            [
              0.08525,
              0.10123,
              0.11516,
              0.13982,
              0.18282,
              0.26417,
              0.42569
            ],
            [
              0.09891,
              0.11799,
              0.13426,
              0.16249,
              0.21062,
              0.29418,
              0.45598
            ],
            [
              0.11423,
              0.13768,
              0.15739,
              0.19076,
              0.24594,
              0.33809,
              0.50107
            ],
            [
              0.1302,
              0.15972,
              0.18419,
              0.22495,
              0.2902,
              0.39489,
              0.56892
            ],
            [
              0.14502,
              0.18277,
              0.21377,
              0.26457,
              0.34407,
              0.46677,
              0.66227
            ],
            [
              0.1557,
              0.2044,
              0.244,
              0.3084,
              0.4074,
              0.5556,
              0.7811
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.10148,
              0.13156,
              0.16106,
              0.21934,
              0.3347,
              0.56434,
              1.02257
            ],
            [
              0.10251,
              0.13281,
              0.16249,
              0.22086,
              0.33649,
              0.56613,
              1.02454
            ],
            [
              0.10418,
              0.13471,
              0.16452,
              0.22309,
              0.33888,
              0.56871,
              1.02722
            ],
            [
              0.10729,
              0.13797,
              0.16792,
              0.22673,
              0.34275,
              0.57276,
              1.03138
            ],
            [
              0.11278,
              0.14348,
              0.17353,
              0.23254,
              0.34873,
              0.57898,
              1.03781
            ],
            [
              0.12213,
              0.1526,
              0.18263,
              0.24174,
              0.35817,
              0.58869,
              1.04762
            ],
            [
              0.13758,
              0.16742,
              0.19722,
              0.25618,
              0.37263,
              0.60345,
              1.06273
            ],
            [
              0.16282,
              0.19124,
              0.22041,
              0.27898,
              0.39527,
              0.62609,
              1.08536
            ],
            [
              0.1943,
              0.22788,
              0.25725,
              0.31445,
              0.43001,
              0.66047,
              1.11975
            ],
            [
              0.23133,
              0.27218,
              0.30792,
              0.37002,
              0.48374,
              0.71319,
              1.17189
            ],
            [
              0.27466,
              0.32419,
              0.36767,
              0.44289,
              0.56662,
              0.79382,
              1.25122
            ],
            [
              0.32567,
              0.38517,
              0.43767,
              0.52897,
              0.67907,
              0.91747,
              1.37207
            ],
            [
              0.387,
              0.4574,
              0.5201,
              0.6301,
              0.812,
              1.0972,
              1.5565
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.0261,
              0.04011,
              0.05435,
              0.08282,
              0.1398,
              0.25405,
              0.48169
            ],
            [
              0.02611,
              0.04017,
              0.05432,
              0.08284,
              0.13989,
              0.25357,
              0.48257
            ],
            [
              0.02612,
              0.04016,
              0.05433,
              0.08283,
              0.1399,
              0.25396,
              0.48244
            ],
            [
              0.02613,
              0.04014,
              0.05429,
              0.08283,
              0.13986,
              0.2541,
              0.48202
            ],
            [
              0.02679,
              0.04025,
              0.05432,
              0.08271,
              0.13983,
              0.25399,
              0.48209
            ],
            [
              0.02957,
              0.0421,
              0.05548,
              0.08296,
              0.13984,
              0.25401,
              0.48258
            ],
            [
              0.03404,
              0.0469,
              0.05921,
              0.08543,
              0.14034,
              0.2539,
              0.4818
            ],
            [
              0.04018,
              0.05391,
              0.06703,
              0.09187,
              0.14412,
              0.25448,
              0.4821
            ],
            [
              0.04934,
              0.06409,
              0.07792,
              0.1041,
              0.15372,
              0.25919,
              0.48175
            ],
            [
              0.06267,
              0.07887,
              0.09382,
              0.12145,
              0.1729,
              0.27202,
              0.48655
            ],
            [
              0.08187,
              0.10024,
              0.11666,
              0.14626,
              0.20052,
              0.30016,
              0.5025
            ],
            [
              0.10972,
              0.13072,
              0.14912,
              0.182,
              0.2397,
              0.3443,
              0.5395
            ],
            [
              0.1503,
              0.1744,
              0.1952,
              0.2321,
              0.2956,
              0.4062,
              0.6087
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.10923,
              0.15209,
              0.19395,
              0.27674,
              0.44186,
              0.76996,
              1.42529
            ],
            [
              0.10929,
              0.15196,
              0.19361,
              0.27712,
              0.44169,
              0.7706,
              1.42615
            ],
            [
              0.10904,
              0.15179,
              0.1938,
              0.27709,
              0.44162,
              0.77081,
              1.42796
            ],
            [
              0.10843,
              0.15163,
              0.19358,
              0.27704,
              0.44163,
              0.77112,
              1.42837
            ],
            [
              0.10785,
              0.15122,
              0.19357,
              0.27697,
              0.44217,
              0.77102,
              1.42828
            ],
            [
              0.10646,
              0.15022,
              0.19292,
              0.2766,
              0.44223,
              0.77133,
              1.42736
            ],
            [
              0.108,
              0.14898,
              0.19162,
              0.27598,
              0.44219,
              0.77069,
              1.42615
            ],
            [
              0.1172,
              0.15477,
              0.19377,
              0.27481,
              0.44192,
              0.77043,
              1.42635
            ],
            [
              0.1376,
              0.17134,
              0.2068,
              0.28094,
              0.44079,
              0.77128,
              1.42771
            ],
            [
              0.16136,
              0.20297,
              0.23605,
              0.30346,
              0.45006,
              0.76976,
              1.42791
            ],
            [
              0.1926,
              0.2397,
              0.2805,
              0.3494,
              0.48211,
              0.7781,
              1.4273
            ],
            [
              0.2327,
              0.288,
              0.3356,
              0.4169,
              0.5504,
              0.82,
              1.4306
            ],
            [
              0.2821,
              0.3486,
              0.4052,
              0.5014,
              0.6572,
              0.9152,
              1.4722
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.04126,
              0.05183,
              0.06212,
              0.08243,
              0.12278,
              0.20322,
              0.3639
            ],
            [
              0.04396,
              0.05471,
              0.06508,
              0.08549,
              0.12588,
              0.20635,
              0.36704
            ],
            [
              0.047,
              0.05793,
              0.06842,
              0.0889,
              0.12937,
              0.20988,
              0.37061
            ],
            [
              0.05121,
              0.06233,
              0.07293,
              0.09355,
              0.13414,
              0.21474,
              0.37551
            ],
            [
              0.05715,
              0.06843,
              0.07913,
              0.09991,
              0.14066,
              0.22138,
              0.38221
            ],
            [
              0.06487,
              0.0771,
              0.08797,
              0.10895,
              0.14987,
              0.23074,
              0.3917
            ],
            [
              0.0743,
              0.08801,
              0.10024,
              0.12211,
              0.16327,
              0.24436,
              0.40549
            ],
            [
              0.08603,
              0.10176,
              0.11558,
              0.14013,
              0.18314,
              0.26451,
              0.42591
            ],
            [
              0.10003,
              0.11871,
              0.13483,
              0.16289,
              0.21095,
              0.29455,
              0.45624
            ],
            [
              0.11582,
              0.13883,
              0.15827,
              0.19139,
              0.24633,
              0.3384,
              0.50163
            ],
            [
              0.13258,
              0.16148,
              0.18558,
              0.22595,
              0.29083,
              0.39535,
              0.56942
            ],
            [
              0.14867,
              0.18557,
              0.21597,
              0.26627,
              0.34527,
              0.46747,
              0.66277
            ],
            [
              0.1615,
              0.209,
              0.2477,
              0.3112,
              0.4093,
              0.5569,
              0.782
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.109,
              0.13159,
              0.15378,
              0.19761,
              0.28426,
              0.45636,
              0.79947
            ],
            [
              0.11072,
              0.13341,
              0.1557,
              0.19958,
              0.28628,
              0.4585,
              0.80168
            ],
            [
              0.11314,
              0.1359,
              0.15823,
              0.2022,
              0.28907,
              0.46132,
              0.80458
            ],
            [
              0.1171,
              0.13995,
              0.16232,
              0.20642,
              0.2934,
              0.46576,
              0.8091
            ],
            [
              0.12351,
              0.14641,
              0.16884,
              0.21303,
              0.30012,
              0.47265,
              0.81606
            ],
            [
              0.13372,
              0.15662,
              0.17908,
              0.2233,
              0.31053,
              0.4832,
              0.82669
            ],
            [
              0.14989,
              0.17262,
              0.19501,
              0.23921,
              0.32649,
              0.49925,
              0.84309
            ],
            [
              0.17524,
              0.19762,
              0.21986,
              0.26393,
              0.35108,
              0.52391,
              0.86766
            ],
            [
              0.21058,
              0.2358,
              0.2583,
              0.30185,
              0.3886,
              0.56116,
              0.90485
            ],
            [
              0.25217,
              0.28313,
              0.31082,
              0.35961,
              0.44598,
              0.61778,
              0.96109
            ],
            [
              0.30088,
              0.33889,
              0.37293,
              0.43283,
              0.53262,
              0.70412,
              1.04612
            ],
            [
              0.35777,
              0.40397,
              0.44567,
              0.51927,
              0.64217,
              0.83557,
              1.17577
            ],
            [
              0.4249,
              0.4803,
              0.5308,
              0.6205,
              0.7713,
              1.0093,
              1.3725
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.04477,
              0.05873,
              0.0728,
              0.10094,
              0.15748,
              0.27111,
              0.49869
            ],
            [
              0.04477,
              0.0587,
              0.0728,
              0.10098,
              0.15744,
              0.27097,
              0.49939
            ],
            [
              0.04478,
              0.05871,
              0.07276,
              0.10094,
              0.15754,
              0.27097,
              0.49901
            ],
            [
              0.0448,
              0.05871,
              0.0728,
              0.10093,
              0.15747,
              0.27134,
              0.49894
            ],
            [
              0.04547,
              0.05891,
              0.07283,
              0.10094,
              0.15746,
              0.2711,
              0.49855
            ],
            [
              0.04812,
              0.06078,
              0.074,
              0.10123,
              0.15746,
              0.27112,
              0.49886
            ],
            [
              0.05385,
              0.06537,
              0.07775,
              0.1037,
              0.15806,
              0.27096,
              0.49943
            ],
            [
              0.062,
              0.07417,
              0.08605,
              0.11015,
              0.16194,
              0.27153,
              0.49895
            ],
            [
              0.07373,
              0.08638,
              0.09887,
              0.12327,
              0.17165,
              0.27653,
              0.49861
            ],
            [
              0.09053,
              0.10399,
              0.11711,
              0.14243,
              0.19139,
              0.28976,
              0.50362
            ],
            [
              0.11497,
              0.1293,
              0.14326,
              0.16992,
              0.22082,
              0.31777,
              0.5193
            ],
            [
              0.15065,
              0.16574,
              0.18048,
              0.2091,
              0.2628,
              0.3635,
              0.5562
            ],
            [
              0.2024,
              0.2179,
              0.2336,
              0.2643,
              0.3218,
              0.428,
              0.6259
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.09893,
              0.13145,
              0.1636,
              0.22695,
              0.35388,
              0.60501,
              1.10771
            ],
            [
              0.09886,
              0.13144,
              0.16348,
              0.227,
              0.35331,
              0.60613,
              1.10916
            ],
            [
              0.09893,
              0.13138,
              0.16343,
              0.22713,
              0.35386,
              0.60617,
              1.10986
            ],
            [
              0.09886,
              0.13139,
              0.16356,
              0.22714,
              0.35388,
              0.60562,
              1.10933
            ],
            [
              0.09878,
              0.13126,
              0.16347,
              0.22701,
              0.35342,
              0.6055,
              1.10863
            ],
            [
              0.09843,
              0.13114,
              0.16326,
              0.22715,
              0.35332,
              0.60602,
              1.10894
            ],
            [
              0.09917,
              0.13075,
              0.16289,
              0.22708,
              0.35384,
              0.6062,
              1.10946
            ],
            [
              0.10733,
              0.13622,
              0.16596,
              0.22699,
              0.35337,
              0.60617,
              1.1096
            ],
            [
              0.12715,
              0.15289,
              0.17962,
              0.2355,
              0.35456,
              0.606,
              1.10954
            ],
            [
              0.15442,
              0.18508,
              0.21032,
              0.26046,
              0.3688,
              0.60632,
              1.10987
            ],
            [
              0.18912,
              0.22499,
              0.25609,
              0.30989,
              0.40744,
              0.62395,
              1.1079
            ],
            [
              0.233,
              0.2765,
              0.3139,
              0.3777,
              0.4824,
              0.678,
              1.1246
            ],
            [
              0.2872,
              0.3405,
              0.3864,
              0.4641,
              0.589,
              0.7868,
              1.1883
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.04129,
              0.05186,
              0.06217,
              0.08247,
              0.1228,
              0.20321,
              0.3639
            ],
            [
              0.04402,
              0.0548,
              0.06516,
              0.08554,
              0.12595,
              0.2064,
              0.36708
            ],
            [
              0.04715,
              0.05811,
              0.06855,
              0.08903,
              0.12952,
              0.21004,
              0.37074
            ],
            [
              0.05145,
              0.06256,
              0.07316,
              0.09377,
              0.13434,
              0.21494,
              0.37571
            ],
            [
              0.05746,
              0.06874,
              0.07946,
              0.10025,
              0.14098,
              0.22167,
              0.38254
            ],
            [
              0.0653,
              0.07752,
              0.08843,
              0.10939,
              0.15031,
              0.23117,
              0.39214
            ],
            [
              0.07481,
              0.0886,
              0.10079,
              0.12265,
              0.16381,
              0.24489,
              0.40601
            ],
            [
              0.0866,
              0.10239,
              0.11625,
              0.14078,
              0.18375,
              0.26515,
              0.4265
            ],
            [
              0.10061,
              0.11938,
              0.13553,
              0.16361,
              0.21166,
              0.29523,
              0.45694
            ],
            [
              0.11639,
              0.13949,
              0.15899,
              0.19215,
              0.24714,
              0.33913,
              0.50232
            ],
            [
              0.1331,
              0.16207,
              0.18623,
              0.22666,
              0.29167,
              0.39617,
              0.57022
            ],
            [
              0.14901,
              0.18597,
              0.21647,
              0.26687,
              0.34597,
              0.46837,
              0.66357
            ],
            [
              0.1613,
              0.2089,
              0.2478,
              0.3114,
              0.4099,
              0.5576,
              0.7828
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.1375,
              0.16732,
              0.19666,
              0.2547,
              0.36969,
              0.59806,
              1.05367
            ],
            [
              0.13878,
              0.16878,
              0.19822,
              0.25635,
              0.37133,
              0.59993,
              1.05534
            ],
            [
              0.14075,
              0.17086,
              0.20037,
              0.25866,
              0.37379,
              0.60244,
              1.05802
            ],
            [
              0.14416,
              0.17434,
              0.20398,
              0.26238,
              0.37776,
              0.60654,
              1.06228
            ],
            [
              0.1498,
              0.18004,
              0.20977,
              0.26835,
              0.3839,
              0.61286,
              1.06871
            ],
            [
              0.15898,
              0.18924,
              0.219,
              0.27768,
              0.39337,
              0.62261,
              1.07862
            ],
            [
              0.17378,
              0.20386,
              0.23356,
              0.2922,
              0.40798,
              0.63755,
              1.09373
            ],
            [
              0.19737,
              0.22701,
              0.25651,
              0.31503,
              0.43077,
              0.66022,
              1.11666
            ],
            [
              0.23448,
              0.26358,
              0.29243,
              0.35036,
              0.46561,
              0.69482,
              1.15135
            ],
            [
              0.28046,
              0.31575,
              0.34756,
              0.40508,
              0.5193,
              0.74769,
              1.20369
            ],
            [
              0.33457,
              0.37744,
              0.41605,
              0.48472,
              0.60182,
              0.82862,
              1.28342
            ],
            [
              0.39787,
              0.44977,
              0.49667,
              0.58017,
              0.72067,
              0.95257,
              1.40477
            ],
            [
              0.4728,
              0.5348,
              0.5911,
              0.6922,
              0.863,
              1.1364,
              1.59
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.04432,
              0.0583,
              0.07233,
              0.10051,
              0.15711,
              0.27062,
              0.49868
            ],
            [
              0.04432,
              0.05826,
              0.07235,
              0.10057,
              0.1571,
              0.27061,
              0.49821
            ],
            [
              0.0443,
              0.05829,
              0.07232,
              0.1005,
              0.15707,
              0.27079,
              0.49879
            ],
            [
              0.04432,
              0.05829,
              0.07236,
              0.10055,
              0.15708,
              0.2707,
              0.49884
            ],
            [
              0.04498,
              0.05844,
              0.07239,
              0.10055,
              0.15708,
              0.27082,
              0.49839
            ],
            [
              0.04756,
              0.06024,
              0.07347,
              0.1008,
              0.15708,
              0.27059,
              0.49842
            ],
            [
              0.05323,
              0.06471,
              0.07718,
              0.10325,
              0.15764,
              0.27062,
              0.49822
            ],
            [
              0.06131,
              0.07346,
              0.08537,
              0.1095,
              0.16149,
              0.27123,
              0.49843
            ],
            [
              0.07289,
              0.08555,
              0.09804,
              0.12251,
              0.17102,
              0.27607,
              0.4986
            ],
            [
              0.08962,
              0.10302,
              0.11613,
              0.14158,
              0.19068,
              0.2889,
              0.50321
            ],
            [
              0.11386,
              0.1282,
              0.14216,
              0.16894,
              0.21987,
              0.31697,
              0.51925
            ],
            [
              0.14912,
              0.16431,
              0.17918,
              0.2078,
              0.2617,
              0.3627,
              0.5557
            ],
            [
              0.2003,
              0.2161,
              0.2322,
              0.2629,
              0.3209,
              0.427,
              0.6255
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.13598,
              0.17848,
              0.22035,
              0.30362,
              0.46786,
              0.79561,
              1.45159
            ],
            [
              0.13589,
              0.17844,
              0.22044,
              0.3036,
              0.46838,
              0.79655,
              1.45003
            ],
            [
              0.13571,
              0.17846,
              0.22027,
              0.30362,
              0.46821,
              0.79548,
              1.44883
            ],
            [
              0.1357,
              0.17832,
              0.22046,
              0.30359,
              0.46804,
              0.79615,
              1.4507
            ],
            [
              0.13544,
              0.17811,
              0.22021,
              0.30325,
              0.46814,
              0.79684,
              1.44972
            ],
            [
              0.13469,
              0.17793,
              0.21999,
              0.30332,
              0.46837,
              0.79616,
              1.44902
            ],
            [
              0.13346,
              0.17693,
              0.21961,
              0.30317,
              0.4685,
              0.79578,
              1.44983
            ],
            [
              0.13783,
              0.17801,
              0.21879,
              0.30219,
              0.46847,
              0.7969,
              1.45123
            ],
            [
              0.15278,
              0.18944,
              0.22683,
              0.30457,
              0.46717,
              0.79679,
              1.45176
            ],
            [
              0.18168,
              0.21755,
              0.25159,
              0.32195,
              0.47289,
              0.79648,
              1.45135
            ],
            [
              0.21541,
              0.25919,
              0.29808,
              0.36373,
              0.50085,
              0.8018,
              1.4507
            ],
            [
              0.2601,
              0.311,
              0.3557,
              0.4338,
              0.5649,
              0.839,
              1.4533
            ],
            [
              0.3157,
              0.3772,
              0.4304,
              0.5216,
              0.6729,
              0.9303,
              1.4923
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.0413,
              0.05188,
              0.06218,
              0.08247,
              0.12281,
              0.20323,
              0.36392
            ],
            [
              0.04404,
              0.05484,
              0.06519,
              0.08558,
              0.126,
              0.20642,
              0.36711
            ],
            [
              0.04717,
              0.05814,
              0.06859,
              0.08907,
              0.12954,
              0.21006,
              0.37078
            ],
            [
              0.05148,
              0.06259,
              0.07319,
              0.0938,
              0.13439,
              0.21496,
              0.37578
            ],
            [
              0.05748,
              0.06878,
              0.07951,
              0.10027,
              0.14101,
              0.22172,
              0.38258
            ],
            [
              0.0653,
              0.07754,
              0.08843,
              0.10941,
              0.15033,
              0.23119,
              0.39219
            ],
            [
              0.07483,
              0.08861,
              0.1008,
              0.12266,
              0.16383,
              0.24491,
              0.40605
            ],
            [
              0.0866,
              0.1024,
              0.11623,
              0.14078,
              0.18378,
              0.26516,
              0.4265
            ],
            [
              0.1006,
              0.11937,
              0.13553,
              0.16361,
              0.21166,
              0.29524,
              0.45696
            ],
            [
              0.11638,
              0.13947,
              0.15898,
              0.19214,
              0.24713,
              0.33913,
              0.50234
            ],
            [
              0.13308,
              0.16206,
              0.18622,
              0.22665,
              0.29167,
              0.39617,
              0.57012
            ],
            [
              0.14898,
              0.18597,
              0.21647,
              0.26687,
              0.34597,
              0.46837,
              0.66357
            ],
            [
              0.1613,
              0.2088,
              0.2478,
              0.3114,
              0.4099,
              0.5576,
              0.7828
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.16468,
              0.19465,
              0.22399,
              0.28176,
              0.39568,
              0.62121,
              1.06957
            ],
            [
              0.16606,
              0.19616,
              0.22559,
              0.28342,
              0.39746,
              0.62304,
              1.07154
            ],
            [
              0.1682,
              0.1983,
              0.22782,
              0.28579,
              0.39991,
              0.62563,
              1.07422
            ],
            [
              0.17177,
              0.20195,
              0.23153,
              0.28961,
              0.40387,
              0.62974,
              1.07848
            ],
            [
              0.17765,
              0.20788,
              0.2375,
              0.29571,
              0.41011,
              0.63614,
              1.08501
            ],
            [
              0.18705,
              0.21732,
              0.24696,
              0.30525,
              0.41978,
              0.64598,
              1.09502
            ],
            [
              0.2019,
              0.23211,
              0.26169,
              0.31996,
              0.43461,
              0.66111,
              1.11033
            ],
            [
              0.22524,
              0.25534,
              0.28488,
              0.34303,
              0.45762,
              0.68404,
              1.13346
            ],
            [
              0.26194,
              0.29136,
              0.32053,
              0.37853,
              0.49278,
              0.71899,
              1.16835
            ],
            [
              0.31483,
              0.34708,
              0.37653,
              0.43323,
              0.5468,
              0.77229,
              1.22129
            ],
            [
              0.37741,
              0.41646,
              0.45212,
              0.51632,
              0.62972,
              0.85382,
              1.30192
            ],
            [
              0.45087,
              0.49817,
              0.54157,
              0.61947,
              0.75277,
              0.97857,
              1.42427
            ],
            [
              0.5371,
              0.594,
              0.6464,
              0.7409,
              0.9031,
              1.1658,
              1.6109
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.05631,
              0.07203,
              0.08736,
              0.11718,
              0.17499,
              0.28867,
              0.51541
            ],
            [
              0.0563,
              0.07202,
              0.08735,
              0.1172,
              0.17498,
              0.28868,
              0.51545
            ],
            [
              0.05631,
              0.07202,
              0.08737,
              0.11719,
              0.17499,
              0.28865,
              0.51543
            ],
            [
              0.05634,
              0.07204,
              0.08737,
              0.1172,
              0.17498,
              0.28868,
              0.51549
            ],
            [
              0.05698,
              0.07216,
              0.08741,
              0.1172,
              0.17499,
              0.28877,
              0.51546
            ],
            [
              0.05959,
              0.07399,
              0.0885,
              0.11743,
              0.175,
              0.28865,
              0.51545
            ],
            [
              0.06555,
              0.07853,
              0.0922,
              0.11988,
              0.17557,
              0.28879,
              0.51541
            ],
            [
              0.07724,
              0.08891,
              0.10047,
              0.12615,
              0.17932,
              0.28922,
              0.51538
            ],
            [
              0.09173,
              0.10356,
              0.11564,
              0.13961,
              0.1888,
              0.29406,
              0.51536
            ],
            [
              0.11178,
              0.12393,
              0.13626,
              0.16075,
              0.20872,
              0.30701,
              0.52022
            ],
            [
              0.14012,
              0.15251,
              0.16521,
              0.19044,
              0.23963,
              0.33469,
              0.53605
            ],
            [
              0.18084,
              0.19304,
              0.20609,
              0.2322,
              0.2835,
              0.3816,
              0.5731
            ],
            [
              0.2399,
              0.2512,
              0.2643,
              0.2914,
              0.3453,
              0.4478,
              0.6426
            ]
          ]
        },
        "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.00524,
            0.01048,
            0.02096,
            0.04192,
            0.08385,
            0.16771
          ],
          "values": [
            [
              0.15703,
              0.1988,
              0.24051,
              0.3226,
              0.4852,
              0.809,
              1.45493
            ],
            [
              0.15692,
              0.19901,
              0.24019,
              0.32219,
              0.48526,
              0.80962,
              1.45375
            ],
            [
              0.15683,
              0.19903,
              0.24048,
              0.32241,
              0.48559,
              0.80938,
              1.4552
            ],
            [
              0.15687,
              0.19902,
              0.2403,
              0.3224,
              0.48517,
              0.80978,
              1.45566
            ],
            [
              0.15685,
              0.19896,
              0.24026,
              0.3222,
              0.48554,
              0.80854,
              1.45529
            ],
            [
              0.15651,
              0.19881,
              0.24042,
              0.32223,
              0.4855,
              0.80986,
              1.45489
            ],
            [
              0.15595,
              0.19839,
              0.24023,
              0.32257,
              0.48554,
              0.80989,
              1.45451
            ],
            [
              0.15616,
              0.19743,
              0.23896,
              0.32203,
              0.48493,
              0.8084,
              1.4537
            ],
            [
              0.16686,
              0.20483,
              0.24346,
              0.32222,
              0.48506,
              0.80896,
              1.45411
            ],
            [
              0.19373,
              0.22844,
              0.26359,
              0.33597,
              0.488,
              0.80904,
              1.45532
            ],
            [
              0.23055,
              0.27205,
              0.30757,
              0.37344,
              0.51207,
              0.8129,
              1.4559
            ],
            [
              0.2777,
              0.3259,
              0.3685,
              0.4436,
              0.5723,
              0.8474,
              1.4551
            ],
            [
              0.3377,
              0.3953,
              0.4459,
              0.5337,
              0.6808,
              0.9345,
              1.4946
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}