{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_lp__a32oi",
  "cell_leakage_power": 0.0,
  "dont_touch": "true",
  "dont_use": "true",
  "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.00167,
    "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.00333,
          0.0026,
          0.00241,
          0.00239,
          0.00227,
          0.00219,
          0.00223,
          0.00218,
          0.0022,
          0.00239,
          0.00238,
          0.00261,
          0.00261
        ]
      },
      "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.002,
          0.00161,
          0.00145,
          0.00124,
          0.00122,
          0.00123,
          0.00124,
          0.00124,
          0.00126,
          0.00137,
          0.00138,
          0.0015,
          0.0015
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00159,
    "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.00345,
          0.00241,
          0.00229,
          0.00222,
          0.00214,
          0.00218,
          0.00216,
          0.00216,
          0.00216,
          0.00234,
          0.00234,
          0.0026,
          0.00252
        ]
      },
      "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.00212,
          0.00166,
          0.00156,
          0.00136,
          0.00127,
          0.00128,
          0.00127,
          0.00127,
          0.00128,
          0.0014,
          0.00141,
          0.00153,
          0.00154
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00165,
    "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.00425,
          0.00248,
          0.00237,
          0.00237,
          0.00221,
          0.00217,
          0.00221,
          0.00218,
          0.0022,
          0.00238,
          0.00238,
          0.00256,
          0.0026
        ]
      },
      "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.00304,
          0.00232,
          0.00165,
          0.00146,
          0.00131,
          0.00132,
          0.00132,
          0.00133,
          0.00133,
          0.00146,
          0.00146,
          0.00159,
          0.0016
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00212,
    "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.00181,
          0.0018,
          0.00149,
          0.00148,
          0.00129,
          0.00134,
          0.0014,
          0.00139,
          0.0014,
          0.00153,
          0.00154,
          0.00167,
          0.00168
        ]
      },
      "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.00359,
          0.00266,
          0.00238,
          0.00224,
          0.00225,
          0.00223,
          0.0022,
          0.00218,
          0.00219,
          0.00237,
          0.00237,
          0.00256,
          0.00256
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00196,
    "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.00206,
          0.00161,
          0.00136,
          0.00127,
          0.0012,
          0.00122,
          0.0012,
          0.00121,
          0.00122,
          0.00134,
          0.00135,
          0.00146,
          0.00147
        ]
      },
      "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.00325,
          0.00275,
          0.00226,
          0.00235,
          0.00228,
          0.00222,
          0.00227,
          0.00224,
          0.00225,
          0.00245,
          0.00244,
          0.00266,
          0.00263
        ]
      }
    },
    "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.00161,
              -0.00314,
              -0.00408,
              -0.00523,
              -0.00659,
              -0.00824,
              -0.01021
            ],
            [
              0.00162,
              -0.00313,
              -0.00407,
              -0.00522,
              -0.00658,
              -0.00823,
              -0.0102
            ],
            [
              0.00162,
              -0.00313,
              -0.00408,
              -0.00522,
              -0.00659,
              -0.00824,
              -0.01021
            ],
            [
              0.00163,
              -0.00312,
              -0.00407,
              -0.0052,
              -0.00657,
              -0.00822,
              -0.01019
            ],
            [
              0.00164,
              -0.00311,
              -0.00406,
              -0.0052,
              -0.00657,
              -0.00821,
              -0.01018
            ],
            [
              0.00166,
              -0.0031,
              -0.00405,
              -0.00519,
              -0.00656,
              -0.0082,
              -0.01017
            ],
            [
              0.00167,
              -0.00308,
              -0.00403,
              -0.00517,
              -0.00654,
              -0.00819,
              -0.01016
            ],
            [
              0.0017,
              -0.00307,
              -0.00402,
              -0.00516,
              -0.00653,
              -0.00817,
              -0.01014
            ],
            [
              0.00173,
              -0.00305,
              -0.00401,
              -0.00515,
              -0.00652,
              -0.00816,
              -0.01013
            ],
            [
              0.00177,
              -0.00303,
              -0.00398,
              -0.00512,
              -0.0065,
              -0.00814,
              -0.01012
            ],
            [
              0.00181,
              -0.003,
              -0.00395,
              -0.0051,
              -0.00647,
              -0.00812,
              -0.0101
            ],
            [
              0.00185,
              -0.00297,
              -0.00392,
              -0.00507,
              -0.00644,
              -0.0081,
              -0.01007
            ],
            [
              0.00188,
              -0.00293,
              -0.00389,
              -0.00504,
              -0.00642,
              -0.00807,
              -0.01005
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.00875,
              0.01352,
              0.01446,
              0.01559,
              0.01695,
              0.01859,
              0.02055
            ],
            [
              0.00872,
              0.01352,
              0.01447,
              0.01561,
              0.01697,
              0.0186,
              0.02055
            ],
            [
              0.0087,
              0.01352,
              0.01447,
              0.01561,
              0.01697,
              0.0186,
              0.02055
            ],
            [
              0.00867,
              0.01351,
              0.01446,
              0.01559,
              0.01696,
              0.0186,
              0.02055
            ],
            [
              0.00863,
              0.01349,
              0.01444,
              0.01558,
              0.01694,
              0.01858,
              0.02054
            ],
            [
              0.00859,
              0.01346,
              0.01441,
              0.01555,
              0.01692,
              0.01856,
              0.02052
            ],
            [
              0.00855,
              0.01341,
              0.01437,
              0.01552,
              0.01689,
              0.01853,
              0.0205
            ],
            [
              0.00851,
              0.01336,
              0.01432,
              0.01547,
              0.01684,
              0.01849,
              0.02046
            ],
            [
              0.00848,
              0.01331,
              0.01427,
              0.01541,
              0.01678,
              0.01844,
              0.02042
            ],
            [
              0.00846,
              0.01327,
              0.01423,
              0.01537,
              0.01674,
              0.01839,
              0.02036
            ],
            [
              0.00845,
              0.01323,
              0.01418,
              0.01533,
              0.01671,
              0.01836,
              0.02032
            ],
            [
              0.00843,
              0.0132,
              0.01415,
              0.0153,
              0.01666,
              0.0183,
              0.02027
            ],
            [
              0.00842,
              0.01318,
              0.01412,
              0.01527,
              0.01662,
              0.01826,
              0.02024
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.0016,
              -0.00314,
              -0.00409,
              -0.00523,
              -0.0066,
              -0.00825,
              -0.01022
            ],
            [
              0.00161,
              -0.00314,
              -0.00408,
              -0.00522,
              -0.00659,
              -0.00824,
              -0.01021
            ],
            [
              0.00161,
              -0.00313,
              -0.00408,
              -0.00523,
              -0.0066,
              -0.00824,
              -0.01021
            ],
            [
              0.00162,
              -0.00312,
              -0.00407,
              -0.00521,
              -0.00658,
              -0.00823,
              -0.0102
            ],
            [
              0.00162,
              -0.00312,
              -0.00406,
              -0.0052,
              -0.00657,
              -0.00822,
              -0.01019
            ],
            [
              0.00164,
              -0.0031,
              -0.00405,
              -0.00519,
              -0.00656,
              -0.0082,
              -0.01018
            ],
            [
              0.00166,
              -0.00309,
              -0.00404,
              -0.00518,
              -0.00655,
              -0.00819,
              -0.01016
            ],
            [
              0.00167,
              -0.00308,
              -0.00403,
              -0.00517,
              -0.00654,
              -0.00818,
              -0.01015
            ],
            [
              0.0017,
              -0.00307,
              -0.00402,
              -0.00516,
              -0.00653,
              -0.00817,
              -0.01014
            ],
            [
              0.00172,
              -0.00305,
              -0.004,
              -0.00514,
              -0.00651,
              -0.00816,
              -0.01013
            ],
            [
              0.00175,
              -0.00303,
              -0.00398,
              -0.00513,
              -0.0065,
              -0.00815,
              -0.01012
            ],
            [
              0.00178,
              -0.00301,
              -0.00396,
              -0.00511,
              -0.00648,
              -0.00813,
              -0.01011
            ],
            [
              0.00181,
              -0.00298,
              -0.00394,
              -0.00509,
              -0.00646,
              -0.00811,
              -0.01009
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.00991,
              0.01464,
              0.01558,
              0.01671,
              0.01807,
              0.0197,
              0.02165
            ],
            [
              0.0099,
              0.01463,
              0.01557,
              0.0167,
              0.01806,
              0.01969,
              0.02164
            ],
            [
              0.00988,
              0.01462,
              0.01556,
              0.01669,
              0.01805,
              0.01968,
              0.02163
            ],
            [
              0.00986,
              0.01461,
              0.01555,
              0.01668,
              0.01804,
              0.01967,
              0.02163
            ],
            [
              0.00982,
              0.01459,
              0.01553,
              0.01667,
              0.01803,
              0.01966,
              0.02161
            ],
            [
              0.00978,
              0.01456,
              0.01551,
              0.01665,
              0.01801,
              0.01964,
              0.02159
            ],
            [
              0.00974,
              0.01453,
              0.01548,
              0.01661,
              0.01798,
              0.01962,
              0.02158
            ],
            [
              0.00971,
              0.01449,
              0.01544,
              0.01658,
              0.01795,
              0.01959,
              0.02155
            ],
            [
              0.00968,
              0.01446,
              0.0154,
              0.01654,
              0.01791,
              0.01955,
              0.02151
            ],
            [
              0.00966,
              0.01443,
              0.01537,
              0.01651,
              0.01789,
              0.01952,
              0.02149
            ],
            [
              0.00964,
              0.0144,
              0.01535,
              0.01649,
              0.01786,
              0.0195,
              0.02146
            ],
            [
              0.00963,
              0.01438,
              0.01533,
              0.01647,
              0.01783,
              0.01947,
              0.02144
            ],
            [
              0.00961,
              0.01436,
              0.01531,
              0.01645,
              0.01781,
              0.01945,
              0.0214
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.00156,
              -0.00318,
              -0.00413,
              -0.00527,
              -0.00664,
              -0.00829,
              -0.01026
            ],
            [
              0.00157,
              -0.00318,
              -0.00413,
              -0.00527,
              -0.00664,
              -0.00829,
              -0.01026
            ],
            [
              0.00157,
              -0.00317,
              -0.00412,
              -0.00526,
              -0.00663,
              -0.00827,
              -0.01024
            ],
            [
              0.00158,
              -0.00316,
              -0.00411,
              -0.00525,
              -0.00662,
              -0.00827,
              -0.01024
            ],
            [
              0.00159,
              -0.00315,
              -0.0041,
              -0.00524,
              -0.00661,
              -0.00825,
              -0.01022
            ],
            [
              0.0016,
              -0.00314,
              -0.00409,
              -0.00523,
              -0.0066,
              -0.00824,
              -0.01021
            ],
            [
              0.00162,
              -0.00313,
              -0.00408,
              -0.00522,
              -0.00659,
              -0.00823,
              -0.0102
            ],
            [
              0.00164,
              -0.00312,
              -0.00407,
              -0.00521,
              -0.00658,
              -0.00822,
              -0.0102
            ],
            [
              0.00166,
              -0.0031,
              -0.00405,
              -0.0052,
              -0.00657,
              -0.00821,
              -0.01018
            ],
            [
              0.00169,
              -0.00309,
              -0.00403,
              -0.00518,
              -0.00655,
              -0.0082,
              -0.01017
            ],
            [
              0.00172,
              -0.00307,
              -0.00402,
              -0.00516,
              -0.00653,
              -0.00818,
              -0.01016
            ],
            [
              0.00175,
              -0.00304,
              -0.004,
              -0.00514,
              -0.00652,
              -0.00817,
              -0.01014
            ],
            [
              0.00177,
              -0.00302,
              -0.00397,
              -0.00512,
              -0.0065,
              -0.00815,
              -0.01012
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.01083,
              0.01554,
              0.01648,
              0.01761,
              0.01896,
              0.0206,
              0.02255
            ],
            [
              0.01081,
              0.01552,
              0.01646,
              0.01759,
              0.01895,
              0.02058,
              0.02254
            ],
            [
              0.01079,
              0.01551,
              0.01646,
              0.01759,
              0.01895,
              0.02057,
              0.02252
            ],
            [
              0.01077,
              0.0155,
              0.01644,
              0.01757,
              0.01893,
              0.02056,
              0.02251
            ],
            [
              0.01075,
              0.01548,
              0.01643,
              0.01755,
              0.01891,
              0.02055,
              0.0225
            ],
            [
              0.01073,
              0.01547,
              0.01641,
              0.01754,
              0.0189,
              0.02053,
              0.02249
            ],
            [
              0.0107,
              0.01545,
              0.01639,
              0.01753,
              0.01889,
              0.02052,
              0.02247
            ],
            [
              0.01067,
              0.01543,
              0.01638,
              0.01751,
              0.01887,
              0.0205,
              0.02245
            ],
            [
              0.01066,
              0.01541,
              0.01635,
              0.01749,
              0.01885,
              0.02048,
              0.02243
            ],
            [
              0.01065,
              0.01539,
              0.01634,
              0.01747,
              0.01884,
              0.02047,
              0.02242
            ],
            [
              0.01063,
              0.01538,
              0.01633,
              0.01746,
              0.01883,
              0.02046,
              0.02241
            ],
            [
              0.01062,
              0.01537,
              0.01632,
              0.01745,
              0.01881,
              0.02044,
              0.02239
            ],
            [
              0.01061,
              0.01535,
              0.0163,
              0.01743,
              0.01878,
              0.02042,
              0.02238
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.00058,
              -0.0042,
              -0.00515,
              -0.0063,
              -0.00767,
              -0.00932,
              -0.01129
            ],
            [
              0.00061,
              -0.00421,
              -0.00516,
              -0.0063,
              -0.00767,
              -0.00932,
              -0.01129
            ],
            [
              0.00062,
              -0.0042,
              -0.00515,
              -0.00629,
              -0.00767,
              -0.00932,
              -0.01129
            ],
            [
              0.00065,
              -0.00419,
              -0.00514,
              -0.00629,
              -0.00766,
              -0.00931,
              -0.01128
            ],
            [
              0.00067,
              -0.00418,
              -0.00513,
              -0.00628,
              -0.00765,
              -0.0093,
              -0.01128
            ],
            [
              0.00071,
              -0.00417,
              -0.00513,
              -0.00627,
              -0.00765,
              -0.0093,
              -0.01127
            ],
            [
              0.00075,
              -0.00416,
              -0.00511,
              -0.00626,
              -0.00763,
              -0.00928,
              -0.01126
            ],
            [
              0.0008,
              -0.00413,
              -0.00509,
              -0.00624,
              -0.00762,
              -0.00927,
              -0.01125
            ],
            [
              0.00084,
              -0.0041,
              -0.00506,
              -0.00622,
              -0.0076,
              -0.00925,
              -0.01123
            ],
            [
              0.00089,
              -0.00406,
              -0.00503,
              -0.00619,
              -0.00757,
              -0.00923,
              -0.01121
            ],
            [
              0.00093,
              -0.00402,
              -0.00498,
              -0.00615,
              -0.00753,
              -0.00919,
              -0.01118
            ],
            [
              0.00096,
              -0.00397,
              -0.00493,
              -0.0061,
              -0.00749,
              -0.00915,
              -0.01114
            ],
            [
              0.00099,
              -0.00391,
              -0.00488,
              -0.00604,
              -0.00743,
              -0.0091,
              -0.01109
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.00554,
              0.01037,
              0.01133,
              0.01246,
              0.01383,
              0.01544,
              0.01741
            ],
            [
              0.0055,
              0.01036,
              0.01131,
              0.01245,
              0.01381,
              0.01546,
              0.01741
            ],
            [
              0.00545,
              0.01035,
              0.0113,
              0.01244,
              0.01381,
              0.01545,
              0.01741
            ],
            [
              0.0054,
              0.01032,
              0.01128,
              0.01242,
              0.01379,
              0.01544,
              0.0174
            ],
            [
              0.00535,
              0.01028,
              0.01124,
              0.01239,
              0.01376,
              0.01541,
              0.01738
            ],
            [
              0.0053,
              0.01023,
              0.0112,
              0.01234,
              0.01373,
              0.01538,
              0.01735
            ],
            [
              0.00525,
              0.01017,
              0.01113,
              0.01229,
              0.01367,
              0.01533,
              0.01731
            ],
            [
              0.00521,
              0.01011,
              0.01107,
              0.01222,
              0.01361,
              0.01526,
              0.01723
            ],
            [
              0.00517,
              0.01004,
              0.011,
              0.01215,
              0.01354,
              0.0152,
              0.01718
            ],
            [
              0.00514,
              0.00997,
              0.01093,
              0.01209,
              0.01347,
              0.01512,
              0.01709
            ],
            [
              0.00512,
              0.00992,
              0.01088,
              0.01203,
              0.0134,
              0.01505,
              0.01703
            ],
            [
              0.00509,
              0.00989,
              0.01084,
              0.01198,
              0.01335,
              0.015,
              0.01697
            ],
            [
              0.00509,
              0.00985,
              0.0108,
              0.01194,
              0.01331,
              0.01495,
              0.01691
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.0005,
              -0.00431,
              -0.00526,
              -0.00641,
              -0.00778,
              -0.00943,
              -0.0114
            ],
            [
              0.00051,
              -0.0043,
              -0.00524,
              -0.00639,
              -0.00776,
              -0.00941,
              -0.01138
            ],
            [
              0.00052,
              -0.00429,
              -0.00524,
              -0.00638,
              -0.00775,
              -0.0094,
              -0.01138
            ],
            [
              0.00054,
              -0.00428,
              -0.00524,
              -0.00638,
              -0.00776,
              -0.00941,
              -0.01138
            ],
            [
              0.00056,
              -0.00428,
              -0.00523,
              -0.00637,
              -0.00775,
              -0.0094,
              -0.01137
            ],
            [
              0.00059,
              -0.00427,
              -0.00522,
              -0.00637,
              -0.00774,
              -0.00939,
              -0.01137
            ],
            [
              0.00063,
              -0.00425,
              -0.00521,
              -0.00636,
              -0.00773,
              -0.00938,
              -0.01136
            ],
            [
              0.00067,
              -0.00423,
              -0.00519,
              -0.00634,
              -0.00772,
              -0.00937,
              -0.01135
            ],
            [
              0.0007,
              -0.0042,
              -0.00517,
              -0.00632,
              -0.0077,
              -0.00935,
              -0.01133
            ],
            [
              0.00074,
              -0.00417,
              -0.00513,
              -0.00629,
              -0.00767,
              -0.00933,
              -0.01131
            ],
            [
              0.00078,
              -0.00413,
              -0.0051,
              -0.00626,
              -0.00764,
              -0.0093,
              -0.01128
            ],
            [
              0.00081,
              -0.00409,
              -0.00506,
              -0.00621,
              -0.0076,
              -0.00927,
              -0.01126
            ],
            [
              0.00084,
              -0.00404,
              -0.00501,
              -0.00617,
              -0.00755,
              -0.00922,
              -0.01121
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.00648,
              0.01124,
              0.01219,
              0.01333,
              0.01469,
              0.01633,
              0.01828
            ],
            [
              0.00646,
              0.01123,
              0.01218,
              0.01331,
              0.01467,
              0.0163,
              0.01825
            ],
            [
              0.00642,
              0.01121,
              0.01216,
              0.01329,
              0.01466,
              0.01629,
              0.01825
            ],
            [
              0.00639,
              0.0112,
              0.01215,
              0.01328,
              0.01465,
              0.01628,
              0.01824
            ],
            [
              0.00635,
              0.01117,
              0.01212,
              0.01326,
              0.01462,
              0.01626,
              0.01822
            ],
            [
              0.00631,
              0.01114,
              0.01209,
              0.01323,
              0.0146,
              0.01624,
              0.0182
            ],
            [
              0.00627,
              0.01111,
              0.01206,
              0.0132,
              0.01457,
              0.01621,
              0.01817
            ],
            [
              0.00623,
              0.01105,
              0.012,
              0.01315,
              0.01453,
              0.01618,
              0.01813
            ],
            [
              0.00619,
              0.011,
              0.01195,
              0.0131,
              0.01447,
              0.01612,
              0.01808
            ],
            [
              0.00616,
              0.01097,
              0.01192,
              0.01306,
              0.01443,
              0.01607,
              0.01804
            ],
            [
              0.00614,
              0.01092,
              0.01187,
              0.01301,
              0.01438,
              0.01603,
              0.01799
            ],
            [
              0.00611,
              0.01089,
              0.01183,
              0.01297,
              0.01434,
              0.01598,
              0.01794
            ],
            [
              0.0061,
              0.01085,
              0.0118,
              0.01294,
              0.0143,
              0.01594,
              0.01789
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.00985,
    "max_transition": 1.0,
    "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.06754,
              0.16101,
              0.17883,
              0.20016,
              0.22563,
              0.25612,
              0.29248
            ],
            [
              0.07068,
              0.16415,
              0.18199,
              0.20331,
              0.22877,
              0.25924,
              0.29559
            ],
            [
              0.07446,
              0.16799,
              0.18584,
              0.20717,
              0.23264,
              0.26312,
              0.29945
            ],
            [
              0.08044,
              0.17389,
              0.19171,
              0.21305,
              0.23852,
              0.269,
              0.30536
            ],
            [
              0.08939,
              0.18295,
              0.20078,
              0.22212,
              0.24759,
              0.27808,
              0.31443
            ],
            [
              0.10293,
              0.19646,
              0.21431,
              0.23565,
              0.26113,
              0.29161,
              0.32798
            ],
            [
              0.12364,
              0.21685,
              0.23471,
              0.25603,
              0.28151,
              0.31201,
              0.34834
            ],
            [
              0.15567,
              0.24766,
              0.26551,
              0.28683,
              0.31229,
              0.34264,
              0.379
            ],
            [
              0.1985,
              0.29412,
              0.31161,
              0.33291,
              0.3584,
              0.38892,
              0.42534
            ],
            [
              0.25472,
              0.36428,
              0.38184,
              0.403,
              0.42835,
              0.45874,
              0.495
            ],
            [
              0.3275,
              0.46182,
              0.48242,
              0.50632,
              0.53292,
              0.56362,
              0.59972
            ],
            [
              0.42207,
              0.58927,
              0.61527,
              0.64427,
              0.67687,
              0.71357,
              0.75457
            ],
            [
              0.545,
              0.755,
              0.7876,
              0.8235,
              0.8639,
              0.9083,
              0.9587
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.24204,
              0.56436,
              0.62793,
              0.70404,
              0.7959,
              0.90599,
              1.03757
            ],
            [
              0.2448,
              0.56896,
              0.63221,
              0.70862,
              0.80085,
              0.91082,
              1.04244
            ],
            [
              0.24836,
              0.57412,
              0.63807,
              0.71459,
              0.8063,
              0.91639,
              1.04752
            ],
            [
              0.2541,
              0.58154,
              0.64567,
              0.72193,
              0.81424,
              0.92434,
              1.05527
            ],
            [
              0.26389,
              0.59237,
              0.65648,
              0.73359,
              0.82477,
              0.93544,
              1.06791
            ],
            [
              0.2797,
              0.60857,
              0.67315,
              0.74967,
              0.84261,
              0.95292,
              1.08502
            ],
            [
              0.3049,
              0.63322,
              0.69806,
              0.77567,
              0.86795,
              0.97903,
              1.11083
            ],
            [
              0.34418,
              0.67171,
              0.73572,
              0.81382,
              0.90646,
              1.01686,
              1.14996
            ],
            [
              0.40455,
              0.73054,
              0.79485,
              0.87175,
              0.96475,
              1.07625,
              1.20925
            ],
            [
              0.49532,
              0.81879,
              0.88439,
              0.96109,
              1.05339,
              1.16439,
              1.29749
            ],
            [
              0.63002,
              0.95232,
              1.01632,
              1.09312,
              1.18672,
              1.29732,
              1.42942
            ],
            [
              0.82647,
              1.14977,
              1.21407,
              1.29057,
              1.38327,
              1.49387,
              1.62557
            ],
            [
              1.1011,
              1.4453,
              1.509,
              1.5855,
              1.6774,
              1.7872,
              1.9209
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.05806,
              0.16845,
              0.19031,
              0.21696,
              0.24874,
              0.28669,
              0.33238
            ],
            [
              0.05806,
              0.16853,
              0.19043,
              0.21674,
              0.24841,
              0.28669,
              0.3325
            ],
            [
              0.05809,
              0.16843,
              0.19044,
              0.2169,
              0.24855,
              0.2867,
              0.33238
            ],
            [
              0.05808,
              0.16845,
              0.1904,
              0.21693,
              0.24871,
              0.28671,
              0.33237
            ],
            [
              0.05795,
              0.16843,
              0.19042,
              0.21692,
              0.2487,
              0.28669,
              0.33245
            ],
            [
              0.05681,
              0.16842,
              0.19028,
              0.21691,
              0.24869,
              0.28671,
              0.33257
            ],
            [
              0.05621,
              0.1683,
              0.19019,
              0.21667,
              0.24849,
              0.2867,
              0.33232
            ],
            [
              0.05997,
              0.16763,
              0.19013,
              0.21651,
              0.24842,
              0.28674,
              0.33237
            ],
            [
              0.07021,
              0.1697,
              0.19085,
              0.21655,
              0.2479,
              0.28637,
              0.33232
            ],
            [
              0.08487,
              0.18216,
              0.20135,
              0.22473,
              0.25388,
              0.28972,
              0.33339
            ],
            [
              0.10575,
              0.21311,
              0.2301,
              0.25063,
              0.27654,
              0.30876,
              0.3487
            ],
            [
              0.1344,
              0.2613,
              0.2801,
              0.3021,
              0.3269,
              0.3556,
              0.3902
            ],
            [
              0.1738,
              0.3281,
              0.3497,
              0.375,
              0.4034,
              0.4361,
              0.4725
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.14285,
              0.54467,
              0.62453,
              0.72025,
              0.83539,
              0.97416,
              1.13959
            ],
            [
              0.14286,
              0.54465,
              0.62424,
              0.72024,
              0.83545,
              0.97482,
              1.13986
            ],
            [
              0.14292,
              0.54451,
              0.62446,
              0.72033,
              0.83631,
              0.97448,
              1.13892
            ],
            [
              0.14294,
              0.54437,
              0.62493,
              0.7202,
              0.83558,
              0.97483,
              1.139
            ],
            [
              0.14297,
              0.54458,
              0.62424,
              0.7209,
              0.83537,
              0.97374,
              1.13971
            ],
            [
              0.14305,
              0.54436,
              0.62425,
              0.72026,
              0.83544,
              0.97419,
              1.14038
            ],
            [
              0.14307,
              0.54435,
              0.62436,
              0.72039,
              0.83542,
              0.97482,
              1.14002
            ],
            [
              0.14297,
              0.54467,
              0.62419,
              0.72032,
              0.83561,
              0.97361,
              1.13897
            ],
            [
              0.14311,
              0.5445,
              0.62444,
              0.7202,
              0.83552,
              0.97398,
              1.13974
            ],
            [
              0.14325,
              0.54448,
              0.62435,
              0.72019,
              0.8353,
              0.9735,
              1.1393
            ],
            [
              0.1446,
              0.5448,
              0.6248,
              0.7204,
              0.8353,
              0.9735,
              1.1389
            ],
            [
              0.1582,
              0.5444,
              0.6243,
              0.7201,
              0.8354,
              0.974,
              1.1389
            ],
            [
              0.1918,
              0.5519,
              0.6283,
              0.7219,
              0.8354,
              0.9735,
              1.1397
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.05509,
              0.15009,
              0.16805,
              0.1895,
              0.21508,
              0.24567,
              0.28211
            ],
            [
              0.05823,
              0.15323,
              0.17119,
              0.19263,
              0.21821,
              0.24876,
              0.28518
            ],
            [
              0.06206,
              0.15706,
              0.17502,
              0.19646,
              0.22202,
              0.25259,
              0.28903
            ],
            [
              0.06802,
              0.16293,
              0.18088,
              0.20233,
              0.22795,
              0.25854,
              0.29496
            ],
            [
              0.07717,
              0.17198,
              0.18994,
              0.21136,
              0.23692,
              0.26754,
              0.30397
            ],
            [
              0.0911,
              0.18544,
              0.20344,
              0.22487,
              0.25045,
              0.28107,
              0.31753
            ],
            [
              0.11272,
              0.20594,
              0.22385,
              0.24522,
              0.27075,
              0.30136,
              0.33781
            ],
            [
              0.14394,
              0.2365,
              0.25436,
              0.2757,
              0.30153,
              0.33206,
              0.36849
            ],
            [
              0.18475,
              0.28315,
              0.30093,
              0.32211,
              0.34754,
              0.37809,
              0.41413
            ],
            [
              0.23762,
              0.35372,
              0.37146,
              0.39209,
              0.41777,
              0.44817,
              0.48401
            ],
            [
              0.30641,
              0.44952,
              0.47082,
              0.49492,
              0.52242,
              0.55342,
              0.58902
            ],
            [
              0.39597,
              0.57377,
              0.60017,
              0.63007,
              0.66327,
              0.70027,
              0.74277
            ],
            [
              0.5119,
              0.7357,
              0.7683,
              0.806,
              0.8473,
              0.8937,
              0.9454
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.2798,
              0.69358,
              0.77455,
              0.87307,
              0.9904,
              1.13167,
              1.30087
            ],
            [
              0.28199,
              0.69803,
              0.77991,
              0.87804,
              0.99594,
              1.13714,
              1.30564
            ],
            [
              0.28506,
              0.70346,
              0.78538,
              0.88352,
              1.00112,
              1.14242,
              1.31182
            ],
            [
              0.29029,
              0.71039,
              0.79268,
              0.89126,
              1.00877,
              1.15058,
              1.31988
            ],
            [
              0.29954,
              0.72098,
              0.80329,
              0.90131,
              1.01921,
              1.16201,
              1.33021
            ],
            [
              0.31444,
              0.7367,
              0.81933,
              0.91829,
              1.03692,
              1.17812,
              1.34772
            ],
            [
              0.33919,
              0.76082,
              0.84339,
              0.94243,
              1.06153,
              1.20353,
              1.37293
            ],
            [
              0.37759,
              0.79744,
              0.88066,
              0.98056,
              1.09976,
              1.24236,
              1.41266
            ],
            [
              0.43771,
              0.85605,
              0.93855,
              1.03725,
              1.15675,
              1.29945,
              1.47055
            ],
            [
              0.5278,
              0.94339,
              1.02709,
              1.12569,
              1.24439,
              1.38689,
              1.55689
            ],
            [
              0.66032,
              1.07372,
              1.15562,
              1.25442,
              1.37482,
              1.51692,
              1.68722
            ],
            [
              0.85317,
              1.26597,
              1.34847,
              1.44737,
              1.56507,
              1.70767,
              1.87777
            ],
            [
              1.124,
              1.5509,
              1.633,
              1.7313,
              1.8496,
              1.9903,
              2.1618
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.05533,
              0.16612,
              0.18774,
              0.21412,
              0.24576,
              0.28375,
              0.3295
            ],
            [
              0.05525,
              0.16588,
              0.18786,
              0.21421,
              0.2458,
              0.28363,
              0.32924
            ],
            [
              0.05511,
              0.1659,
              0.18784,
              0.21408,
              0.24562,
              0.28371,
              0.32947
            ],
            [
              0.05473,
              0.1658,
              0.18772,
              0.21416,
              0.24584,
              0.28384,
              0.32937
            ],
            [
              0.05379,
              0.16571,
              0.18771,
              0.21387,
              0.24554,
              0.28371,
              0.32932
            ],
            [
              0.05261,
              0.1654,
              0.18755,
              0.21391,
              0.24553,
              0.28368,
              0.32928
            ],
            [
              0.05397,
              0.16516,
              0.18738,
              0.21368,
              0.24541,
              0.28358,
              0.32931
            ],
            [
              0.06036,
              0.16443,
              0.18663,
              0.21329,
              0.24514,
              0.28355,
              0.32912
            ],
            [
              0.07163,
              0.16785,
              0.18853,
              0.2139,
              0.24505,
              0.28282,
              0.32885
            ],
            [
              0.08757,
              0.18237,
              0.20099,
              0.22426,
              0.25253,
              0.28772,
              0.331
            ],
            [
              0.10983,
              0.21525,
              0.23211,
              0.25211,
              0.27703,
              0.3085,
              0.34805
            ],
            [
              0.1399,
              0.2649,
              0.2837,
              0.3053,
              0.33,
              0.3587,
              0.392
            ],
            [
              0.1814,
              0.3332,
              0.3554,
              0.3798,
              0.4079,
              0.4394,
              0.4753
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.1772,
              0.70041,
              0.80424,
              0.92933,
              1.07975,
              1.25739,
              1.47286
            ],
            [
              0.17724,
              0.69982,
              0.80442,
              0.92966,
              1.07713,
              1.25718,
              1.47295
            ],
            [
              0.17725,
              0.70007,
              0.80435,
              0.92794,
              1.07809,
              1.25725,
              1.47269
            ],
            [
              0.17724,
              0.70028,
              0.80429,
              0.92752,
              1.07813,
              1.25727,
              1.47297
            ],
            [
              0.17723,
              0.70007,
              0.80451,
              0.92952,
              1.07838,
              1.2573,
              1.4738
            ],
            [
              0.17741,
              0.70031,
              0.80449,
              0.92957,
              1.07714,
              1.25744,
              1.47315
            ],
            [
              0.17736,
              0.70016,
              0.80448,
              0.92942,
              1.07985,
              1.26043,
              1.47492
            ],
            [
              0.17756,
              0.70017,
              0.80423,
              0.92724,
              1.07711,
              1.25722,
              1.47289
            ],
            [
              0.17758,
              0.70038,
              0.8045,
              0.92944,
              1.0772,
              1.25791,
              1.4727
            ],
            [
              0.17761,
              0.70043,
              0.8047,
              0.9297,
              1.0772,
              1.2573,
              1.473
            ],
            [
              0.1786,
              0.7002,
              0.8042,
              0.9296,
              1.0801,
              1.2601,
              1.4734
            ],
            [
              0.189,
              0.6986,
              0.803,
              0.9299,
              1.0796,
              1.2578,
              1.4728
            ],
            [
              0.2178,
              0.702,
              0.8032,
              0.9299,
              1.0771,
              1.26,
              1.4726
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.0561,
              0.15106,
              0.16902,
              0.19046,
              0.21602,
              0.24658,
              0.28299
            ],
            [
              0.05924,
              0.1542,
              0.17216,
              0.19359,
              0.21915,
              0.24973,
              0.28615
            ],
            [
              0.06309,
              0.15804,
              0.17599,
              0.19742,
              0.22299,
              0.25354,
              0.28996
            ],
            [
              0.069,
              0.1639,
              0.18185,
              0.20333,
              0.22889,
              0.25945,
              0.29592
            ],
            [
              0.07806,
              0.17293,
              0.19088,
              0.21233,
              0.23789,
              0.26845,
              0.30486
            ],
            [
              0.09198,
              0.18643,
              0.20439,
              0.22582,
              0.2514,
              0.28196,
              0.31837
            ],
            [
              0.11355,
              0.20666,
              0.22481,
              0.24618,
              0.27172,
              0.30227,
              0.33869
            ],
            [
              0.14487,
              0.23746,
              0.25534,
              0.27668,
              0.30247,
              0.33298,
              0.36937
            ],
            [
              0.18598,
              0.28407,
              0.30185,
              0.32311,
              0.34845,
              0.37906,
              0.4154
            ],
            [
              0.23919,
              0.35465,
              0.37238,
              0.39314,
              0.41866,
              0.44908,
              0.48494
            ],
            [
              0.30836,
              0.45062,
              0.47192,
              0.49622,
              0.52342,
              0.55432,
              0.59002
            ],
            [
              0.39847,
              0.57517,
              0.60157,
              0.63127,
              0.66447,
              0.70137,
              0.74387
            ],
            [
              0.5152,
              0.7375,
              0.7699,
              0.8076,
              0.8488,
              0.8952,
              0.9467
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.35309,
              0.75923,
              0.83944,
              0.93553,
              1.05077,
              1.18907,
              1.35447
            ],
            [
              0.35673,
              0.76406,
              0.84424,
              0.94044,
              1.05574,
              1.19404,
              1.35954
            ],
            [
              0.36082,
              0.76938,
              0.84968,
              0.94595,
              1.06132,
              1.19982,
              1.36562
            ],
            [
              0.36685,
              0.77689,
              0.85732,
              0.95376,
              1.06928,
              1.20788,
              1.37348
            ],
            [
              0.37625,
              0.78768,
              0.86835,
              0.96481,
              1.08051,
              1.21931,
              1.38521
            ],
            [
              0.39129,
              0.80397,
              0.88475,
              0.98172,
              1.09712,
              1.23622,
              1.40222
            ],
            [
              0.4154,
              0.82815,
              0.90953,
              1.00663,
              1.12293,
              1.26203,
              1.42783
            ],
            [
              0.45283,
              0.86546,
              0.94686,
              1.04426,
              1.16076,
              1.30056,
              1.46716
            ],
            [
              0.51193,
              0.92345,
              1.00445,
              1.10145,
              1.21815,
              1.35815,
              1.52525
            ],
            [
              0.60139,
              1.01179,
              1.09259,
              1.18939,
              1.30589,
              1.44519,
              1.61219
            ],
            [
              0.73352,
              1.14082,
              1.22132,
              1.31982,
              1.43642,
              1.57562,
              1.74192
            ],
            [
              0.92687,
              1.33367,
              1.41417,
              1.51097,
              1.62697,
              1.76607,
              1.93267
            ],
            [
              1.2087,
              1.6183,
              1.6988,
              1.7952,
              1.9104,
              2.0506,
              2.2169
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.07257,
              0.18156,
              0.20337,
              0.22965,
              0.26107,
              0.29893,
              0.34445
            ],
            [
              0.07248,
              0.18147,
              0.20333,
              0.2296,
              0.26108,
              0.29896,
              0.34444
            ],
            [
              0.07235,
              0.18145,
              0.20325,
              0.22955,
              0.26113,
              0.29892,
              0.34437
            ],
            [
              0.07197,
              0.18137,
              0.20325,
              0.22954,
              0.2611,
              0.29892,
              0.34437
            ],
            [
              0.071,
              0.18128,
              0.20314,
              0.22949,
              0.26105,
              0.29894,
              0.34438
            ],
            [
              0.06965,
              0.18115,
              0.20306,
              0.22939,
              0.26099,
              0.2989,
              0.34436
            ],
            [
              0.07081,
              0.1809,
              0.20288,
              0.22926,
              0.26079,
              0.29882,
              0.34433
            ],
            [
              0.07677,
              0.18003,
              0.20211,
              0.22889,
              0.26072,
              0.29868,
              0.34429
            ],
            [
              0.0897,
              0.18355,
              0.20415,
              0.22951,
              0.26039,
              0.29807,
              0.34401
            ],
            [
              0.10864,
              0.19803,
              0.21654,
              0.2395,
              0.26796,
              0.3029,
              0.3462
            ],
            [
              0.13569,
              0.23104,
              0.24747,
              0.26745,
              0.29257,
              0.3239,
              0.36309
            ],
            [
              0.1729,
              0.2834,
              0.3012,
              0.3218,
              0.3459,
              0.3738,
              0.4071
            ],
            [
              0.2241,
              0.3555,
              0.3766,
              0.3994,
              0.4264,
              0.4567,
              0.4915
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.21558,
              0.73022,
              0.8319,
              0.9544,
              1.10139,
              1.27773,
              1.48889
            ],
            [
              0.21568,
              0.72996,
              0.83187,
              0.95435,
              1.10138,
              1.27819,
              1.48935
            ],
            [
              0.21568,
              0.73019,
              0.83191,
              0.95425,
              1.10141,
              1.27788,
              1.48938
            ],
            [
              0.2158,
              0.73014,
              0.83193,
              0.9543,
              1.10136,
              1.27817,
              1.48923
            ],
            [
              0.21573,
              0.73008,
              0.83166,
              0.95433,
              1.10137,
              1.27763,
              1.48939
            ],
            [
              0.21584,
              0.73023,
              0.83194,
              0.9544,
              1.10139,
              1.27817,
              1.48933
            ],
            [
              0.21583,
              0.73018,
              0.83162,
              0.95429,
              1.10114,
              1.278,
              1.4893
            ],
            [
              0.21573,
              0.73024,
              0.83193,
              0.95436,
              1.10139,
              1.27824,
              1.48935
            ],
            [
              0.21569,
              0.73029,
              0.83188,
              0.95441,
              1.10138,
              1.27813,
              1.4892
            ],
            [
              0.21578,
              0.7299,
              0.8318,
              0.9545,
              1.1013,
              1.2781,
              1.4897
            ],
            [
              0.2159,
              0.7302,
              0.8319,
              0.9544,
              1.1014,
              1.2778,
              1.4885
            ],
            [
              0.22,
              0.7303,
              0.8321,
              0.9549,
              1.1014,
              1.2775,
              1.4893
            ],
            [
              0.242,
              0.7311,
              0.8323,
              0.9547,
              1.1017,
              1.2781,
              1.4884
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.08056,
              0.17397,
              0.19181,
              0.21313,
              0.23861,
              0.26908,
              0.30544
            ],
            [
              0.08408,
              0.1775,
              0.19533,
              0.21665,
              0.24212,
              0.27258,
              0.30895
            ],
            [
              0.08832,
              0.18174,
              0.19957,
              0.22093,
              0.24638,
              0.27688,
              0.31321
            ],
            [
              0.09477,
              0.18821,
              0.20603,
              0.22737,
              0.25283,
              0.28331,
              0.31968
            ],
            [
              0.10411,
              0.19754,
              0.21535,
              0.23677,
              0.26225,
              0.29272,
              0.32907
            ],
            [
              0.11782,
              0.21122,
              0.22905,
              0.25041,
              0.27588,
              0.30633,
              0.34279
            ],
            [
              0.13814,
              0.23146,
              0.24928,
              0.2706,
              0.29605,
              0.32667,
              0.36302
            ],
            [
              0.16873,
              0.26174,
              0.27959,
              0.30092,
              0.32638,
              0.35684,
              0.39319
            ],
            [
              0.21147,
              0.30704,
              0.3249,
              0.34624,
              0.37174,
              0.40227,
              0.43863
            ],
            [
              0.27031,
              0.37483,
              0.39273,
              0.41408,
              0.43959,
              0.47017,
              0.50658
            ],
            [
              0.34991,
              0.47082,
              0.49082,
              0.51392,
              0.54072,
              0.57182,
              0.60832
            ],
            [
              0.45607,
              0.60237,
              0.62547,
              0.65197,
              0.68237,
              0.71747,
              0.75737
            ],
            [
              0.5971,
              0.7799,
              0.8082,
              0.8402,
              0.8763,
              0.9172,
              0.9633
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.30326,
              0.62564,
              0.6894,
              0.76599,
              0.85779,
              0.968,
              1.09987
            ],
            [
              0.30677,
              0.62971,
              0.69352,
              0.77014,
              0.86197,
              0.97225,
              1.10414
            ],
            [
              0.31094,
              0.63457,
              0.69841,
              0.77509,
              0.86697,
              0.97727,
              1.10912
            ],
            [
              0.31721,
              0.64192,
              0.70584,
              0.78256,
              0.8745,
              0.98487,
              1.11678
            ],
            [
              0.32715,
              0.65293,
              0.71699,
              0.79386,
              0.88588,
              0.99631,
              1.12841
            ],
            [
              0.34313,
              0.66964,
              0.73379,
              0.81077,
              0.90294,
              1.01352,
              1.14572
            ],
            [
              0.36811,
              0.69538,
              0.75949,
              0.83657,
              0.92883,
              1.03953,
              1.17203
            ],
            [
              0.40733,
              0.73405,
              0.79883,
              0.87576,
              0.96846,
              1.07916,
              1.21156
            ],
            [
              0.46694,
              0.79345,
              0.85765,
              0.93495,
              1.02755,
              1.13825,
              1.27065
            ],
            [
              0.55712,
              0.88269,
              0.94669,
              1.02359,
              1.11679,
              1.22749,
              1.35989
            ],
            [
              0.69072,
              1.01542,
              1.07972,
              1.15672,
              1.24912,
              1.36002,
              1.49252
            ],
            [
              0.88757,
              1.21177,
              1.27597,
              1.35307,
              1.44527,
              1.55637,
              1.68887
            ],
            [
              1.1729,
              1.5048,
              1.5688,
              1.6461,
              1.7384,
              1.849,
              1.9813
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.05765,
              0.16851,
              0.19042,
              0.21676,
              0.24872,
              0.28676,
              0.33263
            ],
            [
              0.05764,
              0.16846,
              0.19025,
              0.21678,
              0.24872,
              0.28657,
              0.33259
            ],
            [
              0.05762,
              0.1685,
              0.19037,
              0.21691,
              0.24868,
              0.28673,
              0.33254
            ],
            [
              0.05762,
              0.16853,
              0.19032,
              0.21682,
              0.2487,
              0.28691,
              0.33241
            ],
            [
              0.05756,
              0.16865,
              0.19039,
              0.21691,
              0.24862,
              0.28693,
              0.33238
            ],
            [
              0.05726,
              0.16834,
              0.19045,
              0.21691,
              0.2487,
              0.28659,
              0.33244
            ],
            [
              0.05699,
              0.16822,
              0.19033,
              0.21674,
              0.24848,
              0.28675,
              0.33255
            ],
            [
              0.05919,
              0.16801,
              0.19017,
              0.21675,
              0.24843,
              0.28659,
              0.33252
            ],
            [
              0.06546,
              0.16944,
              0.19091,
              0.21676,
              0.24842,
              0.28644,
              0.33246
            ],
            [
              0.0757,
              0.17662,
              0.1971,
              0.22193,
              0.25205,
              0.28874,
              0.33338
            ],
            [
              0.09168,
              0.19591,
              0.21465,
              0.23735,
              0.2656,
              0.30036,
              0.34264
            ],
            [
              0.115,
              0.2295,
              0.2489,
              0.2719,
              0.2988,
              0.3304,
              0.3689
            ],
            [
              0.1476,
              0.2796,
              0.3006,
              0.3249,
              0.3529,
              0.3858,
              0.4242
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.17977,
              0.58538,
              0.6657,
              0.76186,
              0.87874,
              1.01639,
              1.18213
            ],
            [
              0.17977,
              0.58533,
              0.66556,
              0.76197,
              0.87881,
              1.01762,
              1.18213
            ],
            [
              0.17979,
              0.58533,
              0.66564,
              0.7619,
              0.87879,
              1.01648,
              1.18304
            ],
            [
              0.17977,
              0.58536,
              0.66567,
              0.76208,
              0.87881,
              1.01609,
              1.18209
            ],
            [
              0.1798,
              0.58539,
              0.66565,
              0.76293,
              0.87789,
              1.0165,
              1.18196
            ],
            [
              0.17958,
              0.58527,
              0.66566,
              0.76192,
              0.87784,
              1.0176,
              1.18196
            ],
            [
              0.17981,
              0.58535,
              0.66567,
              0.76264,
              0.87866,
              1.01668,
              1.18196
            ],
            [
              0.17965,
              0.5853,
              0.66556,
              0.76287,
              0.87755,
              1.01681,
              1.18312
            ],
            [
              0.17976,
              0.58529,
              0.66556,
              0.76189,
              0.8787,
              1.01756,
              1.18199
            ],
            [
              0.17963,
              0.58532,
              0.66555,
              0.7618,
              0.8785,
              1.0168,
              1.1832
            ],
            [
              0.1801,
              0.5852,
              0.6655,
              0.7619,
              0.8788,
              1.0173,
              1.1828
            ],
            [
              0.1868,
              0.5852,
              0.6654,
              0.7619,
              0.8776,
              1.0167,
              1.1823
            ],
            [
              0.2151,
              0.5895,
              0.6672,
              0.7626,
              0.8786,
              1.0171,
              1.1822
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.06857,
              0.16308,
              0.18103,
              0.20248,
              0.22803,
              0.25864,
              0.29503
            ],
            [
              0.07211,
              0.16662,
              0.18454,
              0.20598,
              0.23156,
              0.26209,
              0.29861
            ],
            [
              0.07637,
              0.17084,
              0.18877,
              0.21021,
              0.23578,
              0.26636,
              0.30276
            ],
            [
              0.08279,
              0.17727,
              0.19523,
              0.21666,
              0.24224,
              0.27277,
              0.30927
            ],
            [
              0.09217,
              0.18665,
              0.20459,
              0.22602,
              0.25159,
              0.28215,
              0.31851
            ],
            [
              0.10596,
              0.20025,
              0.21815,
              0.23963,
              0.26518,
              0.29573,
              0.33216
            ],
            [
              0.12655,
              0.22047,
              0.23839,
              0.25982,
              0.28536,
              0.31595,
              0.35231
            ],
            [
              0.15656,
              0.2507,
              0.26861,
              0.29002,
              0.31556,
              0.34609,
              0.38248
            ],
            [
              0.19809,
              0.2961,
              0.31401,
              0.33541,
              0.36089,
              0.39139,
              0.42798
            ],
            [
              0.25493,
              0.3637,
              0.38189,
              0.40326,
              0.42884,
              0.45942,
              0.49587
            ],
            [
              0.33124,
              0.45842,
              0.47882,
              0.50242,
              0.52952,
              0.56112,
              0.59762
            ],
            [
              0.43307,
              0.58807,
              0.61187,
              0.63907,
              0.67007,
              0.70547,
              0.74597
            ],
            [
              0.568,
              0.7625,
              0.7917,
              0.8245,
              0.8615,
              0.9032,
              0.9501
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.36444,
              0.78463,
              0.8678,
              0.96765,
              1.08737,
              1.23117,
              1.40307
            ],
            [
              0.36767,
              0.7886,
              0.87181,
              0.97173,
              1.09154,
              1.23534,
              1.40734
            ],
            [
              0.37146,
              0.79329,
              0.87657,
              0.97655,
              1.09642,
              1.24022,
              1.41222
            ],
            [
              0.37722,
              0.80043,
              0.88377,
              0.98388,
              1.10378,
              1.24768,
              1.41978
            ],
            [
              0.3865,
              0.81111,
              0.89466,
              0.99491,
              1.11491,
              1.25891,
              1.43111
            ],
            [
              0.40182,
              0.82736,
              0.91103,
              1.01142,
              1.13172,
              1.27582,
              1.44822
            ],
            [
              0.42604,
              0.85258,
              0.93623,
              1.03673,
              1.15703,
              1.30133,
              1.47413
            ],
            [
              0.46467,
              0.89056,
              0.97506,
              1.07546,
              1.19626,
              1.34066,
              1.51326
            ],
            [
              0.52367,
              0.94915,
              1.03295,
              1.13375,
              1.25395,
              1.39875,
              1.57165
            ],
            [
              0.61294,
              1.03729,
              1.12079,
              1.22109,
              1.34249,
              1.48689,
              1.65959
            ],
            [
              0.74412,
              1.16732,
              1.25122,
              1.35182,
              1.47222,
              1.61682,
              1.78972
            ],
            [
              0.93537,
              1.35797,
              1.44177,
              1.54207,
              1.66247,
              1.80737,
              1.98007
            ],
            [
              1.2144,
              1.6396,
              1.7231,
              1.824,
              1.9443,
              2.0886,
              2.2613
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.05397,
              0.16556,
              0.18757,
              0.21392,
              0.24553,
              0.28374,
              0.32952
            ],
            [
              0.05392,
              0.16561,
              0.18757,
              0.214,
              0.24557,
              0.28362,
              0.32936
            ],
            [
              0.05386,
              0.16547,
              0.18755,
              0.21397,
              0.24578,
              0.28366,
              0.32925
            ],
            [
              0.0538,
              0.16544,
              0.18754,
              0.21393,
              0.24568,
              0.28363,
              0.32932
            ],
            [
              0.05369,
              0.16551,
              0.18752,
              0.21386,
              0.24557,
              0.28381,
              0.32917
            ],
            [
              0.05339,
              0.16547,
              0.18732,
              0.21373,
              0.24552,
              0.2838,
              0.32914
            ],
            [
              0.05427,
              0.16527,
              0.1873,
              0.21369,
              0.24551,
              0.2836,
              0.32909
            ],
            [
              0.05779,
              0.16497,
              0.18685,
              0.21347,
              0.24524,
              0.28363,
              0.32916
            ],
            [
              0.06535,
              0.16718,
              0.18841,
              0.21418,
              0.24531,
              0.28311,
              0.32907
            ],
            [
              0.07691,
              0.17549,
              0.19567,
              0.22012,
              0.24998,
              0.2863,
              0.33066
            ],
            [
              0.0943,
              0.19658,
              0.21495,
              0.23719,
              0.26479,
              0.29882,
              0.34091
            ],
            [
              0.1188,
              0.2313,
              0.2505,
              0.2731,
              0.2996,
              0.3308,
              0.3686
            ],
            [
              0.1529,
              0.283,
              0.3036,
              0.3277,
              0.3554,
              0.3877,
              0.4257
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.22874,
              0.76438,
              0.87048,
              0.99788,
              1.15105,
              1.33478,
              1.55451
            ],
            [
              0.2286,
              0.76388,
              0.87032,
              0.99764,
              1.15072,
              1.33449,
              1.55447
            ],
            [
              0.22853,
              0.76388,
              0.87034,
              0.9977,
              1.15061,
              1.33443,
              1.55433
            ],
            [
              0.22841,
              0.76419,
              0.87021,
              0.99764,
              1.15057,
              1.33458,
              1.5543
            ],
            [
              0.22849,
              0.76427,
              0.87018,
              0.99766,
              1.15041,
              1.33452,
              1.5545
            ],
            [
              0.2287,
              0.7644,
              0.87038,
              0.99763,
              1.15041,
              1.3344,
              1.55467
            ],
            [
              0.22869,
              0.76458,
              0.87028,
              0.99763,
              1.15044,
              1.3347,
              1.55457
            ],
            [
              0.22855,
              0.7642,
              0.87024,
              0.99761,
              1.15042,
              1.33479,
              1.5545
            ],
            [
              0.22869,
              0.76424,
              0.87033,
              0.99767,
              1.15068,
              1.33467,
              1.5545
            ],
            [
              0.22882,
              0.7639,
              0.8703,
              0.9977,
              1.1505,
              1.3347,
              1.5547
            ],
            [
              0.2286,
              0.7645,
              0.8703,
              0.9975,
              1.1508,
              1.3343,
              1.5547
            ],
            [
              0.2324,
              0.7638,
              0.8703,
              0.9981,
              1.1509,
              1.3347,
              1.5544
            ],
            [
              0.2538,
              0.7643,
              0.8705,
              0.9979,
              1.1508,
              1.3347,
              1.5544
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.06956,
              0.16409,
              0.18203,
              0.20346,
              0.22902,
              0.25956,
              0.296
            ],
            [
              0.0731,
              0.16761,
              0.18555,
              0.20697,
              0.23253,
              0.26308,
              0.29948
            ],
            [
              0.07735,
              0.17185,
              0.18979,
              0.21119,
              0.23676,
              0.26731,
              0.30371
            ],
            [
              0.08378,
              0.17827,
              0.19622,
              0.21765,
              0.24319,
              0.27376,
              0.31012
            ],
            [
              0.09314,
              0.18757,
              0.20557,
              0.227,
              0.25255,
              0.28309,
              0.31949
            ],
            [
              0.10692,
              0.20124,
              0.21915,
              0.24061,
              0.26616,
              0.29667,
              0.33313
            ],
            [
              0.1275,
              0.22146,
              0.23938,
              0.26079,
              0.28635,
              0.31688,
              0.35329
            ],
            [
              0.15757,
              0.25169,
              0.26959,
              0.29099,
              0.31653,
              0.34705,
              0.38346
            ],
            [
              0.19924,
              0.29708,
              0.31498,
              0.33638,
              0.3619,
              0.3924,
              0.4288
            ],
            [
              0.25629,
              0.36471,
              0.38286,
              0.40424,
              0.42976,
              0.4604,
              0.49688
            ],
            [
              0.33301,
              0.45952,
              0.47992,
              0.50342,
              0.53062,
              0.56212,
              0.59862
            ],
            [
              0.43517,
              0.58937,
              0.61317,
              0.64027,
              0.67117,
              0.70657,
              0.74697
            ],
            [
              0.5707,
              0.7641,
              0.7932,
              0.826,
              0.8629,
              0.9044,
              0.9513
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.42723,
              0.83101,
              0.91069,
              1.00637,
              1.12097,
              1.25857,
              1.42307
            ],
            [
              0.43074,
              0.83504,
              0.91478,
              1.01044,
              1.12514,
              1.26274,
              1.42734
            ],
            [
              0.43504,
              0.83985,
              0.91963,
              1.01532,
              1.13002,
              1.26772,
              1.43232
            ],
            [
              0.44159,
              0.84716,
              0.92702,
              1.02278,
              1.13748,
              1.27517,
              1.43988
            ],
            [
              0.45152,
              0.85813,
              0.93807,
              1.03401,
              1.14881,
              1.28661,
              1.45131
            ],
            [
              0.46721,
              0.87461,
              0.95472,
              1.05072,
              1.16572,
              1.30372,
              1.46862
            ],
            [
              0.49185,
              0.89993,
              0.98013,
              1.07633,
              1.19133,
              1.32963,
              1.49493
            ],
            [
              0.53029,
              0.93826,
              1.01886,
              1.11546,
              1.23066,
              1.36876,
              1.53396
            ],
            [
              0.58947,
              0.99695,
              1.07715,
              1.17335,
              1.28895,
              1.42725,
              1.59235
            ],
            [
              0.67789,
              1.08499,
              1.16499,
              1.26209,
              1.37739,
              1.51549,
              1.68059
            ],
            [
              0.80872,
              1.21582,
              1.29592,
              1.39222,
              1.50752,
              1.64582,
              1.81112
            ],
            [
              1.00087,
              1.40707,
              1.48717,
              1.58327,
              1.69887,
              1.83707,
              2.00237
            ],
            [
              1.2841,
              1.6898,
              1.7705,
              1.8666,
              1.9816,
              2.1198,
              2.2849
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.07114,
              0.18124,
              0.20313,
              0.22947,
              0.26103,
              0.29896,
              0.34442
            ],
            [
              0.07107,
              0.18119,
              0.2031,
              0.22945,
              0.26102,
              0.29897,
              0.34444
            ],
            [
              0.07101,
              0.18117,
              0.20307,
              0.22942,
              0.26095,
              0.2989,
              0.34436
            ],
            [
              0.07095,
              0.18112,
              0.20299,
              0.22939,
              0.26095,
              0.29886,
              0.34436
            ],
            [
              0.07076,
              0.18108,
              0.20299,
              0.22937,
              0.26095,
              0.29885,
              0.34444
            ],
            [
              0.07046,
              0.18106,
              0.203,
              0.22928,
              0.26091,
              0.29884,
              0.34441
            ],
            [
              0.07122,
              0.18085,
              0.20283,
              0.22921,
              0.26089,
              0.29877,
              0.34432
            ],
            [
              0.07445,
              0.18054,
              0.20255,
              0.22898,
              0.26067,
              0.29865,
              0.34427
            ],
            [
              0.08273,
              0.18276,
              0.20393,
              0.22964,
              0.26075,
              0.29842,
              0.34404
            ],
            [
              0.09587,
              0.19114,
              0.21115,
              0.2356,
              0.26537,
              0.30155,
              0.3457
            ],
            [
              0.11582,
              0.21214,
              0.23024,
              0.25272,
              0.28024,
              0.31421,
              0.35591
            ],
            [
              0.1446,
              0.2486,
              0.2671,
              0.2891,
              0.315,
              0.3458,
              0.3839
            ],
            [
              0.1849,
              0.3027,
              0.3226,
              0.3458,
              0.3727,
              0.4043,
              0.4414
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.26026,
              0.77427,
              0.87588,
              0.99816,
              1.14426,
              1.32151,
              1.53116
            ],
            [
              0.26013,
              0.77437,
              0.87597,
              0.99912,
              1.14427,
              1.32148,
              1.5313
            ],
            [
              0.26016,
              0.77434,
              0.87599,
              0.9992,
              1.14431,
              1.31988,
              1.53126
            ],
            [
              0.26016,
              0.77427,
              0.87686,
              0.99913,
              1.14433,
              1.3199,
              1.53121
            ],
            [
              0.26004,
              0.77419,
              0.87689,
              0.99835,
              1.14432,
              1.32176,
              1.53032
            ],
            [
              0.25998,
              0.77429,
              0.8759,
              0.99921,
              1.14432,
              1.32131,
              1.53101
            ],
            [
              0.26003,
              0.77436,
              0.87591,
              0.9979,
              1.14433,
              1.32138,
              1.53107
            ],
            [
              0.26018,
              0.77427,
              0.87691,
              0.99917,
              1.14427,
              1.32154,
              1.53116
            ],
            [
              0.26003,
              0.77433,
              0.87591,
              0.9992,
              1.14515,
              1.3199,
              1.5309
            ],
            [
              0.26019,
              0.7753,
              0.8759,
              0.9984,
              1.1444,
              1.3213,
              1.531
            ],
            [
              0.26,
              0.7752,
              0.8769,
              0.9982,
              1.1443,
              1.3215,
              1.531
            ],
            [
              0.261,
              0.7742,
              0.8771,
              0.9991,
              1.1442,
              1.3214,
              1.5312
            ],
            [
              0.2761,
              0.7744,
              0.8759,
              0.9978,
              1.1443,
              1.3215,
              1.5314
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.08592,
              0.17933,
              0.19716,
              0.2185,
              0.24395,
              0.27445,
              0.31078
            ],
            [
              0.08982,
              0.18323,
              0.20107,
              0.22239,
              0.24786,
              0.27835,
              0.31467
            ],
            [
              0.09439,
              0.18784,
              0.20568,
              0.22701,
              0.25249,
              0.28296,
              0.31933
            ],
            [
              0.10106,
              0.1945,
              0.21233,
              0.23366,
              0.25914,
              0.28959,
              0.32597
            ],
            [
              0.11059,
              0.20401,
              0.22185,
              0.24318,
              0.26865,
              0.29913,
              0.33551
            ],
            [
              0.12433,
              0.21775,
              0.23559,
              0.25694,
              0.28243,
              0.31293,
              0.34926
            ],
            [
              0.14421,
              0.23761,
              0.25546,
              0.2768,
              0.30226,
              0.33273,
              0.36908
            ],
            [
              0.17343,
              0.26659,
              0.28444,
              0.30578,
              0.33127,
              0.36179,
              0.39811
            ],
            [
              0.21451,
              0.30927,
              0.32713,
              0.34848,
              0.37397,
              0.40449,
              0.44084
            ],
            [
              0.27122,
              0.37252,
              0.39041,
              0.41176,
              0.43728,
              0.46783,
              0.50426
            ],
            [
              0.34984,
              0.46232,
              0.48192,
              0.50472,
              0.53122,
              0.56232,
              0.59882
            ],
            [
              0.45807,
              0.58727,
              0.60907,
              0.63437,
              0.66367,
              0.69767,
              0.73717
            ],
            [
              0.6051,
              0.7606,
              0.7856,
              0.8145,
              0.8476,
              0.8859,
              0.9298
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.32511,
              0.63222,
              0.69259,
              0.76502,
              0.85181,
              0.95586,
              1.08037
            ],
            [
              0.32838,
              0.63566,
              0.69605,
              0.76849,
              0.85526,
              0.95937,
              1.08384
            ],
            [
              0.33275,
              0.64024,
              0.7007,
              0.77313,
              0.8599,
              0.964,
              1.08852
            ],
            [
              0.33975,
              0.64745,
              0.70788,
              0.78036,
              0.86718,
              0.97137,
              1.09577
            ],
            [
              0.35053,
              0.65866,
              0.71915,
              0.79163,
              0.87844,
              0.98271,
              1.10721
            ],
            [
              0.36729,
              0.67581,
              0.73632,
              0.80888,
              0.89576,
              1.00002,
              1.12462
            ],
            [
              0.39306,
              0.70182,
              0.76255,
              0.83519,
              0.92213,
              1.02643,
              1.15103
            ],
            [
              0.43188,
              0.74168,
              0.80223,
              0.87486,
              0.96186,
              1.06606,
              1.19066
            ],
            [
              0.4915,
              0.80055,
              0.86125,
              0.93385,
              1.02085,
              1.12505,
              1.24965
            ],
            [
              0.57961,
              0.88829,
              0.94889,
              1.02149,
              1.10859,
              1.21299,
              1.33759
            ],
            [
              0.70892,
              1.01782,
              1.07842,
              1.15112,
              1.23822,
              1.34262,
              1.46742
            ],
            [
              0.90027,
              1.20917,
              1.26967,
              1.34217,
              1.42907,
              1.53327,
              1.65767
            ],
            [
              1.1793,
              1.4935,
              1.5546,
              1.6273,
              1.7129,
              1.8169,
              1.9434
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.05762,
              0.16843,
              0.19026,
              0.2169,
              0.24867,
              0.28673,
              0.33251
            ],
            [
              0.05763,
              0.16865,
              0.19043,
              0.21692,
              0.24872,
              0.28674,
              0.33239
            ],
            [
              0.05761,
              0.16849,
              0.19028,
              0.21691,
              0.24863,
              0.28667,
              0.33242
            ],
            [
              0.05757,
              0.1684,
              0.19043,
              0.21693,
              0.24864,
              0.28669,
              0.33263
            ],
            [
              0.05756,
              0.16854,
              0.19025,
              0.21688,
              0.24868,
              0.2867,
              0.33238
            ],
            [
              0.05745,
              0.1683,
              0.19043,
              0.21686,
              0.24862,
              0.28671,
              0.33241
            ],
            [
              0.05711,
              0.16846,
              0.19039,
              0.21698,
              0.24864,
              0.28663,
              0.33237
            ],
            [
              0.0583,
              0.16812,
              0.19016,
              0.21675,
              0.24844,
              0.28667,
              0.3323
            ],
            [
              0.06276,
              0.16907,
              0.19074,
              0.21674,
              0.24847,
              0.2865,
              0.33228
            ],
            [
              0.06995,
              0.17457,
              0.19536,
              0.22069,
              0.25116,
              0.2883,
              0.33319
            ],
            [
              0.08084,
              0.18889,
              0.20875,
              0.23258,
              0.26176,
              0.29766,
              0.34085
            ],
            [
              0.0983,
              0.2125,
              0.2333,
              0.2577,
              0.2867,
              0.3206,
              0.3613
            ],
            [
              0.1251,
              0.2488,
              0.2703,
              0.2956,
              0.3255,
              0.3607,
              0.4023
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.1952,
              0.57938,
              0.65535,
              0.7469,
              0.85573,
              0.98735,
              1.1445
            ],
            [
              0.19514,
              0.57944,
              0.65533,
              0.74697,
              0.85632,
              0.9874,
              1.14503
            ],
            [
              0.19498,
              0.57951,
              0.65526,
              0.74691,
              0.85656,
              0.98725,
              1.14454
            ],
            [
              0.19526,
              0.57953,
              0.65559,
              0.74708,
              0.85607,
              0.98686,
              1.14448
            ],
            [
              0.19528,
              0.57951,
              0.65535,
              0.74669,
              0.85612,
              0.98686,
              1.14451
            ],
            [
              0.19525,
              0.57947,
              0.65548,
              0.74676,
              0.85595,
              0.98696,
              1.14452
            ],
            [
              0.19499,
              0.57949,
              0.65566,
              0.74717,
              0.85626,
              0.98742,
              1.14402
            ],
            [
              0.19508,
              0.57953,
              0.65597,
              0.74659,
              0.85608,
              0.9868,
              1.14441
            ],
            [
              0.19527,
              0.57998,
              0.65553,
              0.74724,
              0.85628,
              0.98707,
              1.14493
            ],
            [
              0.19519,
              0.57949,
              0.65538,
              0.7469,
              0.856,
              0.9869,
              1.1437
            ],
            [
              0.1953,
              0.5799,
              0.6553,
              0.7472,
              0.8557,
              0.9869,
              1.1437
            ],
            [
              0.201,
              0.5795,
              0.6555,
              0.7467,
              0.8561,
              0.9875,
              1.1435
            ],
            [
              0.2283,
              0.5846,
              0.6578,
              0.7474,
              0.8559,
              0.9868,
              1.1437
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.07398,
              0.16846,
              0.18641,
              0.20782,
              0.23339,
              0.264,
              0.30039
            ],
            [
              0.0779,
              0.17232,
              0.19027,
              0.21168,
              0.23725,
              0.2678,
              0.30426
            ],
            [
              0.0825,
              0.17694,
              0.1949,
              0.21633,
              0.2419,
              0.27241,
              0.30883
            ],
            [
              0.08912,
              0.18357,
              0.2015,
              0.22295,
              0.24851,
              0.27907,
              0.31555
            ],
            [
              0.09864,
              0.19303,
              0.21098,
              0.23242,
              0.25799,
              0.28854,
              0.32493
            ],
            [
              0.1124,
              0.20676,
              0.22468,
              0.24611,
              0.2717,
              0.30225,
              0.33874
            ],
            [
              0.13243,
              0.22658,
              0.24452,
              0.26596,
              0.29154,
              0.32207,
              0.35849
            ],
            [
              0.16147,
              0.25555,
              0.27348,
              0.29489,
              0.32049,
              0.35104,
              0.38742
            ],
            [
              0.20159,
              0.29826,
              0.31619,
              0.3376,
              0.36314,
              0.39368,
              0.43012
            ],
            [
              0.25705,
              0.36143,
              0.37957,
              0.40094,
              0.42646,
              0.45706,
              0.49351
            ],
            [
              0.33366,
              0.45032,
              0.47022,
              0.49332,
              0.52022,
              0.55152,
              0.58822
            ],
            [
              0.43877,
              0.57397,
              0.59617,
              0.62187,
              0.65157,
              0.68597,
              0.72577
            ],
            [
              0.5808,
              0.7452,
              0.7709,
              0.8004,
              0.8341,
              0.8729,
              0.9173
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.40256,
              0.80899,
              0.889,
              0.98501,
              1.09997,
              1.23807,
              1.40297
            ],
            [
              0.40548,
              0.81211,
              0.89213,
              0.98824,
              1.10324,
              1.24124,
              1.40624
            ],
            [
              0.40956,
              0.81647,
              0.8965,
              0.99262,
              1.10762,
              1.24572,
              1.41062
            ],
            [
              0.41623,
              0.82342,
              0.90351,
              0.99957,
              1.11468,
              1.25278,
              1.41778
            ],
            [
              0.42661,
              0.83439,
              0.91447,
              1.01061,
              1.12571,
              1.26391,
              1.42901
            ],
            [
              0.44296,
              0.85128,
              0.93142,
              1.02762,
              1.14272,
              1.28102,
              1.44622
            ],
            [
              0.46834,
              0.87698,
              0.95743,
              1.05373,
              1.16893,
              1.30713,
              1.47233
            ],
            [
              0.50667,
              0.91656,
              0.99676,
              1.09306,
              1.20836,
              1.34656,
              1.51176
            ],
            [
              0.56574,
              0.97475,
              1.05505,
              1.15145,
              1.26675,
              1.40505,
              1.57015
            ],
            [
              0.65269,
              1.06129,
              1.14149,
              1.23779,
              1.35319,
              1.49159,
              1.65689
            ],
            [
              0.77892,
              1.18772,
              1.26812,
              1.36442,
              1.47992,
              1.61832,
              1.78372
            ],
            [
              0.96357,
              1.37237,
              1.45247,
              1.54867,
              1.66387,
              1.80207,
              1.96697
            ],
            [
              1.2344,
              1.6441,
              1.7249,
              1.8213,
              1.9349,
              2.0727,
              2.2405
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.05384,
              0.16555,
              0.18759,
              0.21391,
              0.24571,
              0.28368,
              0.32929
            ],
            [
              0.05375,
              0.16557,
              0.18756,
              0.21393,
              0.24568,
              0.28366,
              0.32943
            ],
            [
              0.0537,
              0.16543,
              0.1875,
              0.21397,
              0.24568,
              0.28374,
              0.32937
            ],
            [
              0.05366,
              0.16548,
              0.18748,
              0.21396,
              0.24569,
              0.28381,
              0.32926
            ],
            [
              0.05358,
              0.16535,
              0.18736,
              0.21381,
              0.24553,
              0.2838,
              0.3291
            ],
            [
              0.05342,
              0.16535,
              0.1873,
              0.21388,
              0.24562,
              0.2838,
              0.32925
            ],
            [
              0.05365,
              0.16532,
              0.18729,
              0.21384,
              0.24541,
              0.2835,
              0.32906
            ],
            [
              0.05589,
              0.16495,
              0.18702,
              0.21349,
              0.24534,
              0.28363,
              0.32906
            ],
            [
              0.06135,
              0.16651,
              0.18806,
              0.21402,
              0.2453,
              0.28325,
              0.3291
            ],
            [
              0.06934,
              0.17274,
              0.19353,
              0.21859,
              0.24896,
              0.2857,
              0.33038
            ],
            [
              0.08161,
              0.18825,
              0.20795,
              0.23138,
              0.26037,
              0.29578,
              0.33863
            ],
            [
              0.1007,
              0.2128,
              0.2333,
              0.2575,
              0.2862,
              0.3199,
              0.3602
            ],
            [
              0.1295,
              0.2503,
              0.2716,
              0.2965,
              0.3261,
              0.3609,
              0.4021
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.25373,
              0.7701,
              0.87308,
              0.99463,
              1.14178,
              1.31956,
              1.52981
            ],
            [
              0.25377,
              0.77013,
              0.87199,
              0.99572,
              1.14226,
              1.31855,
              1.52929
            ],
            [
              0.25377,
              0.7707,
              0.87205,
              0.99469,
              1.14234,
              1.31816,
              1.52952
            ],
            [
              0.25378,
              0.77005,
              0.87202,
              0.99471,
              1.14241,
              1.31866,
              1.52946
            ],
            [
              0.25377,
              0.76989,
              0.87213,
              0.99467,
              1.14168,
              1.31856,
              1.5295
            ],
            [
              0.2537,
              0.76991,
              0.87264,
              0.99467,
              1.14258,
              1.31851,
              1.52927
            ],
            [
              0.25369,
              0.77016,
              0.87269,
              0.99473,
              1.14168,
              1.31842,
              1.52957
            ],
            [
              0.2537,
              0.77012,
              0.87216,
              0.99583,
              1.14231,
              1.31858,
              1.52958
            ],
            [
              0.25361,
              0.76985,
              0.87228,
              0.99459,
              1.14176,
              1.31799,
              1.5297
            ],
            [
              0.25359,
              0.7697,
              0.8721,
              0.9959,
              1.1417,
              1.3182,
              1.5292
            ],
            [
              0.2538,
              0.7701,
              0.8721,
              0.9947,
              1.1426,
              1.3182,
              1.5294
            ],
            [
              0.2562,
              0.7708,
              0.8719,
              0.9947,
              1.1417,
              1.3189,
              1.5289
            ],
            [
              0.2755,
              0.7709,
              0.8724,
              0.9959,
              1.1426,
              1.3188,
              1.5294
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.07496,
              0.16944,
              0.18739,
              0.20881,
              0.23437,
              0.26492,
              0.30133
            ],
            [
              0.07888,
              0.17331,
              0.19125,
              0.21267,
              0.23823,
              0.26878,
              0.30518
            ],
            [
              0.08347,
              0.17794,
              0.19587,
              0.21731,
              0.24286,
              0.27343,
              0.30981
            ],
            [
              0.09009,
              0.18454,
              0.2025,
              0.22392,
              0.24948,
              0.28002,
              0.31639
            ],
            [
              0.09961,
              0.19403,
              0.21197,
              0.2334,
              0.25895,
              0.28949,
              0.32588
            ],
            [
              0.11335,
              0.20775,
              0.22567,
              0.24711,
              0.27266,
              0.3032,
              0.33963
            ],
            [
              0.13338,
              0.22757,
              0.24551,
              0.26695,
              0.29251,
              0.32305,
              0.35948
            ],
            [
              0.16247,
              0.25654,
              0.27447,
              0.29588,
              0.32145,
              0.35202,
              0.38842
            ],
            [
              0.20268,
              0.29925,
              0.31716,
              0.33858,
              0.36413,
              0.39468,
              0.43109
            ],
            [
              0.25827,
              0.36244,
              0.38055,
              0.40193,
              0.42745,
              0.45805,
              0.49451
            ],
            [
              0.33508,
              0.45142,
              0.47122,
              0.49432,
              0.52122,
              0.55252,
              0.58922
            ],
            [
              0.44047,
              0.57517,
              0.59737,
              0.62297,
              0.65267,
              0.68707,
              0.72687
            ],
            [
              0.5832,
              0.7466,
              0.7723,
              0.8017,
              0.8354,
              0.8741,
              0.9184
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.45973,
              0.84926,
              0.92573,
              1.01747,
              1.12747,
              1.25927,
              1.41687
            ],
            [
              0.46272,
              0.85244,
              0.92899,
              1.02074,
              1.13074,
              1.26254,
              1.42014
            ],
            [
              0.467,
              0.85689,
              0.93344,
              1.02522,
              1.13522,
              1.26702,
              1.42472
            ],
            [
              0.47389,
              0.86389,
              0.94047,
              1.03238,
              1.14227,
              1.27418,
              1.43178
            ],
            [
              0.4846,
              0.87497,
              0.95151,
              1.04341,
              1.15351,
              1.28541,
              1.44301
            ],
            [
              0.50116,
              0.89199,
              0.96862,
              1.06052,
              1.17072,
              1.30262,
              1.46032
            ],
            [
              0.52664,
              0.91803,
              0.99473,
              1.08673,
              1.19683,
              1.32883,
              1.48653
            ],
            [
              0.566,
              0.95746,
              1.03416,
              1.12616,
              1.23626,
              1.36826,
              1.52606
            ],
            [
              0.62437,
              1.01595,
              1.09265,
              1.18465,
              1.29475,
              1.42675,
              1.58465
            ],
            [
              0.71149,
              1.10249,
              1.17929,
              1.27129,
              1.38149,
              1.51369,
              1.67149
            ],
            [
              0.83782,
              1.22942,
              1.30622,
              1.39842,
              1.50862,
              1.64082,
              1.79872
            ],
            [
              1.02317,
              1.41467,
              1.49127,
              1.58317,
              1.69327,
              1.82497,
              1.98267
            ],
            [
              1.2972,
              1.6887,
              1.7655,
              1.8559,
              1.9657,
              2.1,
              2.2579
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.07097,
              0.18127,
              0.20305,
              0.22943,
              0.26102,
              0.2989,
              0.34441
            ],
            [
              0.07092,
              0.18113,
              0.20301,
              0.2294,
              0.26093,
              0.29888,
              0.34439
            ],
            [
              0.07087,
              0.18116,
              0.20311,
              0.22936,
              0.26095,
              0.29884,
              0.34448
            ],
            [
              0.07082,
              0.18105,
              0.20299,
              0.22933,
              0.26092,
              0.29879,
              0.34431
            ],
            [
              0.07075,
              0.18111,
              0.20297,
              0.22935,
              0.26092,
              0.29882,
              0.34441
            ],
            [
              0.07056,
              0.18099,
              0.20301,
              0.2293,
              0.2609,
              0.29879,
              0.34438
            ],
            [
              0.07068,
              0.18097,
              0.20289,
              0.22928,
              0.26085,
              0.29885,
              0.3443
            ],
            [
              0.07272,
              0.18072,
              0.20264,
              0.22911,
              0.26071,
              0.29873,
              0.34427
            ],
            [
              0.07848,
              0.1821,
              0.20352,
              0.22944,
              0.26074,
              0.29869,
              0.34419
            ],
            [
              0.08803,
              0.18846,
              0.20898,
              0.23402,
              0.26424,
              0.30098,
              0.34552
            ],
            [
              0.10223,
              0.20387,
              0.22329,
              0.24695,
              0.27584,
              0.31098,
              0.35383
            ],
            [
              0.1241,
              0.2298,
              0.2499,
              0.2736,
              0.3016,
              0.3351,
              0.3754
            ],
            [
              0.157,
              0.2692,
              0.2898,
              0.3143,
              0.343,
              0.3773,
              0.4177
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.28153,
              0.77686,
              0.87439,
              0.99167,
              1.1319,
              1.30216,
              1.50328
            ],
            [
              0.28132,
              0.77709,
              0.8744,
              0.99158,
              1.13179,
              1.30016,
              1.50347
            ],
            [
              0.2814,
              0.7771,
              0.87444,
              0.99173,
              1.13205,
              1.3002,
              1.50316
            ],
            [
              0.28139,
              0.77666,
              0.87426,
              0.9913,
              1.13328,
              1.30021,
              1.50386
            ],
            [
              0.28122,
              0.77671,
              0.87477,
              0.99129,
              1.13157,
              1.30153,
              1.50301
            ],
            [
              0.28129,
              0.77686,
              0.87436,
              0.99153,
              1.13347,
              1.30187,
              1.50387
            ],
            [
              0.28137,
              0.77685,
              0.87436,
              0.99294,
              1.1333,
              1.30021,
              1.50377
            ],
            [
              0.28139,
              0.77714,
              0.87432,
              0.99148,
              1.13171,
              1.30017,
              1.5036
            ],
            [
              0.2813,
              0.77688,
              0.87425,
              0.99291,
              1.13202,
              1.3003,
              1.5039
            ],
            [
              0.28122,
              0.7766,
              0.8748,
              0.9917,
              1.1319,
              1.3003,
              1.5015
            ],
            [
              0.2816,
              0.7771,
              0.8743,
              0.9913,
              1.1334,
              1.3,
              1.5035
            ],
            [
              0.282,
              0.7766,
              0.8754,
              0.9926,
              1.1333,
              1.3014,
              1.5031
            ],
            [
              0.2958,
              0.7768,
              0.8743,
              0.9926,
              1.1313,
              1.3016,
              1.5032
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.03663,
              0.09565,
              0.10728,
              0.1214,
              0.13824,
              0.15837,
              0.18271
            ],
            [
              0.03997,
              0.09914,
              0.11083,
              0.12489,
              0.14168,
              0.16202,
              0.18622
            ],
            [
              0.04401,
              0.10336,
              0.11507,
              0.12913,
              0.14598,
              0.16609,
              0.19045
            ],
            [
              0.05009,
              0.1097,
              0.12133,
              0.13543,
              0.15232,
              0.1725,
              0.19684
            ],
            [
              0.05942,
              0.11917,
              0.13082,
              0.14498,
              0.16186,
              0.18204,
              0.20622
            ],
            [
              0.07351,
              0.13339,
              0.14518,
              0.15926,
              0.17603,
              0.19631,
              0.22063
            ],
            [
              0.09256,
              0.1548,
              0.16659,
              0.18062,
              0.19749,
              0.21795,
              0.24203
            ],
            [
              0.11722,
              0.18733,
              0.19913,
              0.21315,
              0.23007,
              0.25018,
              0.27416
            ],
            [
              0.14935,
              0.23569,
              0.24787,
              0.26176,
              0.27873,
              0.29906,
              0.3231
            ],
            [
              0.19145,
              0.30035,
              0.31581,
              0.33256,
              0.35133,
              0.37219,
              0.39611
            ],
            [
              0.2464,
              0.38514,
              0.40407,
              0.42523,
              0.44902,
              0.47492,
              0.50332
            ],
            [
              0.31807,
              0.49617,
              0.51987,
              0.54647,
              0.57617,
              0.60917,
              0.64487
            ],
            [
              0.411,
              0.6416,
              0.6721,
              0.706,
              0.7437,
              0.7845,
              0.8301
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.14047,
              0.40384,
              0.45548,
              0.51704,
              0.59134,
              0.68022,
              0.78638
            ],
            [
              0.14154,
              0.40693,
              0.45877,
              0.5208,
              0.59501,
              0.68383,
              0.79048
            ],
            [
              0.14378,
              0.41086,
              0.4625,
              0.52437,
              0.59934,
              0.68779,
              0.79477
            ],
            [
              0.14869,
              0.41707,
              0.46853,
              0.5306,
              0.6055,
              0.69495,
              0.80151
            ],
            [
              0.15762,
              0.42598,
              0.47855,
              0.54059,
              0.61524,
              0.70407,
              0.81172
            ],
            [
              0.17267,
              0.44062,
              0.49272,
              0.55522,
              0.63047,
              0.72043,
              0.8275
            ],
            [
              0.19711,
              0.46309,
              0.51573,
              0.57858,
              0.65328,
              0.74297,
              0.8508
            ],
            [
              0.23536,
              0.50028,
              0.55275,
              0.61497,
              0.68929,
              0.78043,
              0.88636
            ],
            [
              0.29379,
              0.55717,
              0.60895,
              0.67156,
              0.74493,
              0.83595,
              0.94365
            ],
            [
              0.38271,
              0.64319,
              0.69539,
              0.75749,
              0.83159,
              0.92159,
              1.02909
            ],
            [
              0.51122,
              0.77572,
              0.82702,
              0.88952,
              0.96332,
              1.05202,
              1.16002
            ],
            [
              0.68697,
              0.97577,
              1.02717,
              1.08867,
              1.16277,
              1.25197,
              1.35877
            ],
            [
              0.9286,
              1.2775,
              1.3285,
              1.3898,
              1.4637,
              1.5521,
              1.6583
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.02638,
              0.10196,
              0.11725,
              0.13543,
              0.15686,
              0.18303,
              0.21458
            ],
            [
              0.02641,
              0.10217,
              0.11702,
              0.13513,
              0.15691,
              0.18324,
              0.21426
            ],
            [
              0.02639,
              0.10205,
              0.1173,
              0.13533,
              0.15687,
              0.18303,
              0.21431
            ],
            [
              0.0264,
              0.1021,
              0.11703,
              0.13519,
              0.15703,
              0.18303,
              0.2143
            ],
            [
              0.02647,
              0.10196,
              0.11705,
              0.1352,
              0.15694,
              0.18302,
              0.21431
            ],
            [
              0.02899,
              0.10214,
              0.11712,
              0.13514,
              0.15689,
              0.18302,
              0.21432
            ],
            [
              0.03546,
              0.10225,
              0.11718,
              0.13516,
              0.15699,
              0.18301,
              0.21428
            ],
            [
              0.04433,
              0.10609,
              0.11978,
              0.13675,
              0.15757,
              0.183,
              0.21468
            ],
            [
              0.05689,
              0.11773,
              0.12986,
              0.14515,
              0.16406,
              0.18762,
              0.21687
            ],
            [
              0.07431,
              0.14293,
              0.15304,
              0.1658,
              0.18229,
              0.20337,
              0.22957
            ],
            [
              0.09871,
              0.17955,
              0.19168,
              0.20537,
              0.2206,
              0.23833,
              0.26062
            ],
            [
              0.1326,
              0.2291,
              0.244,
              0.2599,
              0.2776,
              0.2973,
              0.3204
            ],
            [
              0.1808,
              0.297,
              0.314,
              0.333,
              0.3543,
              0.3781,
              0.4041
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.11211,
              0.44724,
              0.51486,
              0.59357,
              0.69167,
              0.80771,
              0.94588
            ],
            [
              0.11204,
              0.44766,
              0.51468,
              0.59333,
              0.69174,
              0.80762,
              0.94641
            ],
            [
              0.11209,
              0.44764,
              0.5143,
              0.59489,
              0.69165,
              0.80567,
              0.9459
            ],
            [
              0.11199,
              0.44733,
              0.51457,
              0.59491,
              0.69162,
              0.80764,
              0.94618
            ],
            [
              0.11205,
              0.44677,
              0.51323,
              0.59322,
              0.68968,
              0.80727,
              0.94665
            ],
            [
              0.11195,
              0.44737,
              0.5143,
              0.59495,
              0.69164,
              0.80772,
              0.94662
            ],
            [
              0.11188,
              0.44611,
              0.51313,
              0.59345,
              0.69083,
              0.80739,
              0.94653
            ],
            [
              0.11182,
              0.44778,
              0.51404,
              0.59484,
              0.69157,
              0.80798,
              0.94393
            ],
            [
              0.11194,
              0.44674,
              0.51286,
              0.59506,
              0.69086,
              0.80736,
              0.94647
            ],
            [
              0.12136,
              0.44773,
              0.51398,
              0.59455,
              0.69042,
              0.80629,
              0.94362
            ],
            [
              0.14696,
              0.4474,
              0.5139,
              0.5943,
              0.6902,
              0.8078,
              0.946
            ],
            [
              0.1921,
              0.4562,
              0.5187,
              0.5956,
              0.6911,
              0.8072,
              0.9458
            ],
            [
              0.2527,
              0.4962,
              0.5505,
              0.6199,
              0.706,
              0.8144,
              0.9473
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.03664,
              0.0956,
              0.10736,
              0.12141,
              0.13814,
              0.15849,
              0.18266
            ],
            [
              0.04,
              0.09916,
              0.11076,
              0.1249,
              0.14175,
              0.16192,
              0.18621
            ],
            [
              0.04404,
              0.10336,
              0.1151,
              0.12916,
              0.14592,
              0.16621,
              0.19049
            ],
            [
              0.05013,
              0.10967,
              0.12141,
              0.13548,
              0.15235,
              0.1725,
              0.1967
            ],
            [
              0.05943,
              0.1192,
              0.13091,
              0.14503,
              0.16178,
              0.18205,
              0.20643
            ],
            [
              0.07359,
              0.13347,
              0.14527,
              0.15935,
              0.17614,
              0.19643,
              0.22075
            ],
            [
              0.09265,
              0.15493,
              0.16675,
              0.18077,
              0.19771,
              0.21796,
              0.24205
            ],
            [
              0.11734,
              0.18727,
              0.19904,
              0.21309,
              0.22995,
              0.25039,
              0.27459
            ],
            [
              0.1495,
              0.23556,
              0.24797,
              0.26204,
              0.27889,
              0.29907,
              0.32331
            ],
            [
              0.19153,
              0.30052,
              0.3159,
              0.33282,
              0.35155,
              0.37254,
              0.39661
            ],
            [
              0.24654,
              0.38536,
              0.40427,
              0.42544,
              0.44922,
              0.47512,
              0.50382
            ],
            [
              0.31817,
              0.49637,
              0.52037,
              0.54707,
              0.57687,
              0.60947,
              0.64497
            ],
            [
              0.4111,
              0.6419,
              0.6725,
              0.7063,
              0.7437,
              0.7852,
              0.8303
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.1596,
              0.46428,
              0.52356,
              0.59535,
              0.68116,
              0.78374,
              0.90631
            ],
            [
              0.16004,
              0.46728,
              0.52718,
              0.59864,
              0.68431,
              0.7876,
              0.91079
            ],
            [
              0.16165,
              0.47125,
              0.53047,
              0.60247,
              0.68864,
              0.79172,
              0.91503
            ],
            [
              0.16586,
              0.4763,
              0.53609,
              0.60816,
              0.69461,
              0.79744,
              0.92119
            ],
            [
              0.17417,
              0.4852,
              0.54566,
              0.61716,
              0.70338,
              0.80704,
              0.93111
            ],
            [
              0.18838,
              0.49887,
              0.55915,
              0.63164,
              0.71866,
              0.82254,
              0.94622
            ],
            [
              0.21204,
              0.52052,
              0.58138,
              0.65408,
              0.74071,
              0.84453,
              0.96923
            ],
            [
              0.24949,
              0.55576,
              0.61624,
              0.68896,
              0.77549,
              0.87976,
              1.00436
            ],
            [
              0.30699,
              0.61143,
              0.67203,
              0.74459,
              0.83035,
              0.93395,
              1.05915
            ],
            [
              0.39462,
              0.69649,
              0.75649,
              0.82879,
              0.91469,
              1.01709,
              1.14279
            ],
            [
              0.52442,
              0.82702,
              0.88572,
              0.95852,
              1.04412,
              1.14632,
              1.27102
            ],
            [
              0.70207,
              1.02387,
              1.08377,
              1.15447,
              1.24077,
              1.34357,
              1.46657
            ],
            [
              0.9459,
              1.3215,
              1.3806,
              1.4518,
              1.5367,
              1.6396,
              1.762
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.02637,
              0.10197,
              0.11728,
              0.13516,
              0.15691,
              0.18317,
              0.21431
            ],
            [
              0.02639,
              0.10214,
              0.11724,
              0.13542,
              0.1569,
              0.18304,
              0.2145
            ],
            [
              0.02639,
              0.10196,
              0.11729,
              0.13525,
              0.1569,
              0.18338,
              0.21437
            ],
            [
              0.02639,
              0.10195,
              0.1173,
              0.13545,
              0.15687,
              0.18303,
              0.21429
            ],
            [
              0.02648,
              0.10197,
              0.11705,
              0.13535,
              0.15691,
              0.18303,
              0.21434
            ],
            [
              0.02895,
              0.10214,
              0.11712,
              0.13513,
              0.15689,
              0.18302,
              0.21441
            ],
            [
              0.03539,
              0.10222,
              0.11718,
              0.13538,
              0.15701,
              0.183,
              0.21428
            ],
            [
              0.04421,
              0.1061,
              0.1198,
              0.13675,
              0.15759,
              0.18299,
              0.21445
            ],
            [
              0.05675,
              0.1178,
              0.12981,
              0.14498,
              0.16401,
              0.18762,
              0.21653
            ],
            [
              0.07422,
              0.14273,
              0.15297,
              0.16559,
              0.18213,
              0.20314,
              0.22937
            ],
            [
              0.09847,
              0.17928,
              0.19154,
              0.20512,
              0.22044,
              0.23828,
              0.26029
            ],
            [
              0.1325,
              0.2293,
              0.2433,
              0.2593,
              0.277,
              0.2972,
              0.3203
            ],
            [
              0.1807,
              0.297,
              0.3138,
              0.3327,
              0.3542,
              0.3773,
              0.4039
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.12912,
              0.51451,
              0.59139,
              0.68403,
              0.79506,
              0.92872,
              1.08709
            ],
            [
              0.12935,
              0.51451,
              0.5918,
              0.68371,
              0.79548,
              0.92907,
              1.08854
            ],
            [
              0.12934,
              0.51438,
              0.59134,
              0.68394,
              0.79373,
              0.92893,
              1.08859
            ],
            [
              0.1293,
              0.51407,
              0.5913,
              0.6838,
              0.79489,
              0.92826,
              1.08619
            ],
            [
              0.1293,
              0.51436,
              0.59093,
              0.68381,
              0.79515,
              0.92839,
              1.08857
            ],
            [
              0.12915,
              0.51435,
              0.59126,
              0.68384,
              0.7949,
              0.92833,
              1.08805
            ],
            [
              0.12927,
              0.51398,
              0.59092,
              0.68398,
              0.7944,
              0.92821,
              1.08858
            ],
            [
              0.12874,
              0.51513,
              0.59104,
              0.68339,
              0.79451,
              0.92809,
              1.08608
            ],
            [
              0.12801,
              0.51447,
              0.59126,
              0.68443,
              0.79507,
              0.92801,
              1.08796
            ],
            [
              0.13492,
              0.51493,
              0.59187,
              0.68325,
              0.79393,
              0.92773,
              1.0871
            ],
            [
              0.15744,
              0.5143,
              0.5908,
              0.6832,
              0.7952,
              0.9277,
              1.0878
            ],
            [
              0.2026,
              0.5188,
              0.5922,
              0.6836,
              0.7946,
              0.9282,
              1.088
            ],
            [
              0.2649,
              0.5512,
              0.6173,
              0.6996,
              0.8028,
              0.9305,
              1.0871
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.03664,
              0.0956,
              0.10737,
              0.12141,
              0.13813,
              0.15847,
              0.18267
            ],
            [
              0.03998,
              0.09916,
              0.1108,
              0.1249,
              0.14174,
              0.16202,
              0.18607
            ],
            [
              0.04403,
              0.10337,
              0.11511,
              0.12915,
              0.14589,
              0.16622,
              0.19048
            ],
            [
              0.05013,
              0.10971,
              0.12144,
              0.13548,
              0.15235,
              0.17258,
              0.19684
            ],
            [
              0.05942,
              0.11919,
              0.1309,
              0.14502,
              0.16189,
              0.18208,
              0.20638
            ],
            [
              0.07359,
              0.13346,
              0.14526,
              0.15934,
              0.17614,
              0.19642,
              0.22074
            ],
            [
              0.09263,
              0.15492,
              0.16669,
              0.18074,
              0.19769,
              0.21792,
              0.24201
            ],
            [
              0.11732,
              0.18728,
              0.19898,
              0.213,
              0.22988,
              0.25037,
              0.2745
            ],
            [
              0.14948,
              0.23572,
              0.24799,
              0.26203,
              0.27886,
              0.29898,
              0.32328
            ],
            [
              0.19148,
              0.30044,
              0.31573,
              0.33282,
              0.35152,
              0.3725,
              0.39656
            ],
            [
              0.24651,
              0.38533,
              0.40421,
              0.42539,
              0.44902,
              0.47512,
              0.50372
            ],
            [
              0.31817,
              0.49627,
              0.52037,
              0.54697,
              0.57677,
              0.60937,
              0.64497
            ],
            [
              0.4111,
              0.6419,
              0.6723,
              0.7062,
              0.7437,
              0.7852,
              0.8303
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.15576,
              0.45181,
              0.50957,
              0.57881,
              0.66222,
              0.76221,
              0.88166
            ],
            [
              0.1563,
              0.45496,
              0.51274,
              0.58251,
              0.66574,
              0.76541,
              0.8853
            ],
            [
              0.15806,
              0.45857,
              0.51641,
              0.58607,
              0.66989,
              0.7701,
              0.8894
            ],
            [
              0.16239,
              0.46421,
              0.52211,
              0.59184,
              0.67568,
              0.77639,
              0.89628
            ],
            [
              0.17084,
              0.47277,
              0.53135,
              0.6014,
              0.68538,
              0.78591,
              0.90505
            ],
            [
              0.18536,
              0.48674,
              0.54538,
              0.61552,
              0.7001,
              0.80118,
              0.92143
            ],
            [
              0.20916,
              0.5089,
              0.56765,
              0.63807,
              0.72262,
              0.82389,
              0.94373
            ],
            [
              0.24671,
              0.54395,
              0.60274,
              0.67346,
              0.75745,
              0.85956,
              0.97966
            ],
            [
              0.30438,
              0.60001,
              0.65906,
              0.72893,
              0.81245,
              0.91345,
              1.03455
            ],
            [
              0.39227,
              0.68569,
              0.74369,
              0.81369,
              0.89739,
              0.99649,
              1.11859
            ],
            [
              0.52182,
              0.81632,
              0.87372,
              0.94382,
              1.02762,
              1.12662,
              1.24762
            ],
            [
              0.69917,
              1.01357,
              1.07207,
              1.14077,
              1.22447,
              1.32447,
              1.44347
            ],
            [
              0.9425,
              1.3122,
              1.3698,
              1.4388,
              1.5216,
              1.6217,
              1.7403
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.02637,
              0.10197,
              0.11728,
              0.13514,
              0.15691,
              0.18336,
              0.2143
            ],
            [
              0.02641,
              0.10214,
              0.11704,
              0.13522,
              0.1572,
              0.18299,
              0.21429
            ],
            [
              0.02638,
              0.10197,
              0.11716,
              0.13516,
              0.15691,
              0.18338,
              0.21427
            ],
            [
              0.02639,
              0.10221,
              0.11718,
              0.13545,
              0.1569,
              0.1834,
              0.21457
            ],
            [
              0.02648,
              0.10197,
              0.11705,
              0.13534,
              0.15697,
              0.18302,
              0.21429
            ],
            [
              0.02895,
              0.10214,
              0.11712,
              0.13514,
              0.1569,
              0.18302,
              0.21449
            ],
            [
              0.0354,
              0.10223,
              0.11718,
              0.13537,
              0.15699,
              0.183,
              0.21428
            ],
            [
              0.04423,
              0.10606,
              0.11982,
              0.13677,
              0.1576,
              0.18299,
              0.21468
            ],
            [
              0.05678,
              0.11771,
              0.1298,
              0.14499,
              0.16403,
              0.18767,
              0.21654
            ],
            [
              0.07426,
              0.14284,
              0.15309,
              0.1656,
              0.18215,
              0.20317,
              0.2294
            ],
            [
              0.09848,
              0.17934,
              0.19155,
              0.2052,
              0.22058,
              0.2383,
              0.26033
            ],
            [
              0.1325,
              0.2289,
              0.2434,
              0.2594,
              0.2771,
              0.2972,
              0.3203
            ],
            [
              0.1807,
              0.2967,
              0.3138,
              0.3327,
              0.3542,
              0.3773,
              0.404
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.12568,
              0.50035,
              0.57504,
              0.66544,
              0.77355,
              0.90147,
              1.0583
            ],
            [
              0.12561,
              0.50056,
              0.57528,
              0.66434,
              0.77112,
              0.90202,
              1.05801
            ],
            [
              0.12554,
              0.50047,
              0.57527,
              0.66548,
              0.7737,
              0.90031,
              1.05789
            ],
            [
              0.12564,
              0.50041,
              0.57517,
              0.66542,
              0.77331,
              0.90345,
              1.05846
            ],
            [
              0.12563,
              0.5003,
              0.57519,
              0.66444,
              0.77207,
              0.90032,
              1.05729
            ],
            [
              0.12556,
              0.5004,
              0.57525,
              0.66535,
              0.77348,
              0.90344,
              1.05843
            ],
            [
              0.12551,
              0.50029,
              0.57493,
              0.6642,
              0.77205,
              0.90153,
              1.05714
            ],
            [
              0.12528,
              0.50089,
              0.5755,
              0.66495,
              0.77311,
              0.90322,
              1.05882
            ],
            [
              0.1246,
              0.50012,
              0.57482,
              0.6641,
              0.77203,
              0.90228,
              1.05746
            ],
            [
              0.13191,
              0.5001,
              0.57556,
              0.66538,
              0.77317,
              0.90267,
              1.05784
            ],
            [
              0.15506,
              0.5003,
              0.5752,
              0.6643,
              0.7722,
              0.9022,
              1.0579
            ],
            [
              0.2003,
              0.5055,
              0.5762,
              0.6637,
              0.7721,
              0.9025,
              1.058
            ],
            [
              0.2622,
              0.5396,
              0.6032,
              0.6822,
              0.7822,
              0.9055,
              1.0575
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.03663,
              0.09569,
              0.10733,
              0.12141,
              0.13817,
              0.15851,
              0.18259
            ],
            [
              0.04004,
              0.09923,
              0.1108,
              0.1249,
              0.14167,
              0.16201,
              0.18613
            ],
            [
              0.04406,
              0.10339,
              0.11514,
              0.12911,
              0.14599,
              0.16615,
              0.1905
            ],
            [
              0.05019,
              0.10973,
              0.12145,
              0.13559,
              0.15243,
              0.17264,
              0.19684
            ],
            [
              0.05952,
              0.11926,
              0.13101,
              0.14509,
              0.16191,
              0.18224,
              0.20651
            ],
            [
              0.07375,
              0.1336,
              0.14536,
              0.15941,
              0.17623,
              0.19662,
              0.22083
            ],
            [
              0.09284,
              0.15516,
              0.16696,
              0.18091,
              0.19785,
              0.21816,
              0.24226
            ],
            [
              0.11758,
              0.18762,
              0.19939,
              0.21338,
              0.23031,
              0.25044,
              0.27467
            ],
            [
              0.14988,
              0.23599,
              0.24824,
              0.26214,
              0.27894,
              0.2991,
              0.32311
            ],
            [
              0.19201,
              0.30074,
              0.31608,
              0.3331,
              0.35163,
              0.37275,
              0.39689
            ],
            [
              0.24695,
              0.38572,
              0.40498,
              0.42611,
              0.44942,
              0.47532,
              0.50362
            ],
            [
              0.31857,
              0.49697,
              0.52097,
              0.54767,
              0.57697,
              0.60927,
              0.64537
            ],
            [
              0.4115,
              0.6428,
              0.6732,
              0.7069,
              0.7444,
              0.7854,
              0.8307
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.20967,
              0.62847,
              0.71047,
              0.80848,
              0.92624,
              1.06757,
              1.23607
            ],
            [
              0.2086,
              0.63086,
              0.71303,
              0.81143,
              0.92881,
              1.07104,
              1.23984
            ],
            [
              0.20874,
              0.63388,
              0.71611,
              0.81427,
              0.93209,
              1.07462,
              1.24322
            ],
            [
              0.21104,
              0.63846,
              0.72055,
              0.81939,
              0.93766,
              1.07998,
              1.24918
            ],
            [
              0.2173,
              0.64528,
              0.72832,
              0.82717,
              0.94589,
              1.08761,
              1.25771
            ],
            [
              0.22973,
              0.65716,
              0.74043,
              0.83984,
              0.95872,
              1.10192,
              1.27202
            ],
            [
              0.25147,
              0.67647,
              0.76015,
              0.85963,
              0.97953,
              1.12263,
              1.29323
            ],
            [
              0.28713,
              0.70915,
              0.79255,
              0.89266,
              1.01216,
              1.15466,
              1.32606
            ],
            [
              0.34223,
              0.76095,
              0.84415,
              0.94415,
              1.06335,
              1.20635,
              1.37755
            ],
            [
              0.42688,
              0.84309,
              0.92509,
              1.02479,
              1.14309,
              1.28619,
              1.45579
            ],
            [
              0.55672,
              0.96822,
              1.05012,
              1.14882,
              1.26792,
              1.40932,
              1.58052
            ],
            [
              0.73977,
              1.15877,
              1.23977,
              1.33957,
              1.45717,
              1.59777,
              1.76937
            ],
            [
              0.9893,
              1.4473,
              1.5283,
              1.6266,
              1.7447,
              1.8846,
              2.0547
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.02637,
              0.10193,
              0.11724,
              0.13518,
              0.15689,
              0.18311,
              0.2143
            ],
            [
              0.02637,
              0.10214,
              0.1172,
              0.13537,
              0.15689,
              0.18325,
              0.21433
            ],
            [
              0.02638,
              0.10214,
              0.11721,
              0.13538,
              0.15687,
              0.183,
              0.21448
            ],
            [
              0.02638,
              0.10217,
              0.11726,
              0.13543,
              0.15691,
              0.18315,
              0.2143
            ],
            [
              0.02643,
              0.10196,
              0.11714,
              0.13528,
              0.15691,
              0.18338,
              0.21434
            ],
            [
              0.02887,
              0.10214,
              0.11709,
              0.13514,
              0.15689,
              0.18303,
              0.2143
            ],
            [
              0.03526,
              0.1022,
              0.11717,
              0.13538,
              0.15719,
              0.18301,
              0.21428
            ],
            [
              0.04403,
              0.10596,
              0.11971,
              0.13669,
              0.15732,
              0.18299,
              0.21447
            ],
            [
              0.05646,
              0.11752,
              0.12966,
              0.14497,
              0.16396,
              0.18764,
              0.21654
            ],
            [
              0.07381,
              0.1426,
              0.15277,
              0.16546,
              0.18203,
              0.203,
              0.22919
            ],
            [
              0.09808,
              0.17895,
              0.1908,
              0.20458,
              0.22031,
              0.23802,
              0.26035
            ],
            [
              0.1321,
              0.2283,
              0.2428,
              0.2587,
              0.2768,
              0.2973,
              0.3198
            ],
            [
              0.1803,
              0.2958,
              0.3131,
              0.3322,
              0.3535,
              0.3772,
              0.4034
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.17701,
              0.70034,
              0.80247,
              0.92832,
              1.07721,
              1.25752,
              1.47378
            ],
            [
              0.17704,
              0.70078,
              0.80242,
              0.92731,
              1.07803,
              1.25777,
              1.47396
            ],
            [
              0.17698,
              0.70026,
              0.80278,
              0.92804,
              1.0779,
              1.2581,
              1.4729
            ],
            [
              0.17703,
              0.69843,
              0.80243,
              0.92749,
              1.07816,
              1.25883,
              1.47279
            ],
            [
              0.17679,
              0.69879,
              0.8033,
              0.92724,
              1.07712,
              1.25732,
              1.47387
            ],
            [
              0.17671,
              0.69837,
              0.80235,
              0.92756,
              1.07797,
              1.25865,
              1.47293
            ],
            [
              0.176,
              0.70021,
              0.80277,
              0.92817,
              1.07806,
              1.25724,
              1.4732
            ],
            [
              0.1757,
              0.69878,
              0.80309,
              0.92726,
              1.0783,
              1.25765,
              1.4743
            ],
            [
              0.17429,
              0.69907,
              0.80239,
              0.92732,
              1.07742,
              1.25841,
              1.47489
            ],
            [
              0.17496,
              0.69963,
              0.80236,
              0.92751,
              1.0777,
              1.2572,
              1.4729
            ],
            [
              0.1905,
              0.7002,
              0.8022,
              0.9295,
              1.0773,
              1.2572,
              1.4728
            ],
            [
              0.2309,
              0.6982,
              0.8036,
              0.9292,
              1.0781,
              1.2571,
              1.4727
            ],
            [
              0.2958,
              0.714,
              0.8108,
              0.9308,
              1.0782,
              1.2594,
              1.4728
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.03673,
              0.09568,
              0.10734,
              0.1214,
              0.13824,
              0.15842,
              0.18268
            ],
            [
              0.04007,
              0.09916,
              0.11089,
              0.12491,
              0.14173,
              0.16208,
              0.18629
            ],
            [
              0.0441,
              0.10339,
              0.11505,
              0.12913,
              0.14595,
              0.16623,
              0.19057
            ],
            [
              0.05022,
              0.10973,
              0.12141,
              0.1355,
              0.15232,
              0.17255,
              0.19678
            ],
            [
              0.05953,
              0.11931,
              0.13097,
              0.14504,
              0.16189,
              0.1822,
              0.20654
            ],
            [
              0.07373,
              0.1336,
              0.1453,
              0.15938,
              0.17626,
              0.19653,
              0.2207
            ],
            [
              0.09277,
              0.1551,
              0.16677,
              0.18088,
              0.19775,
              0.21797,
              0.24217
            ],
            [
              0.11749,
              0.1876,
              0.19931,
              0.21315,
              0.22995,
              0.25049,
              0.27474
            ],
            [
              0.14969,
              0.23569,
              0.248,
              0.26215,
              0.27898,
              0.29906,
              0.32343
            ],
            [
              0.19177,
              0.30065,
              0.31601,
              0.33293,
              0.35166,
              0.37264,
              0.39672
            ],
            [
              0.24682,
              0.38552,
              0.40444,
              0.42576,
              0.44902,
              0.47522,
              0.50392
            ],
            [
              0.31857,
              0.49647,
              0.52057,
              0.54717,
              0.57697,
              0.60957,
              0.64517
            ],
            [
              0.4115,
              0.6421,
              0.6728,
              0.7065,
              0.7439,
              0.7854,
              0.8305
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.2255,
              0.53022,
              0.58995,
              0.66159,
              0.74744,
              0.85054,
              0.97373
            ],
            [
              0.22747,
              0.5335,
              0.59338,
              0.66517,
              0.75112,
              0.85423,
              0.97766
            ],
            [
              0.23007,
              0.5372,
              0.5972,
              0.66911,
              0.75525,
              0.85845,
              0.98192
            ],
            [
              0.23444,
              0.54287,
              0.60305,
              0.67517,
              0.76143,
              0.86474,
              0.98838
            ],
            [
              0.24242,
              0.55203,
              0.61233,
              0.68466,
              0.77118,
              0.8749,
              0.99861
            ],
            [
              0.25623,
              0.56601,
              0.62653,
              0.69903,
              0.78572,
              0.88959,
              1.01372
            ],
            [
              0.27886,
              0.58828,
              0.64886,
              0.72145,
              0.8083,
              0.91253,
              1.03683
            ],
            [
              0.31495,
              0.62324,
              0.68399,
              0.75672,
              0.84336,
              0.94746,
              1.07206
            ],
            [
              0.37172,
              0.67919,
              0.73956,
              0.81115,
              0.89805,
              1.00345,
              1.12695
            ],
            [
              0.45855,
              0.76259,
              0.82379,
              0.89599,
              0.98149,
              1.08719,
              1.21059
            ],
            [
              0.59022,
              0.89362,
              0.95292,
              1.02562,
              1.11132,
              1.21482,
              1.33982
            ],
            [
              0.78597,
              1.09067,
              1.15017,
              1.22207,
              1.30837,
              1.41067,
              1.53547
            ],
            [
              1.0554,
              1.3878,
              1.4475,
              1.5188,
              1.6049,
              1.7082,
              1.8313
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.03312,
              0.11302,
              0.12829,
              0.14653,
              0.16839,
              0.19451,
              0.22574
            ],
            [
              0.03313,
              0.11303,
              0.12828,
              0.14653,
              0.16833,
              0.19455,
              0.22578
            ],
            [
              0.03314,
              0.11302,
              0.12827,
              0.14655,
              0.16834,
              0.19453,
              0.22577
            ],
            [
              0.03313,
              0.11301,
              0.12828,
              0.14652,
              0.16833,
              0.19455,
              0.2257
            ],
            [
              0.03322,
              0.11304,
              0.12829,
              0.14654,
              0.16832,
              0.19452,
              0.22579
            ],
            [
              0.03569,
              0.11304,
              0.1283,
              0.14655,
              0.16837,
              0.19455,
              0.2257
            ],
            [
              0.04241,
              0.11315,
              0.12827,
              0.14657,
              0.16837,
              0.1945,
              0.22573
            ],
            [
              0.05473,
              0.117,
              0.13087,
              0.14797,
              0.16885,
              0.1945,
              0.22587
            ],
            [
              0.0717,
              0.12889,
              0.14111,
              0.15631,
              0.17534,
              0.19896,
              0.22799
            ],
            [
              0.095,
              0.15413,
              0.16427,
              0.17721,
              0.19376,
              0.2146,
              0.24064
            ],
            [
              0.12662,
              0.19333,
              0.20466,
              0.21758,
              0.23253,
              0.24978,
              0.27198
            ],
            [
              0.1702,
              0.2468,
              0.2598,
              0.2747,
              0.2913,
              0.3105,
              0.3326
            ],
            [
              0.2314,
              0.3197,
              0.3347,
              0.3523,
              0.3717,
              0.3936,
              0.4189
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.16345,
              0.55128,
              0.62888,
              0.72145,
              0.83244,
              0.96563,
              1.12534
            ],
            [
              0.16362,
              0.55157,
              0.6285,
              0.72073,
              0.83236,
              0.96579,
              1.12474
            ],
            [
              0.16371,
              0.55172,
              0.62834,
              0.72142,
              0.83237,
              0.96591,
              1.12555
            ],
            [
              0.16374,
              0.55162,
              0.62833,
              0.72084,
              0.83248,
              0.96589,
              1.12556
            ],
            [
              0.16376,
              0.55115,
              0.62889,
              0.72151,
              0.83222,
              0.96545,
              1.12492
            ],
            [
              0.16352,
              0.55185,
              0.6284,
              0.72132,
              0.83243,
              0.96587,
              1.12541
            ],
            [
              0.16372,
              0.5515,
              0.62881,
              0.72146,
              0.83253,
              0.96568,
              1.12462
            ],
            [
              0.16366,
              0.55144,
              0.62872,
              0.72089,
              0.83227,
              0.96575,
              1.12553
            ],
            [
              0.16339,
              0.55138,
              0.62873,
              0.72094,
              0.83206,
              0.96504,
              1.125
            ],
            [
              0.16291,
              0.55129,
              0.62877,
              0.72089,
              0.8317,
              0.96502,
              1.125
            ],
            [
              0.1719,
              0.5515,
              0.6287,
              0.7212,
              0.8324,
              0.9655,
              1.1251
            ],
            [
              0.2034,
              0.552,
              0.628,
              0.7208,
              0.832,
              0.9653,
              1.1251
            ],
            [
              0.2629,
              0.5739,
              0.6432,
              0.7293,
              0.8351,
              0.9659,
              1.1251
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.03671,
              0.09572,
              0.10736,
              0.12139,
              0.13822,
              0.15844,
              0.18271
            ],
            [
              0.04011,
              0.09921,
              0.11085,
              0.12487,
              0.14174,
              0.16192,
              0.18622
            ],
            [
              0.04413,
              0.10341,
              0.11511,
              0.12911,
              0.14597,
              0.16625,
              0.19041
            ],
            [
              0.05029,
              0.10978,
              0.12144,
              0.1355,
              0.15238,
              0.17258,
              0.19681
            ],
            [
              0.05963,
              0.11934,
              0.13103,
              0.14509,
              0.16197,
              0.1822,
              0.20642
            ],
            [
              0.07386,
              0.1337,
              0.1454,
              0.15947,
              0.17634,
              0.1966,
              0.22085
            ],
            [
              0.09298,
              0.15534,
              0.16699,
              0.18104,
              0.19791,
              0.21815,
              0.24252
            ],
            [
              0.11776,
              0.18774,
              0.19946,
              0.21348,
              0.23031,
              0.25059,
              0.27483
            ],
            [
              0.1501,
              0.23613,
              0.24828,
              0.26228,
              0.27908,
              0.2992,
              0.32326
            ],
            [
              0.19228,
              0.30093,
              0.31621,
              0.33326,
              0.35176,
              0.3729,
              0.39649
            ],
            [
              0.24727,
              0.386,
              0.40514,
              0.42627,
              0.44962,
              0.47552,
              0.50392
            ],
            [
              0.31897,
              0.49717,
              0.52117,
              0.54787,
              0.57727,
              0.60957,
              0.64547
            ],
            [
              0.412,
              0.6429,
              0.6735,
              0.7073,
              0.7449,
              0.7857,
              0.8309
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.30685,
              0.73236,
              0.81582,
              0.916,
              1.03607,
              1.17997,
              1.35227
            ],
            [
              0.30775,
              0.7353,
              0.81894,
              0.9193,
              1.03944,
              1.18354,
              1.35584
            ],
            [
              0.30905,
              0.73827,
              0.8221,
              0.92261,
              1.04292,
              1.18732,
              1.35982
            ],
            [
              0.31184,
              0.74282,
              0.82691,
              0.92773,
              1.04828,
              1.19278,
              1.36547
            ],
            [
              0.31784,
              0.75053,
              0.83493,
              0.93602,
              1.05701,
              1.20181,
              1.37471
            ],
            [
              0.32952,
              0.76256,
              0.84719,
              0.94842,
              1.06972,
              1.21492,
              1.38832
            ],
            [
              0.34932,
              0.78257,
              0.86723,
              0.96883,
              1.09033,
              1.23603,
              1.40963
            ],
            [
              0.38327,
              0.81507,
              0.89986,
              1.00146,
              1.12296,
              1.26876,
              1.44276
            ],
            [
              0.43723,
              0.86665,
              0.95135,
              1.05305,
              1.17455,
              1.32085,
              1.49415
            ],
            [
              0.52073,
              0.94699,
              1.03199,
              1.13319,
              1.25419,
              1.39909,
              1.57289
            ],
            [
              0.64792,
              1.07122,
              1.15612,
              1.25752,
              1.37742,
              1.52212,
              1.69752
            ],
            [
              0.84117,
              1.26207,
              1.34637,
              1.44677,
              1.56467,
              1.71197,
              1.88587
            ],
            [
              1.1196,
              1.5502,
              1.6339,
              1.7337,
              1.8525,
              1.9982,
              2.1714
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.03311,
              0.113,
              0.12826,
              0.14653,
              0.16834,
              0.19448,
              0.22577
            ],
            [
              0.0331,
              0.11301,
              0.12826,
              0.14652,
              0.16837,
              0.19449,
              0.22579
            ],
            [
              0.03311,
              0.113,
              0.1283,
              0.14653,
              0.16833,
              0.19451,
              0.22571
            ],
            [
              0.0331,
              0.11302,
              0.12827,
              0.14652,
              0.16838,
              0.19449,
              0.2257
            ],
            [
              0.0332,
              0.11304,
              0.12827,
              0.14653,
              0.16833,
              0.1945,
              0.22574
            ],
            [
              0.03564,
              0.11303,
              0.12829,
              0.14654,
              0.16837,
              0.19452,
              0.22573
            ],
            [
              0.04215,
              0.11315,
              0.12826,
              0.14657,
              0.16837,
              0.1945,
              0.22577
            ],
            [
              0.05448,
              0.11692,
              0.13084,
              0.14789,
              0.16885,
              0.19451,
              0.22577
            ],
            [
              0.07131,
              0.12861,
              0.14094,
              0.15627,
              0.17527,
              0.19891,
              0.22799
            ],
            [
              0.09452,
              0.15389,
              0.1641,
              0.17702,
              0.19365,
              0.21439,
              0.24072
            ],
            [
              0.12613,
              0.1929,
              0.20405,
              0.2171,
              0.23203,
              0.24959,
              0.27195
            ],
            [
              0.1697,
              0.2461,
              0.2591,
              0.274,
              0.291,
              0.3104,
              0.3323
            ],
            [
              0.2308,
              0.3189,
              0.334,
              0.3514,
              0.3707,
              0.3933,
              0.4186
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.22888,
              0.76387,
              0.87084,
              0.99803,
              1.15079,
              1.33467,
              1.55407
            ],
            [
              0.22863,
              0.76361,
              0.87049,
              0.99764,
              1.15063,
              1.33456,
              1.55463
            ],
            [
              0.22886,
              0.76432,
              0.87032,
              0.99794,
              1.15087,
              1.33402,
              1.55417
            ],
            [
              0.22859,
              0.76392,
              0.87048,
              0.99763,
              1.1505,
              1.33464,
              1.55413
            ],
            [
              0.22864,
              0.76393,
              0.87031,
              0.99766,
              1.15038,
              1.33442,
              1.55467
            ],
            [
              0.22867,
              0.76392,
              0.87026,
              0.99801,
              1.15068,
              1.33463,
              1.55415
            ],
            [
              0.2286,
              0.76393,
              0.8705,
              0.9977,
              1.15087,
              1.33411,
              1.55411
            ],
            [
              0.22871,
              0.76428,
              0.87022,
              0.99748,
              1.15049,
              1.33462,
              1.5545
            ],
            [
              0.22834,
              0.76432,
              0.8704,
              0.99768,
              1.15091,
              1.3345,
              1.55449
            ],
            [
              0.22755,
              0.76429,
              0.87033,
              0.9977,
              1.151,
              1.3347,
              1.5546
            ],
            [
              0.2279,
              0.7641,
              0.8702,
              0.9976,
              1.1506,
              1.3344,
              1.5543
            ],
            [
              0.2481,
              0.7641,
              0.8699,
              0.9978,
              1.1506,
              1.3346,
              1.5543
            ],
            [
              0.3034,
              0.7681,
              0.8713,
              0.9972,
              1.1509,
              1.3346,
              1.555
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.03674,
              0.09575,
              0.10736,
              0.1214,
              0.13822,
              0.15844,
              0.18273
            ],
            [
              0.04011,
              0.09915,
              0.11085,
              0.12488,
              0.14172,
              0.16192,
              0.18626
            ],
            [
              0.04413,
              0.1034,
              0.11511,
              0.12917,
              0.14599,
              0.16626,
              0.19042
            ],
            [
              0.05027,
              0.10978,
              0.12151,
              0.1355,
              0.15243,
              0.17258,
              0.19681
            ],
            [
              0.05962,
              0.11933,
              0.13102,
              0.14508,
              0.16205,
              0.18237,
              0.20642
            ],
            [
              0.07384,
              0.1337,
              0.14539,
              0.15947,
              0.17633,
              0.19676,
              0.22084
            ],
            [
              0.09295,
              0.15528,
              0.16698,
              0.18103,
              0.19789,
              0.21814,
              0.24238
            ],
            [
              0.11773,
              0.18769,
              0.19944,
              0.21346,
              0.2303,
              0.25056,
              0.27481
            ],
            [
              0.15004,
              0.23608,
              0.24831,
              0.26224,
              0.27905,
              0.29912,
              0.32318
            ],
            [
              0.19221,
              0.30108,
              0.31619,
              0.33322,
              0.35173,
              0.37285,
              0.39642
            ],
            [
              0.24722,
              0.38583,
              0.4051,
              0.42622,
              0.44952,
              0.47542,
              0.50382
            ],
            [
              0.31897,
              0.49707,
              0.52117,
              0.54777,
              0.57717,
              0.60937,
              0.64547
            ],
            [
              0.4119,
              0.6429,
              0.6733,
              0.707,
              0.7445,
              0.7856,
              0.8309
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.35982,
              0.77169,
              0.85203,
              0.94843,
              1.06367,
              1.20187,
              1.36717
            ],
            [
              0.36152,
              0.77457,
              0.85505,
              0.9516,
              1.06704,
              1.20544,
              1.37074
            ],
            [
              0.36383,
              0.77791,
              0.85852,
              0.95519,
              1.07082,
              1.20932,
              1.37492
            ],
            [
              0.36802,
              0.78302,
              0.86381,
              0.96061,
              1.07638,
              1.21518,
              1.38078
            ],
            [
              0.37477,
              0.79118,
              0.87213,
              0.96911,
              1.08511,
              1.22401,
              1.38991
            ],
            [
              0.3869,
              0.80432,
              0.88547,
              0.98272,
              1.09892,
              1.23812,
              1.40422
            ],
            [
              0.4076,
              0.82459,
              0.90613,
              1.00383,
              1.12033,
              1.25973,
              1.42603
            ],
            [
              0.44119,
              0.85756,
              0.93896,
              1.03636,
              1.15306,
              1.29286,
              1.45966
            ],
            [
              0.49477,
              0.90935,
              0.99075,
              1.08825,
              1.20465,
              1.34485,
              1.51265
            ],
            [
              0.57816,
              0.98949,
              1.07209,
              1.16899,
              1.28519,
              1.42609,
              1.59179
            ],
            [
              0.70512,
              1.11492,
              1.19722,
              1.29412,
              1.40902,
              1.54942,
              1.71632
            ],
            [
              0.89797,
              1.30707,
              1.38757,
              1.48297,
              1.59957,
              1.73937,
              1.90537
            ],
            [
              1.1877,
              1.5961,
              1.6758,
              1.7707,
              1.8875,
              2.0268,
              2.1919
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.03307,
              0.11444,
              0.13015,
              0.14904,
              0.17168,
              0.19882,
              0.23128
            ],
            [
              0.03309,
              0.11439,
              0.13016,
              0.14905,
              0.17172,
              0.19882,
              0.23132
            ],
            [
              0.03309,
              0.11439,
              0.13016,
              0.14905,
              0.17169,
              0.19886,
              0.23124
            ],
            [
              0.03311,
              0.11441,
              0.13015,
              0.14905,
              0.17172,
              0.19883,
              0.23128
            ],
            [
              0.03317,
              0.11442,
              0.13016,
              0.14906,
              0.17172,
              0.19888,
              0.23127
            ],
            [
              0.03562,
              0.11442,
              0.13017,
              0.14906,
              0.17172,
              0.1989,
              0.23124
            ],
            [
              0.04213,
              0.11452,
              0.13015,
              0.1491,
              0.1717,
              0.19884,
              0.23129
            ],
            [
              0.0546,
              0.11832,
              0.13272,
              0.15042,
              0.17219,
              0.19886,
              0.23131
            ],
            [
              0.07201,
              0.13005,
              0.14279,
              0.15882,
              0.17862,
              0.20328,
              0.2336
            ],
            [
              0.09694,
              0.15531,
              0.16597,
              0.17958,
              0.19701,
              0.21877,
              0.2463
            ],
            [
              0.13286,
              0.19607,
              0.20731,
              0.22058,
              0.23581,
              0.25401,
              0.27761
            ],
            [
              0.1867,
              0.2524,
              0.2653,
              0.2802,
              0.2973,
              0.3171,
              0.3389
            ],
            [
              0.2608,
              0.3311,
              0.3457,
              0.3626,
              0.3816,
              0.4036,
              0.4283
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.25385,
              0.7708,
              0.87191,
              0.99465,
              1.14255,
              1.31778,
              1.52914
            ],
            [
              0.2538,
              0.77081,
              0.87218,
              0.99569,
              1.14316,
              1.31833,
              1.52883
            ],
            [
              0.25384,
              0.77003,
              0.87196,
              0.99463,
              1.14254,
              1.31845,
              1.52921
            ],
            [
              0.25386,
              0.76967,
              0.87212,
              0.99476,
              1.142,
              1.31828,
              1.52938
            ],
            [
              0.25383,
              0.77006,
              0.87199,
              0.99466,
              1.14297,
              1.31804,
              1.52919
            ],
            [
              0.25384,
              0.76998,
              0.87207,
              0.99464,
              1.14242,
              1.31775,
              1.52915
            ],
            [
              0.25373,
              0.77007,
              0.87198,
              0.99473,
              1.14306,
              1.31774,
              1.52883
            ],
            [
              0.25377,
              0.77074,
              0.872,
              0.99464,
              1.14316,
              1.31809,
              1.52923
            ],
            [
              0.25369,
              0.76997,
              0.872,
              0.99565,
              1.14237,
              1.31778,
              1.52917
            ],
            [
              0.25357,
              0.76999,
              0.87212,
              0.9957,
              1.1415,
              1.3179,
              1.5293
            ],
            [
              0.2522,
              0.7699,
              0.8732,
              0.9955,
              1.1414,
              1.318,
              1.5295
            ],
            [
              0.2606,
              0.7699,
              0.8721,
              0.9947,
              1.1414,
              1.3189,
              1.5296
            ],
            [
              0.3017,
              0.772,
              0.8716,
              0.995,
              1.1416,
              1.319,
              1.5294
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.04227,
              0.10106,
              0.11279,
              0.12685,
              0.1437,
              0.1639,
              0.188
            ],
            [
              0.04612,
              0.10502,
              0.11676,
              0.13081,
              0.1477,
              0.16795,
              0.19212
            ],
            [
              0.05064,
              0.10973,
              0.12141,
              0.13537,
              0.15232,
              0.17254,
              0.19665
            ],
            [
              0.05713,
              0.11645,
              0.12812,
              0.14217,
              0.15901,
              0.17913,
              0.2035
            ],
            [
              0.06651,
              0.12602,
              0.13776,
              0.15179,
              0.16862,
              0.18885,
              0.21316
            ],
            [
              0.08031,
              0.13999,
              0.15178,
              0.16588,
              0.18272,
              0.20303,
              0.22723
            ],
            [
              0.09962,
              0.16076,
              0.17261,
              0.18666,
              0.20351,
              0.22389,
              0.24809
            ],
            [
              0.12585,
              0.19175,
              0.20356,
              0.21774,
              0.23462,
              0.25497,
              0.27923
            ],
            [
              0.16166,
              0.23761,
              0.24989,
              0.26411,
              0.28104,
              0.30141,
              0.32578
            ],
            [
              0.20994,
              0.30103,
              0.31505,
              0.33115,
              0.34964,
              0.37093,
              0.39542
            ],
            [
              0.27459,
              0.38805,
              0.4046,
              0.42337,
              0.44462,
              0.46892,
              0.49642
            ],
            [
              0.36087,
              0.50627,
              0.52667,
              0.54947,
              0.57497,
              0.60367,
              0.63577
            ],
            [
              0.4755,
              0.6653,
              0.6912,
              0.72,
              0.752,
              0.7872,
              0.8262
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.17828,
              0.4278,
              0.47704,
              0.53614,
              0.60699,
              0.69205,
              0.79388
            ],
            [
              0.18036,
              0.43065,
              0.4799,
              0.53914,
              0.61002,
              0.69518,
              0.7971
            ],
            [
              0.18335,
              0.43459,
              0.48395,
              0.54317,
              0.61419,
              0.69933,
              0.80124
            ],
            [
              0.18876,
              0.44076,
              0.49023,
              0.54958,
              0.62067,
              0.70603,
              0.80793
            ],
            [
              0.19775,
              0.45061,
              0.50017,
              0.55958,
              0.63065,
              0.71622,
              0.81817
            ],
            [
              0.21287,
              0.46606,
              0.5157,
              0.57526,
              0.6465,
              0.73188,
              0.83391
            ],
            [
              0.23696,
              0.49002,
              0.53975,
              0.59923,
              0.67049,
              0.75606,
              0.85831
            ],
            [
              0.27441,
              0.52664,
              0.57554,
              0.63509,
              0.70763,
              0.79311,
              0.89536
            ],
            [
              0.33163,
              0.58328,
              0.63237,
              0.69256,
              0.76415,
              0.84935,
              0.95125
            ],
            [
              0.41902,
              0.66989,
              0.71899,
              0.77809,
              0.84999,
              0.93449,
              1.03799
            ],
            [
              0.55112,
              0.80052,
              0.85002,
              0.90912,
              0.98032,
              1.06592,
              1.16822
            ],
            [
              0.73617,
              0.99807,
              1.04707,
              1.10637,
              1.17637,
              1.26257,
              1.36457
            ],
            [
              0.9899,
              1.2952,
              1.3445,
              1.4033,
              1.4743,
              1.5593,
              1.6608
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.02637,
              0.102,
              0.1173,
              0.1353,
              0.15698,
              0.183,
              0.2143
            ],
            [
              0.02638,
              0.10198,
              0.11707,
              0.1352,
              0.15693,
              0.18325,
              0.21428
            ],
            [
              0.02639,
              0.102,
              0.11701,
              0.13517,
              0.15692,
              0.18298,
              0.21431
            ],
            [
              0.0264,
              0.10198,
              0.11702,
              0.13512,
              0.15686,
              0.18304,
              0.21428
            ],
            [
              0.02641,
              0.10216,
              0.11714,
              0.13545,
              0.1569,
              0.18304,
              0.21456
            ],
            [
              0.02733,
              0.10213,
              0.11724,
              0.13515,
              0.15721,
              0.18311,
              0.21429
            ],
            [
              0.03074,
              0.10215,
              0.1171,
              0.13516,
              0.15717,
              0.18332,
              0.21431
            ],
            [
              0.03608,
              0.10431,
              0.11868,
              0.13593,
              0.15744,
              0.18303,
              0.21464
            ],
            [
              0.04424,
              0.11102,
              0.12448,
              0.14101,
              0.16121,
              0.18605,
              0.21614
            ],
            [
              0.05653,
              0.12632,
              0.13864,
              0.15341,
              0.17199,
              0.19504,
              0.22347
            ],
            [
              0.07432,
              0.15013,
              0.16303,
              0.17837,
              0.19625,
              0.21735,
              0.24263
            ],
            [
              0.0996,
              0.1854,
              0.199,
              0.2151,
              0.2337,
              0.2556,
              0.2811
            ],
            [
              0.1357,
              0.2365,
              0.2515,
              0.269,
              0.2887,
              0.3118,
              0.3384
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.13274,
              0.45548,
              0.51972,
              0.59685,
              0.68928,
              0.8003,
              0.93309
            ],
            [
              0.13302,
              0.45546,
              0.51986,
              0.59675,
              0.68911,
              0.79984,
              0.93295
            ],
            [
              0.1329,
              0.45562,
              0.51967,
              0.59685,
              0.68889,
              0.79985,
              0.93324
            ],
            [
              0.13298,
              0.4556,
              0.51972,
              0.59672,
              0.68874,
              0.79983,
              0.93325
            ],
            [
              0.13293,
              0.45547,
              0.51959,
              0.59662,
              0.68924,
              0.79993,
              0.93242
            ],
            [
              0.13299,
              0.45548,
              0.51965,
              0.59671,
              0.68938,
              0.79986,
              0.93333
            ],
            [
              0.13295,
              0.45548,
              0.51958,
              0.59683,
              0.689,
              0.79984,
              0.93264
            ],
            [
              0.13281,
              0.45546,
              0.51988,
              0.59678,
              0.68895,
              0.80052,
              0.93319
            ],
            [
              0.13272,
              0.45549,
              0.51963,
              0.59656,
              0.68902,
              0.79997,
              0.93245
            ],
            [
              0.13523,
              0.45551,
              0.51993,
              0.59648,
              0.68879,
              0.79979,
              0.9326
            ],
            [
              0.1521,
              0.4555,
              0.5196,
              0.5966,
              0.6891,
              0.7997,
              0.9326
            ],
            [
              0.1924,
              0.462,
              0.5229,
              0.5973,
              0.6887,
              0.7998,
              0.9331
            ],
            [
              0.2502,
              0.499,
              0.5524,
              0.6202,
              0.7035,
              0.8073,
              0.9347
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.04228,
              0.1011,
              0.11283,
              0.12686,
              0.14366,
              0.16383,
              0.1882
            ],
            [
              0.04616,
              0.105,
              0.11678,
              0.13088,
              0.14771,
              0.16786,
              0.19216
            ],
            [
              0.05067,
              0.10974,
              0.12148,
              0.1355,
              0.15227,
              0.17262,
              0.19685
            ],
            [
              0.05717,
              0.11645,
              0.12813,
              0.14219,
              0.15898,
              0.17922,
              0.20336
            ],
            [
              0.06656,
              0.12607,
              0.13781,
              0.15186,
              0.16863,
              0.18896,
              0.2132
            ],
            [
              0.08039,
              0.14006,
              0.15184,
              0.16597,
              0.1828,
              0.20311,
              0.22731
            ],
            [
              0.09973,
              0.16091,
              0.1727,
              0.18676,
              0.20358,
              0.22385,
              0.24818
            ],
            [
              0.12599,
              0.1919,
              0.2037,
              0.21788,
              0.23482,
              0.25517,
              0.27931
            ],
            [
              0.1618,
              0.23773,
              0.25005,
              0.26426,
              0.28119,
              0.30159,
              0.32588
            ],
            [
              0.21012,
              0.30121,
              0.31525,
              0.33135,
              0.34982,
              0.37111,
              0.39559
            ],
            [
              0.27477,
              0.3883,
              0.40486,
              0.42361,
              0.44492,
              0.46912,
              0.49672
            ],
            [
              0.36097,
              0.50657,
              0.52697,
              0.54967,
              0.57517,
              0.60387,
              0.63597
            ],
            [
              0.4757,
              0.6658,
              0.6917,
              0.7205,
              0.7523,
              0.7876,
              0.8264
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.20536,
              0.49624,
              0.55375,
              0.62274,
              0.7054,
              0.80464,
              0.92354
            ],
            [
              0.20695,
              0.49888,
              0.5564,
              0.62546,
              0.70819,
              0.80742,
              0.92617
            ],
            [
              0.20949,
              0.50242,
              0.56003,
              0.62912,
              0.71197,
              0.81137,
              0.93021
            ],
            [
              0.2143,
              0.50821,
              0.56593,
              0.63514,
              0.71803,
              0.81756,
              0.93646
            ],
            [
              0.22261,
              0.51759,
              0.57539,
              0.6447,
              0.72773,
              0.82733,
              0.94634
            ],
            [
              0.23697,
              0.53245,
              0.59038,
              0.65981,
              0.74289,
              0.84264,
              0.96182
            ],
            [
              0.26024,
              0.55579,
              0.61379,
              0.68327,
              0.76651,
              0.86634,
              0.98563
            ],
            [
              0.29683,
              0.5907,
              0.64882,
              0.7184,
              0.80175,
              0.90256,
              1.02196
            ],
            [
              0.35292,
              0.64662,
              0.70439,
              0.77305,
              0.85785,
              0.95755,
              1.07595
            ],
            [
              0.4389,
              0.73179,
              0.78899,
              0.85809,
              0.94029,
              1.04149,
              1.15969
            ],
            [
              0.56902,
              0.86012,
              0.91722,
              0.98702,
              1.06992,
              1.16842,
              1.28972
            ],
            [
              0.75707,
              1.05457,
              1.11177,
              1.18107,
              1.26267,
              1.36237,
              1.48257
            ],
            [
              1.014,
              1.3474,
              1.4049,
              1.4735,
              1.5564,
              1.6559,
              1.7743
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.02636,
              0.102,
              0.11719,
              0.13515,
              0.15692,
              0.18303,
              0.21451
            ],
            [
              0.02638,
              0.10198,
              0.11707,
              0.13535,
              0.1569,
              0.18303,
              0.2143
            ],
            [
              0.02636,
              0.10218,
              0.11716,
              0.13514,
              0.15691,
              0.18342,
              0.21427
            ],
            [
              0.02639,
              0.10197,
              0.11701,
              0.13514,
              0.15691,
              0.18303,
              0.2143
            ],
            [
              0.02641,
              0.10216,
              0.11713,
              0.13529,
              0.15691,
              0.18326,
              0.21426
            ],
            [
              0.02732,
              0.10214,
              0.11724,
              0.13517,
              0.15722,
              0.18316,
              0.21428
            ],
            [
              0.0307,
              0.10217,
              0.11709,
              0.13515,
              0.15716,
              0.18303,
              0.21431
            ],
            [
              0.03603,
              0.10428,
              0.11866,
              0.13621,
              0.15744,
              0.18298,
              0.21428
            ],
            [
              0.04416,
              0.11098,
              0.12444,
              0.14099,
              0.16101,
              0.18576,
              0.21574
            ],
            [
              0.05643,
              0.12624,
              0.13863,
              0.15339,
              0.17197,
              0.19497,
              0.22343
            ],
            [
              0.07418,
              0.15007,
              0.16296,
              0.1782,
              0.19614,
              0.21722,
              0.24245
            ],
            [
              0.0995,
              0.1852,
              0.1988,
              0.2148,
              0.2334,
              0.2554,
              0.281
            ],
            [
              0.1355,
              0.2362,
              0.2511,
              0.2685,
              0.2885,
              0.3114,
              0.3382
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.15502,
              0.52891,
              0.60288,
              0.69202,
              0.79873,
              0.92794,
              1.08133
            ],
            [
              0.15483,
              0.52887,
              0.60288,
              0.69184,
              0.799,
              0.92791,
              1.08176
            ],
            [
              0.15497,
              0.52872,
              0.60276,
              0.69226,
              0.79927,
              0.92706,
              1.08086
            ],
            [
              0.15501,
              0.5287,
              0.60283,
              0.69219,
              0.79931,
              0.92722,
              1.08178
            ],
            [
              0.15499,
              0.52864,
              0.60289,
              0.69207,
              0.79885,
              0.92798,
              1.08185
            ],
            [
              0.15499,
              0.52868,
              0.6027,
              0.69229,
              0.79929,
              0.92721,
              1.08096
            ],
            [
              0.15494,
              0.52849,
              0.60286,
              0.69181,
              0.79862,
              0.92724,
              1.08178
            ],
            [
              0.15479,
              0.5287,
              0.60281,
              0.69197,
              0.79887,
              0.92793,
              1.08183
            ],
            [
              0.15456,
              0.52867,
              0.60288,
              0.69186,
              0.79884,
              0.92714,
              1.08089
            ],
            [
              0.15488,
              0.52868,
              0.60289,
              0.69186,
              0.7988,
              0.92727,
              1.0812
            ],
            [
              0.1681,
              0.5284,
              0.6029,
              0.6923,
              0.7991,
              0.9273,
              1.0811
            ],
            [
              0.2056,
              0.5306,
              0.6032,
              0.6915,
              0.7988,
              0.9274,
              1.081
            ],
            [
              0.2644,
              0.56,
              0.6249,
              0.7062,
              0.8061,
              0.9297,
              1.081
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.04228,
              0.10111,
              0.11283,
              0.12686,
              0.14366,
              0.16383,
              0.18818
            ],
            [
              0.04615,
              0.10507,
              0.11682,
              0.13087,
              0.1477,
              0.16787,
              0.19213
            ],
            [
              0.05067,
              0.10975,
              0.12138,
              0.13546,
              0.15235,
              0.17247,
              0.19681
            ],
            [
              0.05717,
              0.11646,
              0.12815,
              0.14219,
              0.15898,
              0.17924,
              0.20344
            ],
            [
              0.06656,
              0.12606,
              0.1378,
              0.15185,
              0.16865,
              0.18894,
              0.21319
            ],
            [
              0.08037,
              0.14005,
              0.15184,
              0.16596,
              0.18275,
              0.2031,
              0.2273
            ],
            [
              0.09971,
              0.1609,
              0.17269,
              0.18674,
              0.20357,
              0.22384,
              0.24817
            ],
            [
              0.12597,
              0.19187,
              0.20368,
              0.21785,
              0.23469,
              0.25514,
              0.27929
            ],
            [
              0.16178,
              0.2377,
              0.25002,
              0.26424,
              0.28117,
              0.30156,
              0.32583
            ],
            [
              0.21008,
              0.30118,
              0.31521,
              0.33131,
              0.34979,
              0.37108,
              0.39556
            ],
            [
              0.27473,
              0.38826,
              0.4048,
              0.42356,
              0.44482,
              0.46912,
              0.49662
            ],
            [
              0.36097,
              0.50647,
              0.52687,
              0.54967,
              0.57517,
              0.60387,
              0.63597
            ],
            [
              0.4756,
              0.6657,
              0.6916,
              0.7204,
              0.7522,
              0.7875,
              0.8264
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.2,
              0.48233,
              0.53808,
              0.60502,
              0.68523,
              0.78157,
              0.89679
            ],
            [
              0.20168,
              0.485,
              0.54083,
              0.6078,
              0.68806,
              0.78444,
              0.89971
            ],
            [
              0.20431,
              0.4886,
              0.5445,
              0.61156,
              0.69198,
              0.78836,
              0.90366
            ],
            [
              0.20924,
              0.49449,
              0.55049,
              0.61767,
              0.69812,
              0.79463,
              0.91029
            ],
            [
              0.21769,
              0.50394,
              0.56005,
              0.62727,
              0.70784,
              0.80456,
              0.92003
            ],
            [
              0.23222,
              0.51894,
              0.57515,
              0.64254,
              0.72321,
              0.8199,
              0.93552
            ],
            [
              0.25564,
              0.54239,
              0.59869,
              0.66611,
              0.74685,
              0.84371,
              0.95953
            ],
            [
              0.2924,
              0.57825,
              0.63389,
              0.70141,
              0.78316,
              0.88026,
              0.99596
            ],
            [
              0.34872,
              0.63369,
              0.68969,
              0.75625,
              0.83865,
              0.93535,
              1.05105
            ],
            [
              0.43498,
              0.71919,
              0.77469,
              0.84159,
              0.92329,
              1.01959,
              1.13429
            ],
            [
              0.56552,
              0.84802,
              0.90332,
              0.97112,
              1.05162,
              1.14692,
              1.26482
            ],
            [
              0.75297,
              1.04307,
              1.09857,
              1.16577,
              1.24497,
              1.34297,
              1.45827
            ],
            [
              1.0093,
              1.3368,
              1.3925,
              1.4591,
              1.5396,
              1.636,
              1.751
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.02636,
              0.102,
              0.11719,
              0.13515,
              0.15691,
              0.18303,
              0.21475
            ],
            [
              0.02638,
              0.10199,
              0.1172,
              0.13532,
              0.15688,
              0.18303,
              0.21429
            ],
            [
              0.02638,
              0.10218,
              0.11704,
              0.13545,
              0.15697,
              0.18303,
              0.21433
            ],
            [
              0.02638,
              0.10196,
              0.11705,
              0.13513,
              0.15691,
              0.18303,
              0.2143
            ],
            [
              0.02642,
              0.10216,
              0.11713,
              0.13529,
              0.1569,
              0.18306,
              0.21425
            ],
            [
              0.02732,
              0.10214,
              0.11724,
              0.1352,
              0.1569,
              0.18316,
              0.21428
            ],
            [
              0.03071,
              0.10217,
              0.11708,
              0.13515,
              0.15717,
              0.18303,
              0.2143
            ],
            [
              0.03604,
              0.10429,
              0.11866,
              0.136,
              0.15741,
              0.18298,
              0.21428
            ],
            [
              0.04418,
              0.11099,
              0.12445,
              0.141,
              0.16101,
              0.18576,
              0.2161
            ],
            [
              0.05645,
              0.12627,
              0.13863,
              0.15341,
              0.17198,
              0.19498,
              0.22344
            ],
            [
              0.07421,
              0.15004,
              0.16293,
              0.17818,
              0.19613,
              0.2173,
              0.2425
            ],
            [
              0.0995,
              0.1851,
              0.1988,
              0.2149,
              0.2336,
              0.2555,
              0.281
            ],
            [
              0.1355,
              0.2363,
              0.2512,
              0.2685,
              0.2885,
              0.3115,
              0.3382
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.15038,
              0.51358,
              0.58584,
              0.67252,
              0.77647,
              0.90144,
              1.05094
            ],
            [
              0.15038,
              0.5136,
              0.58557,
              0.67252,
              0.77618,
              0.9011,
              1.05028
            ],
            [
              0.15025,
              0.51354,
              0.58563,
              0.67253,
              0.77619,
              0.90149,
              1.05111
            ],
            [
              0.15038,
              0.5135,
              0.58565,
              0.67234,
              0.77659,
              0.90156,
              1.05053
            ],
            [
              0.1503,
              0.51354,
              0.58565,
              0.67254,
              0.77617,
              0.90072,
              1.05115
            ],
            [
              0.15041,
              0.51349,
              0.58559,
              0.67238,
              0.77613,
              0.90159,
              1.05107
            ],
            [
              0.15029,
              0.51344,
              0.58563,
              0.67257,
              0.77653,
              0.90107,
              1.05017
            ],
            [
              0.15021,
              0.51349,
              0.58568,
              0.67222,
              0.77642,
              0.9009,
              1.05115
            ],
            [
              0.14997,
              0.51353,
              0.58567,
              0.6721,
              0.7761,
              0.90116,
              1.05026
            ],
            [
              0.15074,
              0.51352,
              0.5857,
              0.67199,
              0.77611,
              0.90113,
              1.05028
            ],
            [
              0.1648,
              0.5136,
              0.5856,
              0.672,
              0.7764,
              0.9009,
              1.0504
            ],
            [
              0.2029,
              0.5167,
              0.5864,
              0.672,
              0.7766,
              0.901,
              1.0504
            ],
            [
              0.2616,
              0.5471,
              0.6096,
              0.6882,
              0.7846,
              0.904,
              1.0505
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.04231,
              0.10109,
              0.11282,
              0.12682,
              0.14362,
              0.16407,
              0.18801
            ],
            [
              0.04618,
              0.10502,
              0.11678,
              0.13083,
              0.14759,
              0.16804,
              0.192
            ],
            [
              0.05071,
              0.10978,
              0.12151,
              0.13547,
              0.15241,
              0.17269,
              0.19683
            ],
            [
              0.05725,
              0.11651,
              0.12815,
              0.14222,
              0.15906,
              0.17935,
              0.20366
            ],
            [
              0.06668,
              0.12617,
              0.1379,
              0.15192,
              0.16869,
              0.18904,
              0.21329
            ],
            [
              0.08053,
              0.1402,
              0.15198,
              0.1661,
              0.18285,
              0.20323,
              0.22747
            ],
            [
              0.09994,
              0.16108,
              0.17287,
              0.18693,
              0.20377,
              0.22416,
              0.24837
            ],
            [
              0.12629,
              0.19213,
              0.20393,
              0.2181,
              0.23495,
              0.25541,
              0.27958
            ],
            [
              0.1622,
              0.23807,
              0.25035,
              0.26456,
              0.28154,
              0.30192,
              0.32625
            ],
            [
              0.21052,
              0.30162,
              0.31563,
              0.33174,
              0.35021,
              0.37145,
              0.39592
            ],
            [
              0.27519,
              0.38874,
              0.40528,
              0.42411,
              0.44542,
              0.46962,
              0.49712
            ],
            [
              0.36147,
              0.50707,
              0.52757,
              0.55037,
              0.57577,
              0.60437,
              0.63647
            ],
            [
              0.476,
              0.6665,
              0.6924,
              0.7212,
              0.753,
              0.7882,
              0.827
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.27754,
              0.68239,
              0.7623,
              0.8583,
              0.97348,
              1.11167,
              1.27717
            ],
            [
              0.27785,
              0.68422,
              0.76433,
              0.86046,
              0.97564,
              1.11404,
              1.27944
            ],
            [
              0.27932,
              0.68707,
              0.76725,
              0.86349,
              0.97882,
              1.11722,
              1.28272
            ],
            [
              0.28269,
              0.6919,
              0.77228,
              0.86867,
              0.98408,
              1.12268,
              1.28828
            ],
            [
              0.28931,
              0.69996,
              0.78048,
              0.87703,
              0.99271,
              1.13141,
              1.29721
            ],
            [
              0.30162,
              0.71333,
              0.79399,
              0.89064,
              1.00642,
              1.14532,
              1.31142
            ],
            [
              0.3228,
              0.735,
              0.81574,
              0.91263,
              1.02853,
              1.16763,
              1.33373
            ],
            [
              0.35755,
              0.76768,
              0.84856,
              0.94556,
              1.06176,
              1.20196,
              1.36826
            ],
            [
              0.41101,
              0.82065,
              0.90085,
              0.99775,
              1.11385,
              1.25325,
              1.41975
            ],
            [
              0.49383,
              0.90209,
              0.98329,
              1.08009,
              1.19499,
              1.33419,
              1.50039
            ],
            [
              0.61912,
              1.02472,
              1.10582,
              1.20282,
              1.31822,
              1.45612,
              1.62472
            ],
            [
              0.80947,
              1.21287,
              1.29357,
              1.38997,
              1.50387,
              1.64397,
              1.81057
            ],
            [
              1.0747,
              1.4967,
              1.5769,
              1.6725,
              1.7867,
              1.9264,
              2.0925
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.02634,
              0.10196,
              0.11705,
              0.13518,
              0.15691,
              0.18339,
              0.21444
            ],
            [
              0.02635,
              0.10197,
              0.11705,
              0.13519,
              0.15696,
              0.18341,
              0.21431
            ],
            [
              0.02635,
              0.10215,
              0.11712,
              0.13515,
              0.15689,
              0.18305,
              0.21427
            ],
            [
              0.02637,
              0.10195,
              0.11703,
              0.13515,
              0.1569,
              0.18302,
              0.2145
            ],
            [
              0.02639,
              0.10216,
              0.11714,
              0.13515,
              0.15691,
              0.18301,
              0.21427
            ],
            [
              0.02728,
              0.10212,
              0.11724,
              0.13539,
              0.1569,
              0.18305,
              0.21429
            ],
            [
              0.03065,
              0.10216,
              0.11708,
              0.13515,
              0.15716,
              0.18332,
              0.21431
            ],
            [
              0.03591,
              0.10424,
              0.11863,
              0.13595,
              0.1574,
              0.183,
              0.21428
            ],
            [
              0.04397,
              0.11082,
              0.12433,
              0.14091,
              0.1611,
              0.18571,
              0.21573
            ],
            [
              0.05616,
              0.12605,
              0.13837,
              0.15318,
              0.17181,
              0.19493,
              0.22334
            ],
            [
              0.07388,
              0.1497,
              0.16262,
              0.17784,
              0.19584,
              0.21695,
              0.24233
            ],
            [
              0.0992,
              0.1847,
              0.1983,
              0.2144,
              0.233,
              0.2549,
              0.2807
            ],
            [
              0.1352,
              0.2356,
              0.2506,
              0.2679,
              0.2879,
              0.3109,
              0.3377
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.21581,
              0.73027,
              0.83188,
              0.95455,
              1.10139,
              1.27814,
              1.48885
            ],
            [
              0.21575,
              0.7303,
              0.83192,
              0.95446,
              1.10147,
              1.27784,
              1.489
            ],
            [
              0.21581,
              0.72953,
              0.83214,
              0.95441,
              1.1015,
              1.27778,
              1.48912
            ],
            [
              0.2158,
              0.73026,
              0.832,
              0.95439,
              1.10141,
              1.27787,
              1.48911
            ],
            [
              0.21572,
              0.73054,
              0.83194,
              0.95452,
              1.10136,
              1.2781,
              1.48955
            ],
            [
              0.21572,
              0.73018,
              0.83203,
              0.95474,
              1.10138,
              1.27814,
              1.48874
            ],
            [
              0.21579,
              0.73023,
              0.83245,
              0.95447,
              1.10138,
              1.27778,
              1.48949
            ],
            [
              0.21566,
              0.73,
              0.8319,
              0.95448,
              1.10145,
              1.27836,
              1.4892
            ],
            [
              0.21519,
              0.72978,
              0.83203,
              0.95453,
              1.10182,
              1.27796,
              1.48954
            ],
            [
              0.21373,
              0.73001,
              0.83201,
              0.95453,
              1.1017,
              1.278,
              1.4895
            ],
            [
              0.218,
              0.7303,
              0.832,
              0.9545,
              1.1013,
              1.278,
              1.4893
            ],
            [
              0.2437,
              0.7291,
              0.8322,
              0.9544,
              1.1015,
              1.2776,
              1.4894
            ],
            [
              0.303,
              0.7392,
              0.8359,
              0.955,
              1.1006,
              1.2778,
              1.4894
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.04237,
              0.10113,
              0.11279,
              0.12684,
              0.14363,
              0.16393,
              0.18833
            ],
            [
              0.04624,
              0.10513,
              0.11681,
              0.13083,
              0.14768,
              0.16792,
              0.19226
            ],
            [
              0.05075,
              0.10976,
              0.12143,
              0.13547,
              0.1523,
              0.17255,
              0.19672
            ],
            [
              0.05726,
              0.1165,
              0.12818,
              0.14219,
              0.15906,
              0.17933,
              0.2035
            ],
            [
              0.06663,
              0.12607,
              0.13776,
              0.15182,
              0.16873,
              0.18908,
              0.21313
            ],
            [
              0.08046,
              0.14013,
              0.15185,
              0.16591,
              0.18285,
              0.20302,
              0.22727
            ],
            [
              0.09981,
              0.16096,
              0.17266,
              0.18677,
              0.20366,
              0.224,
              0.24827
            ],
            [
              0.12608,
              0.19197,
              0.20374,
              0.2179,
              0.23479,
              0.2551,
              0.27938
            ],
            [
              0.16191,
              0.2378,
              0.25011,
              0.26433,
              0.28126,
              0.30163,
              0.32592
            ],
            [
              0.21025,
              0.30129,
              0.31532,
              0.33142,
              0.34989,
              0.37117,
              0.39566
            ],
            [
              0.27495,
              0.38839,
              0.40493,
              0.42369,
              0.44492,
              0.46922,
              0.49672
            ],
            [
              0.36127,
              0.50667,
              0.52707,
              0.54977,
              0.57527,
              0.60397,
              0.63607
            ],
            [
              0.476,
              0.6659,
              0.6918,
              0.7206,
              0.7524,
              0.7877,
              0.8265
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.26102,
              0.5483,
              0.60486,
              0.67275,
              0.75412,
              0.85169,
              0.9684
            ],
            [
              0.26311,
              0.55101,
              0.60764,
              0.67551,
              0.75686,
              0.85455,
              0.97129
            ],
            [
              0.26624,
              0.55471,
              0.61139,
              0.67939,
              0.76085,
              0.8586,
              0.97538
            ],
            [
              0.2715,
              0.56073,
              0.61747,
              0.68554,
              0.76709,
              0.86491,
              0.98167
            ],
            [
              0.28039,
              0.57031,
              0.62712,
              0.69532,
              0.77694,
              0.87482,
              0.99181
            ],
            [
              0.29481,
              0.58543,
              0.64236,
              0.7106,
              0.79232,
              0.89029,
              1.00732
            ],
            [
              0.31787,
              0.60898,
              0.66595,
              0.73428,
              0.81607,
              0.91423,
              1.03133
            ],
            [
              0.35457,
              0.6442,
              0.70118,
              0.76969,
              0.85246,
              0.95066,
              1.06786
            ],
            [
              0.41056,
              0.69906,
              0.75605,
              0.82595,
              0.90765,
              1.00565,
              1.12195
            ],
            [
              0.49596,
              0.78459,
              0.84129,
              0.91059,
              0.99179,
              1.08879,
              1.20809
            ],
            [
              0.62562,
              0.91362,
              0.97072,
              1.03862,
              1.11892,
              1.21912,
              1.33622
            ],
            [
              0.82197,
              1.10847,
              1.16507,
              1.23187,
              1.31497,
              1.41277,
              1.52927
            ],
            [
              1.0978,
              1.4021,
              1.458,
              1.5264,
              1.6079,
              1.7052,
              1.8192
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.03312,
              0.11304,
              0.12829,
              0.14653,
              0.16831,
              0.19455,
              0.22589
            ],
            [
              0.03313,
              0.11304,
              0.12831,
              0.14653,
              0.16834,
              0.19452,
              0.22576
            ],
            [
              0.03313,
              0.11302,
              0.1283,
              0.14655,
              0.16831,
              0.19453,
              0.22571
            ],
            [
              0.03313,
              0.11303,
              0.12833,
              0.14653,
              0.16836,
              0.19453,
              0.22573
            ],
            [
              0.03317,
              0.11303,
              0.12829,
              0.14655,
              0.16837,
              0.19458,
              0.22568
            ],
            [
              0.03407,
              0.11302,
              0.12827,
              0.14653,
              0.16837,
              0.19454,
              0.22568
            ],
            [
              0.03741,
              0.11308,
              0.12828,
              0.14653,
              0.16838,
              0.19454,
              0.22578
            ],
            [
              0.04507,
              0.11528,
              0.1298,
              0.14739,
              0.16864,
              0.19451,
              0.22574
            ],
            [
              0.05592,
              0.12209,
              0.13571,
              0.15234,
              0.17261,
              0.19725,
              0.22719
            ],
            [
              0.07178,
              0.13753,
              0.14974,
              0.1649,
              0.18359,
              0.20667,
              0.2349
            ],
            [
              0.09418,
              0.16301,
              0.1755,
              0.19033,
              0.20778,
              0.22847,
              0.25417
            ],
            [
              0.1257,
              0.2004,
              0.2134,
              0.2288,
              0.2469,
              0.268,
              0.293
            ],
            [
              0.1702,
              0.2545,
              0.2685,
              0.2849,
              0.304,
              0.3261,
              0.352
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.18369,
              0.5537,
              0.62668,
              0.7143,
              0.81971,
              0.9466,
              1.09737
            ],
            [
              0.18377,
              0.55305,
              0.6267,
              0.7143,
              0.81998,
              0.94672,
              1.09744
            ],
            [
              0.1838,
              0.5537,
              0.62658,
              0.71448,
              0.81947,
              0.94587,
              1.09688
            ],
            [
              0.18382,
              0.5531,
              0.62666,
              0.71431,
              0.8199,
              0.94587,
              1.09725
            ],
            [
              0.18397,
              0.5537,
              0.62662,
              0.71436,
              0.81923,
              0.94652,
              1.09681
            ],
            [
              0.18381,
              0.55306,
              0.62674,
              0.7143,
              0.81966,
              0.94595,
              1.09688
            ],
            [
              0.18375,
              0.55352,
              0.62668,
              0.71433,
              0.81997,
              0.94609,
              1.09759
            ],
            [
              0.184,
              0.55377,
              0.62667,
              0.71445,
              0.81997,
              0.94679,
              1.09744
            ],
            [
              0.184,
              0.55311,
              0.62657,
              0.71418,
              0.81974,
              0.94598,
              1.0975
            ],
            [
              0.18342,
              0.55374,
              0.62661,
              0.71392,
              0.82007,
              0.94627,
              1.0978
            ],
            [
              0.187,
              0.5535,
              0.6267,
              0.7142,
              0.8203,
              0.9461,
              1.0969
            ],
            [
              0.2114,
              0.5532,
              0.6265,
              0.7143,
              0.8196,
              0.9459,
              1.097
            ],
            [
              0.2682,
              0.5734,
              0.6404,
              0.722,
              0.8232,
              0.9465,
              1.0973
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.0424,
              0.10114,
              0.11279,
              0.12684,
              0.14368,
              0.16384,
              0.18814
            ],
            [
              0.04627,
              0.1051,
              0.11677,
              0.13079,
              0.14767,
              0.16783,
              0.19208
            ],
            [
              0.0508,
              0.10982,
              0.12148,
              0.13554,
              0.15234,
              0.17258,
              0.1969
            ],
            [
              0.05733,
              0.11657,
              0.12823,
              0.14233,
              0.15907,
              0.1793,
              0.20348
            ],
            [
              0.06676,
              0.12616,
              0.13787,
              0.15194,
              0.16886,
              0.18899,
              0.21322
            ],
            [
              0.08059,
              0.14025,
              0.15197,
              0.16604,
              0.18294,
              0.20316,
              0.22741
            ],
            [
              0.10003,
              0.16113,
              0.17284,
              0.18695,
              0.20384,
              0.2241,
              0.24837
            ],
            [
              0.12638,
              0.19221,
              0.20398,
              0.21817,
              0.23502,
              0.25533,
              0.27966
            ],
            [
              0.16232,
              0.23815,
              0.25042,
              0.26463,
              0.28163,
              0.30197,
              0.32635
            ],
            [
              0.21067,
              0.30171,
              0.31572,
              0.33183,
              0.3503,
              0.37153,
              0.396
            ],
            [
              0.27537,
              0.38884,
              0.40537,
              0.4242,
              0.44552,
              0.46972,
              0.49722
            ],
            [
              0.36167,
              0.50717,
              0.52767,
              0.55047,
              0.57587,
              0.60447,
              0.63657
            ],
            [
              0.4764,
              0.6666,
              0.6925,
              0.7213,
              0.7531,
              0.7883,
              0.8271
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.3606,
              0.76537,
              0.84514,
              0.94089,
              1.05567,
              1.19327,
              1.35787
            ],
            [
              0.36183,
              0.76748,
              0.84732,
              0.94307,
              1.05794,
              1.19554,
              1.36024
            ],
            [
              0.36392,
              0.77047,
              0.85039,
              0.94623,
              1.06112,
              1.19892,
              1.36362
            ],
            [
              0.36801,
              0.77558,
              0.85562,
              0.95152,
              1.06658,
              1.20447,
              1.36928
            ],
            [
              0.37534,
              0.78388,
              0.86404,
              0.96021,
              1.07531,
              1.21331,
              1.37831
            ],
            [
              0.38792,
              0.7975,
              0.87777,
              0.97402,
              1.08932,
              1.22752,
              1.39262
            ],
            [
              0.40901,
              0.8194,
              0.89983,
              0.99613,
              1.11153,
              1.24983,
              1.41513
            ],
            [
              0.44296,
              0.85236,
              0.93286,
              1.02946,
              1.14596,
              1.28446,
              1.44976
            ],
            [
              0.49558,
              0.90465,
              0.98515,
              1.08155,
              1.19725,
              1.33595,
              1.50135
            ],
            [
              0.5783,
              0.98719,
              1.06749,
              1.16289,
              1.27839,
              1.41669,
              1.58189
            ],
            [
              0.70312,
              1.10992,
              1.19032,
              1.28622,
              1.40052,
              1.54122,
              1.70632
            ],
            [
              0.89247,
              1.29767,
              1.37747,
              1.47187,
              1.58837,
              1.72757,
              1.89187
            ],
            [
              1.1755,
              1.5811,
              1.66,
              1.7553,
              1.8712,
              2.0096,
              2.1704
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.0331,
              0.11301,
              0.12828,
              0.14653,
              0.16836,
              0.19447,
              0.2257
            ],
            [
              0.03312,
              0.11302,
              0.12827,
              0.14652,
              0.16836,
              0.19448,
              0.22574
            ],
            [
              0.03312,
              0.11303,
              0.12828,
              0.14654,
              0.16833,
              0.1945,
              0.22572
            ],
            [
              0.03312,
              0.11302,
              0.12831,
              0.14655,
              0.16833,
              0.19451,
              0.22571
            ],
            [
              0.03315,
              0.11303,
              0.12829,
              0.14653,
              0.16837,
              0.19448,
              0.22569
            ],
            [
              0.03402,
              0.11302,
              0.12827,
              0.14653,
              0.16837,
              0.1945,
              0.22573
            ],
            [
              0.03731,
              0.11308,
              0.12828,
              0.14653,
              0.16837,
              0.19448,
              0.22571
            ],
            [
              0.04491,
              0.11524,
              0.12976,
              0.14736,
              0.16863,
              0.1945,
              0.22577
            ],
            [
              0.05569,
              0.12197,
              0.13561,
              0.15225,
              0.17249,
              0.1972,
              0.2272
            ],
            [
              0.07151,
              0.13732,
              0.14951,
              0.16471,
              0.18345,
              0.20655,
              0.23482
            ],
            [
              0.09385,
              0.16271,
              0.17524,
              0.18995,
              0.20745,
              0.22826,
              0.25394
            ],
            [
              0.1254,
              0.1999,
              0.213,
              0.2283,
              0.2464,
              0.2676,
              0.2927
            ],
            [
              0.1699,
              0.2539,
              0.2678,
              0.2843,
              0.3034,
              0.3255,
              0.3514
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.2604,
              0.77416,
              0.87591,
              0.9992,
              1.14585,
              1.31982,
              1.53153
            ],
            [
              0.26027,
              0.77446,
              0.87592,
              0.99826,
              1.14584,
              1.31986,
              1.53139
            ],
            [
              0.26038,
              0.77512,
              0.87592,
              0.99808,
              1.14445,
              1.31981,
              1.53116
            ],
            [
              0.26018,
              0.77512,
              0.87584,
              0.99917,
              1.14565,
              1.31984,
              1.53165
            ],
            [
              0.26021,
              0.77442,
              0.876,
              0.99853,
              1.14425,
              1.31988,
              1.53131
            ],
            [
              0.26028,
              0.7751,
              0.87582,
              0.99839,
              1.14427,
              1.31993,
              1.53111
            ],
            [
              0.26027,
              0.77513,
              0.87591,
              0.99919,
              1.14435,
              1.31986,
              1.53135
            ],
            [
              0.26004,
              0.77419,
              0.87586,
              0.99934,
              1.1449,
              1.32172,
              1.53104
            ],
            [
              0.26043,
              0.77436,
              0.87603,
              0.99877,
              1.1443,
              1.32178,
              1.5313
            ],
            [
              0.25996,
              0.77421,
              0.87589,
              0.9987,
              1.1444,
              1.3199,
              1.5305
            ],
            [
              0.2583,
              0.7742,
              0.8759,
              0.9979,
              1.1443,
              1.32,
              1.531
            ],
            [
              0.2698,
              0.7741,
              0.8763,
              0.9984,
              1.1443,
              1.3199,
              1.5313
            ],
            [
              0.314,
              0.7769,
              0.8764,
              0.9971,
              1.144,
              1.3216,
              1.5311
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.04239,
              0.10114,
              0.11279,
              0.12689,
              0.14366,
              0.16384,
              0.18816
            ],
            [
              0.04626,
              0.1051,
              0.11676,
              0.1308,
              0.14765,
              0.16784,
              0.19202
            ],
            [
              0.05079,
              0.10981,
              0.12148,
              0.13551,
              0.15234,
              0.1726,
              0.19688
            ],
            [
              0.05733,
              0.1165,
              0.12823,
              0.14231,
              0.15907,
              0.1793,
              0.20348
            ],
            [
              0.06675,
              0.12615,
              0.13785,
              0.15194,
              0.16881,
              0.18899,
              0.21321
            ],
            [
              0.08058,
              0.14024,
              0.15196,
              0.16606,
              0.1829,
              0.20314,
              0.22739
            ],
            [
              0.10001,
              0.16112,
              0.17282,
              0.18694,
              0.20382,
              0.22408,
              0.24842
            ],
            [
              0.12635,
              0.19219,
              0.20395,
              0.21814,
              0.235,
              0.2553,
              0.27965
            ],
            [
              0.16227,
              0.23812,
              0.25039,
              0.2646,
              0.28158,
              0.30193,
              0.32631
            ],
            [
              0.21061,
              0.30166,
              0.31571,
              0.33179,
              0.35026,
              0.37149,
              0.39596
            ],
            [
              0.27531,
              0.38877,
              0.4053,
              0.42413,
              0.44542,
              0.46962,
              0.49712
            ],
            [
              0.36167,
              0.50707,
              0.52757,
              0.55037,
              0.57577,
              0.60437,
              0.63647
            ],
            [
              0.4763,
              0.6666,
              0.6924,
              0.7212,
              0.753,
              0.7881,
              0.8271
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.40789,
              0.79878,
              0.87544,
              0.96734,
              1.07737,
              1.20927,
              1.36687
            ],
            [
              0.40938,
              0.80101,
              0.87769,
              0.96965,
              1.07974,
              1.21164,
              1.36934
            ],
            [
              0.41189,
              0.80417,
              0.88091,
              0.97296,
              1.08312,
              1.21512,
              1.37292
            ],
            [
              0.41654,
              0.80951,
              0.88633,
              0.97837,
              1.08858,
              1.22078,
              1.37868
            ],
            [
              0.42448,
              0.81821,
              0.89515,
              0.98741,
              1.09771,
              1.22991,
              1.38791
            ],
            [
              0.43783,
              0.83222,
              0.90927,
              1.00162,
              1.11212,
              1.24442,
              1.40252
            ],
            [
              0.45936,
              0.85453,
              0.93163,
              1.02413,
              1.13473,
              1.26713,
              1.42533
            ],
            [
              0.49353,
              0.88796,
              0.96636,
              1.05896,
              1.16956,
              1.30206,
              1.46036
            ],
            [
              0.54722,
              0.94095,
              1.01795,
              1.11065,
              1.22155,
              1.35415,
              1.51245
            ],
            [
              0.62928,
              1.02369,
              1.10069,
              1.19239,
              1.30289,
              1.43529,
              1.59489
            ],
            [
              0.75472,
              1.14742,
              1.22412,
              1.31522,
              1.42822,
              1.56062,
              1.71832
            ],
            [
              0.94437,
              1.33547,
              1.41077,
              1.50417,
              1.61577,
              1.74757,
              1.90467
            ],
            [
              1.2316,
              1.6192,
              1.6958,
              1.7887,
              1.8994,
              2.0315,
              2.1879
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.03306,
              0.1144,
              0.13015,
              0.14909,
              0.17168,
              0.19881,
              0.23126
            ],
            [
              0.03307,
              0.1144,
              0.13016,
              0.14906,
              0.17169,
              0.19881,
              0.23124
            ],
            [
              0.03307,
              0.11441,
              0.13015,
              0.14907,
              0.17168,
              0.19885,
              0.23131
            ],
            [
              0.03308,
              0.11439,
              0.13021,
              0.1491,
              0.17169,
              0.19883,
              0.23125
            ],
            [
              0.03311,
              0.11441,
              0.13016,
              0.14906,
              0.17174,
              0.19882,
              0.23131
            ],
            [
              0.03401,
              0.11441,
              0.13015,
              0.14906,
              0.17169,
              0.19885,
              0.2313
            ],
            [
              0.03731,
              0.11446,
              0.13016,
              0.14905,
              0.17174,
              0.19883,
              0.23132
            ],
            [
              0.04498,
              0.11662,
              0.13163,
              0.14989,
              0.17198,
              0.19884,
              0.2313
            ],
            [
              0.05597,
              0.12337,
              0.13749,
              0.15478,
              0.17585,
              0.20155,
              0.23276
            ],
            [
              0.07255,
              0.13891,
              0.15142,
              0.16726,
              0.18682,
              0.21088,
              0.24038
            ],
            [
              0.09668,
              0.16531,
              0.17809,
              0.19327,
              0.21123,
              0.23263,
              0.25952
            ],
            [
              0.1325,
              0.2045,
              0.2177,
              0.2333,
              0.2518,
              0.2736,
              0.2993
            ],
            [
              0.187,
              0.2616,
              0.2757,
              0.2922,
              0.3115,
              0.3339,
              0.3601
            ]
          ]
        },
        "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.00396,
            0.00475,
            0.0057,
            0.00684,
            0.00821,
            0.00985
          ],
          "values": [
            [
              0.28125,
              0.77659,
              0.87556,
              0.99256,
              1.13163,
              1.30135,
              1.50274
            ],
            [
              0.28145,
              0.77668,
              0.87547,
              0.99252,
              1.13147,
              1.30028,
              1.50384
            ],
            [
              0.2814,
              0.77663,
              0.87458,
              0.99245,
              1.13147,
              1.30031,
              1.50312
            ],
            [
              0.28136,
              0.77712,
              0.87468,
              0.99253,
              1.13324,
              1.30031,
              1.50148
            ],
            [
              0.28126,
              0.77704,
              0.87443,
              0.99248,
              1.13307,
              1.30034,
              1.50159
            ],
            [
              0.28147,
              0.77685,
              0.87437,
              0.99269,
              1.13142,
              1.3005,
              1.50286
            ],
            [
              0.28129,
              0.77663,
              0.87461,
              0.99252,
              1.13154,
              1.30149,
              1.50347
            ],
            [
              0.28175,
              0.77652,
              0.87459,
              0.99269,
              1.13328,
              1.30025,
              1.50158
            ],
            [
              0.28154,
              0.77686,
              0.87441,
              0.99143,
              1.13152,
              1.30041,
              1.50371
            ],
            [
              0.28112,
              0.77725,
              0.8743,
              0.9914,
              1.1333,
              1.3002,
              1.5029
            ],
            [
              0.2807,
              0.7766,
              0.8743,
              0.9913,
              1.1333,
              1.3016,
              1.5036
            ],
            [
              0.2842,
              0.7766,
              0.8742,
              0.9917,
              1.1331,
              1.3,
              1.5035
            ],
            [
              0.3175,
              0.7776,
              0.8736,
              0.991,
              1.1329,
              1.3,
              1.5036
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}