{
  "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.00177,
    "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.00356,
          0.00258,
          0.00254,
          0.00242,
          0.00239,
          0.00239,
          0.00239,
          0.00239,
          0.00239,
          0.00259,
          0.00259,
          0.00284,
          0.00289
        ]
      },
      "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.00184,
          0.00191,
          0.00162,
          0.00137,
          0.00139,
          0.00134,
          0.00138,
          0.00136,
          0.00138,
          0.0015,
          0.00151,
          0.00164,
          0.00164
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00162,
    "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.00341,
          0.00279,
          0.00237,
          0.00239,
          0.00236,
          0.00234,
          0.00236,
          0.00235,
          0.00235,
          0.00255,
          0.00254,
          0.00279,
          0.00274
        ]
      },
      "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.0021,
          0.00165,
          0.00172,
          0.00143,
          0.00131,
          0.00142,
          0.00139,
          0.00138,
          0.00141,
          0.00153,
          0.00154,
          0.00168,
          0.00169
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00162,
    "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.00359,
          0.00287,
          0.00266,
          0.00246,
          0.0024,
          0.00238,
          0.00239,
          0.0024,
          0.00239,
          0.00259,
          0.00258,
          0.00279,
          0.00279
        ]
      },
      "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.00229,
          0.00206,
          0.00165,
          0.00149,
          0.00148,
          0.00144,
          0.00145,
          0.00145,
          0.00146,
          0.00159,
          0.0016,
          0.00174,
          0.00174
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00225,
    "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.00202,
          0.002,
          0.00166,
          0.00152,
          0.00147,
          0.00154,
          0.00151,
          0.00153,
          0.00153,
          0.00168,
          0.00169,
          0.00183,
          0.00183
        ]
      },
      "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.00335,
          0.00257,
          0.00261,
          0.00246,
          0.00237,
          0.00241,
          0.00239,
          0.00238,
          0.00238,
          0.00258,
          0.00258,
          0.00282,
          0.00278
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00192,
    "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.00176,
          0.00168,
          0.00144,
          0.00125,
          0.00134,
          0.00134,
          0.00132,
          0.00132,
          0.00134,
          0.00146,
          0.00147,
          0.00158,
          0.00159
        ]
      },
      "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.00348,
          0.00265,
          0.00252,
          0.00252,
          0.00245,
          0.00244,
          0.00249,
          0.00248,
          0.00244,
          0.00266,
          0.00265,
          0.00286,
          0.00286
        ]
      }
    },
    "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.00177,
              -0.00415,
              -0.00532,
              -0.00674,
              -0.00844,
              -0.01049,
              -0.01295
            ],
            [
              0.00178,
              -0.00414,
              -0.00532,
              -0.00674,
              -0.00845,
              -0.01049,
              -0.01295
            ],
            [
              0.00179,
              -0.00414,
              -0.00531,
              -0.00674,
              -0.00844,
              -0.01049,
              -0.01294
            ],
            [
              0.00179,
              -0.00412,
              -0.0053,
              -0.00672,
              -0.00842,
              -0.01047,
              -0.01293
            ],
            [
              0.00181,
              -0.00412,
              -0.00529,
              -0.00671,
              -0.00841,
              -0.01046,
              -0.01292
            ],
            [
              0.00183,
              -0.0041,
              -0.00528,
              -0.0067,
              -0.0084,
              -0.01045,
              -0.01291
            ],
            [
              0.00185,
              -0.00408,
              -0.00526,
              -0.00668,
              -0.00838,
              -0.01043,
              -0.01289
            ],
            [
              0.00188,
              -0.00406,
              -0.00524,
              -0.00666,
              -0.00837,
              -0.01041,
              -0.01287
            ],
            [
              0.00192,
              -0.00405,
              -0.00523,
              -0.00665,
              -0.00835,
              -0.0104,
              -0.01286
            ],
            [
              0.00196,
              -0.00402,
              -0.0052,
              -0.00662,
              -0.00833,
              -0.01038,
              -0.01285
            ],
            [
              0.00201,
              -0.00399,
              -0.00517,
              -0.0066,
              -0.00831,
              -0.01036,
              -0.01282
            ],
            [
              0.00205,
              -0.00395,
              -0.00513,
              -0.00656,
              -0.00827,
              -0.01033,
              -0.0128
            ],
            [
              0.00209,
              -0.00391,
              -0.0051,
              -0.00653,
              -0.00824,
              -0.0103,
              -0.01276
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.00945,
              0.0154,
              0.01657,
              0.01798,
              0.01967,
              0.0217,
              0.02413
            ],
            [
              0.00942,
              0.0154,
              0.01658,
              0.01798,
              0.01967,
              0.02171,
              0.02414
            ],
            [
              0.00939,
              0.01539,
              0.01657,
              0.01798,
              0.01967,
              0.0217,
              0.02414
            ],
            [
              0.00935,
              0.01538,
              0.01656,
              0.01798,
              0.01967,
              0.0217,
              0.02414
            ],
            [
              0.00931,
              0.01536,
              0.01654,
              0.01796,
              0.01965,
              0.02169,
              0.02412
            ],
            [
              0.00926,
              0.01532,
              0.0165,
              0.01792,
              0.01962,
              0.02166,
              0.0241
            ],
            [
              0.00922,
              0.01528,
              0.01646,
              0.01789,
              0.01959,
              0.02163,
              0.02407
            ],
            [
              0.00918,
              0.01522,
              0.0164,
              0.01783,
              0.01954,
              0.02159,
              0.02402
            ],
            [
              0.00915,
              0.01517,
              0.01635,
              0.01777,
              0.01948,
              0.02153,
              0.02399
            ],
            [
              0.00913,
              0.01512,
              0.0163,
              0.01773,
              0.01943,
              0.02147,
              0.02392
            ],
            [
              0.00911,
              0.01507,
              0.01625,
              0.01767,
              0.01939,
              0.02144,
              0.0239
            ],
            [
              0.0091,
              0.01504,
              0.01621,
              0.01763,
              0.01934,
              0.02138,
              0.02383
            ],
            [
              0.0091,
              0.01501,
              0.01619,
              0.0176,
              0.0193,
              0.02134,
              0.02378
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.00176,
              -0.00415,
              -0.00533,
              -0.00675,
              -0.00845,
              -0.0105,
              -0.01296
            ],
            [
              0.00176,
              -0.00416,
              -0.00533,
              -0.00675,
              -0.00846,
              -0.0105,
              -0.01296
            ],
            [
              0.00176,
              -0.00414,
              -0.00532,
              -0.00674,
              -0.00844,
              -0.01049,
              -0.01295
            ],
            [
              0.00178,
              -0.00413,
              -0.00531,
              -0.00673,
              -0.00843,
              -0.01048,
              -0.01293
            ],
            [
              0.00179,
              -0.00413,
              -0.0053,
              -0.00672,
              -0.00842,
              -0.01047,
              -0.01293
            ],
            [
              0.00181,
              -0.00411,
              -0.00528,
              -0.0067,
              -0.00841,
              -0.01046,
              -0.01291
            ],
            [
              0.00182,
              -0.00409,
              -0.00527,
              -0.00669,
              -0.00839,
              -0.01044,
              -0.0129
            ],
            [
              0.00185,
              -0.00408,
              -0.00526,
              -0.00668,
              -0.00838,
              -0.01043,
              -0.01289
            ],
            [
              0.00187,
              -0.00407,
              -0.00525,
              -0.00667,
              -0.00837,
              -0.01042,
              -0.01288
            ],
            [
              0.00191,
              -0.00405,
              -0.00522,
              -0.00665,
              -0.00835,
              -0.0104,
              -0.01286
            ],
            [
              0.00194,
              -0.00403,
              -0.00521,
              -0.00663,
              -0.00834,
              -0.01039,
              -0.01285
            ],
            [
              0.00197,
              -0.004,
              -0.00518,
              -0.00661,
              -0.00832,
              -0.01037,
              -0.01283
            ],
            [
              0.002,
              -0.00398,
              -0.00516,
              -0.00659,
              -0.0083,
              -0.01036,
              -0.01282
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.01072,
              0.01661,
              0.01777,
              0.01918,
              0.02087,
              0.02289,
              0.02532
            ],
            [
              0.0107,
              0.0166,
              0.01777,
              0.01918,
              0.02086,
              0.02289,
              0.02532
            ],
            [
              0.01068,
              0.01659,
              0.01776,
              0.01916,
              0.02085,
              0.02288,
              0.02531
            ],
            [
              0.01065,
              0.01658,
              0.01774,
              0.01915,
              0.02083,
              0.02286,
              0.0253
            ],
            [
              0.01061,
              0.01655,
              0.01772,
              0.01913,
              0.02082,
              0.02285,
              0.02528
            ],
            [
              0.01057,
              0.01653,
              0.01769,
              0.01911,
              0.0208,
              0.02283,
              0.02527
            ],
            [
              0.01053,
              0.01649,
              0.01767,
              0.01908,
              0.02078,
              0.02282,
              0.02526
            ],
            [
              0.01049,
              0.01645,
              0.01762,
              0.01904,
              0.02074,
              0.02277,
              0.02522
            ],
            [
              0.01046,
              0.01641,
              0.01759,
              0.01901,
              0.0207,
              0.02273,
              0.02519
            ],
            [
              0.01044,
              0.01639,
              0.01756,
              0.01898,
              0.02066,
              0.0227,
              0.02514
            ],
            [
              0.01042,
              0.01635,
              0.01752,
              0.01894,
              0.02064,
              0.02267,
              0.02512
            ],
            [
              0.01041,
              0.01633,
              0.0175,
              0.01892,
              0.02061,
              0.02265,
              0.02509
            ],
            [
              0.0104,
              0.01631,
              0.01748,
              0.01889,
              0.02059,
              0.02262,
              0.02506
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.00172,
              -0.0042,
              -0.00537,
              -0.00679,
              -0.0085,
              -0.01054,
              -0.013
            ],
            [
              0.00172,
              -0.00419,
              -0.00537,
              -0.00679,
              -0.00849,
              -0.01054,
              -0.01299
            ],
            [
              0.00173,
              -0.00418,
              -0.00536,
              -0.00678,
              -0.00848,
              -0.01053,
              -0.01298
            ],
            [
              0.00174,
              -0.00418,
              -0.00536,
              -0.00678,
              -0.00848,
              -0.01053,
              -0.01298
            ],
            [
              0.00175,
              -0.00417,
              -0.00534,
              -0.00676,
              -0.00846,
              -0.01051,
              -0.01296
            ],
            [
              0.00177,
              -0.00415,
              -0.00533,
              -0.00675,
              -0.00845,
              -0.01049,
              -0.01295
            ],
            [
              0.00179,
              -0.00413,
              -0.00531,
              -0.00673,
              -0.00844,
              -0.01048,
              -0.01294
            ],
            [
              0.00181,
              -0.00412,
              -0.0053,
              -0.00672,
              -0.00842,
              -0.01047,
              -0.01293
            ],
            [
              0.00184,
              -0.00411,
              -0.00529,
              -0.00671,
              -0.00841,
              -0.01046,
              -0.01292
            ],
            [
              0.00187,
              -0.00408,
              -0.00526,
              -0.00669,
              -0.00839,
              -0.01044,
              -0.0129
            ],
            [
              0.0019,
              -0.00406,
              -0.00525,
              -0.00667,
              -0.00838,
              -0.01043,
              -0.01289
            ],
            [
              0.00193,
              -0.00404,
              -0.00522,
              -0.00665,
              -0.00836,
              -0.01041,
              -0.01287
            ],
            [
              0.00196,
              -0.00401,
              -0.0052,
              -0.00663,
              -0.00833,
              -0.01039,
              -0.01285
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.01172,
              0.0176,
              0.01877,
              0.02017,
              0.02186,
              0.02388,
              0.02632
            ],
            [
              0.0117,
              0.01758,
              0.01875,
              0.02015,
              0.02184,
              0.02387,
              0.0263
            ],
            [
              0.01168,
              0.01756,
              0.01872,
              0.02013,
              0.02182,
              0.02385,
              0.02629
            ],
            [
              0.01166,
              0.01755,
              0.01871,
              0.02012,
              0.02181,
              0.02384,
              0.02627
            ],
            [
              0.01163,
              0.01753,
              0.0187,
              0.02011,
              0.02179,
              0.02382,
              0.02625
            ],
            [
              0.01161,
              0.01752,
              0.01868,
              0.02009,
              0.02178,
              0.02381,
              0.02624
            ],
            [
              0.01158,
              0.0175,
              0.01867,
              0.02008,
              0.02177,
              0.02379,
              0.02622
            ],
            [
              0.01155,
              0.01748,
              0.01865,
              0.02006,
              0.02175,
              0.02378,
              0.02622
            ],
            [
              0.01154,
              0.01745,
              0.01862,
              0.02003,
              0.02173,
              0.02376,
              0.0262
            ],
            [
              0.01152,
              0.01743,
              0.0186,
              0.02002,
              0.02171,
              0.02375,
              0.02618
            ],
            [
              0.01151,
              0.01742,
              0.01859,
              0.02,
              0.02169,
              0.02373,
              0.02617
            ],
            [
              0.0115,
              0.01741,
              0.01858,
              0.01999,
              0.02168,
              0.02371,
              0.02615
            ],
            [
              0.01148,
              0.0174,
              0.01856,
              0.01997,
              0.02166,
              0.02369,
              0.02613
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.00064,
              -0.00532,
              -0.0065,
              -0.00792,
              -0.00963,
              -0.01168,
              -0.01414
            ],
            [
              0.00067,
              -0.00532,
              -0.0065,
              -0.00793,
              -0.00963,
              -0.01168,
              -0.01414
            ],
            [
              0.00069,
              -0.00531,
              -0.00649,
              -0.00792,
              -0.00963,
              -0.01168,
              -0.01414
            ],
            [
              0.00072,
              -0.00531,
              -0.00649,
              -0.00791,
              -0.00962,
              -0.01167,
              -0.01413
            ],
            [
              0.00076,
              -0.0053,
              -0.00648,
              -0.00791,
              -0.00961,
              -0.01166,
              -0.01413
            ],
            [
              0.0008,
              -0.00528,
              -0.00647,
              -0.00789,
              -0.0096,
              -0.01165,
              -0.01412
            ],
            [
              0.00085,
              -0.00527,
              -0.00645,
              -0.00788,
              -0.00959,
              -0.01164,
              -0.01411
            ],
            [
              0.0009,
              -0.00524,
              -0.00643,
              -0.00786,
              -0.00957,
              -0.01163,
              -0.0141
            ],
            [
              0.00095,
              -0.00521,
              -0.0064,
              -0.00783,
              -0.00955,
              -0.01161,
              -0.01408
            ],
            [
              0.001,
              -0.00516,
              -0.00636,
              -0.0078,
              -0.00952,
              -0.01158,
              -0.01405
            ],
            [
              0.00104,
              -0.00511,
              -0.00631,
              -0.00775,
              -0.00947,
              -0.01154,
              -0.01402
            ],
            [
              0.00107,
              -0.00505,
              -0.00625,
              -0.0077,
              -0.00942,
              -0.01149,
              -0.01397
            ],
            [
              0.0011,
              -0.00499,
              -0.00619,
              -0.00764,
              -0.00936,
              -0.01144,
              -0.01392
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.00594,
              0.01196,
              0.01314,
              0.01455,
              0.01625,
              0.01828,
              0.02072
            ],
            [
              0.00587,
              0.01195,
              0.01312,
              0.01453,
              0.01623,
              0.01827,
              0.02071
            ],
            [
              0.00582,
              0.01193,
              0.0131,
              0.01452,
              0.01623,
              0.01827,
              0.02071
            ],
            [
              0.00578,
              0.0119,
              0.01308,
              0.0145,
              0.01621,
              0.01825,
              0.0207
            ],
            [
              0.00572,
              0.01186,
              0.01305,
              0.01447,
              0.01618,
              0.01823,
              0.02068
            ],
            [
              0.00566,
              0.0118,
              0.01299,
              0.01442,
              0.01614,
              0.01819,
              0.02065
            ],
            [
              0.00561,
              0.01173,
              0.01292,
              0.01436,
              0.01608,
              0.01813,
              0.02059
            ],
            [
              0.00557,
              0.01165,
              0.01285,
              0.01429,
              0.016,
              0.01806,
              0.02052
            ],
            [
              0.00553,
              0.01159,
              0.01278,
              0.01421,
              0.01592,
              0.01798,
              0.02046
            ],
            [
              0.0055,
              0.01151,
              0.0127,
              0.01413,
              0.01584,
              0.0179,
              0.02036
            ],
            [
              0.00547,
              0.01146,
              0.01264,
              0.01407,
              0.01577,
              0.01782,
              0.02028
            ],
            [
              0.00546,
              0.01142,
              0.0126,
              0.01402,
              0.01571,
              0.01777,
              0.02022
            ],
            [
              0.00545,
              0.01138,
              0.01255,
              0.01397,
              0.01566,
              0.01771,
              0.02016
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.00056,
              -0.00544,
              -0.00662,
              -0.00804,
              -0.00973,
              -0.01178,
              -0.01423
            ],
            [
              0.00055,
              -0.00541,
              -0.00659,
              -0.00801,
              -0.00972,
              -0.01177,
              -0.01423
            ],
            [
              0.00058,
              -0.00541,
              -0.00659,
              -0.00801,
              -0.00972,
              -0.01177,
              -0.01423
            ],
            [
              0.0006,
              -0.0054,
              -0.0066,
              -0.00802,
              -0.00973,
              -0.01177,
              -0.01423
            ],
            [
              0.00063,
              -0.0054,
              -0.00658,
              -0.00801,
              -0.00972,
              -0.01177,
              -0.01423
            ],
            [
              0.00066,
              -0.00539,
              -0.00657,
              -0.008,
              -0.00971,
              -0.01176,
              -0.01422
            ],
            [
              0.00071,
              -0.00538,
              -0.00656,
              -0.00799,
              -0.0097,
              -0.01175,
              -0.01422
            ],
            [
              0.00075,
              -0.00535,
              -0.00654,
              -0.00797,
              -0.00968,
              -0.01174,
              -0.0142
            ],
            [
              0.00079,
              -0.00532,
              -0.00651,
              -0.00795,
              -0.00966,
              -0.01172,
              -0.01419
            ],
            [
              0.00084,
              -0.00528,
              -0.00648,
              -0.00791,
              -0.00963,
              -0.01169,
              -0.01417
            ],
            [
              0.00088,
              -0.00524,
              -0.00644,
              -0.00788,
              -0.0096,
              -0.01166,
              -0.01414
            ],
            [
              0.00091,
              -0.00519,
              -0.00639,
              -0.00783,
              -0.00955,
              -0.01162,
              -0.0141
            ],
            [
              0.00093,
              -0.00514,
              -0.00633,
              -0.00778,
              -0.0095,
              -0.01158,
              -0.01406
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.00699,
              0.01291,
              0.01408,
              0.01549,
              0.01717,
              0.01919,
              0.02162
            ],
            [
              0.00694,
              0.01289,
              0.01406,
              0.01547,
              0.01716,
              0.01919,
              0.02164
            ],
            [
              0.00691,
              0.01286,
              0.01404,
              0.01546,
              0.01715,
              0.01918,
              0.02162
            ],
            [
              0.00687,
              0.01285,
              0.01402,
              0.01544,
              0.01713,
              0.01917,
              0.02161
            ],
            [
              0.00682,
              0.01282,
              0.014,
              0.01541,
              0.01711,
              0.01915,
              0.02159
            ],
            [
              0.00677,
              0.01279,
              0.01397,
              0.01538,
              0.01708,
              0.01912,
              0.02157
            ],
            [
              0.00673,
              0.01274,
              0.01392,
              0.01535,
              0.01705,
              0.01909,
              0.02154
            ],
            [
              0.00669,
              0.01269,
              0.01387,
              0.01529,
              0.017,
              0.01903,
              0.02149
            ],
            [
              0.00664,
              0.01263,
              0.01381,
              0.01524,
              0.01694,
              0.01898,
              0.02143
            ],
            [
              0.00661,
              0.01259,
              0.01377,
              0.01519,
              0.01689,
              0.01894,
              0.02139
            ],
            [
              0.00659,
              0.01254,
              0.01372,
              0.01514,
              0.01684,
              0.01888,
              0.02133
            ],
            [
              0.00657,
              0.01251,
              0.01368,
              0.0151,
              0.0168,
              0.01884,
              0.02128
            ],
            [
              0.00656,
              0.01247,
              0.01364,
              0.01506,
              0.01675,
              0.01879,
              0.02122
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.01151,
    "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.0629,
              0.16205,
              0.18089,
              0.2035,
              0.23048,
              0.26281,
              0.30148
            ],
            [
              0.06596,
              0.16511,
              0.18395,
              0.20655,
              0.23352,
              0.26584,
              0.30451
            ],
            [
              0.06969,
              0.16887,
              0.1877,
              0.21031,
              0.23728,
              0.26959,
              0.30832
            ],
            [
              0.07548,
              0.17469,
              0.19354,
              0.21615,
              0.24311,
              0.27543,
              0.31411
            ],
            [
              0.0842,
              0.18344,
              0.20229,
              0.22491,
              0.25189,
              0.28422,
              0.32289
            ],
            [
              0.09736,
              0.19656,
              0.21542,
              0.23805,
              0.26505,
              0.29739,
              0.33606
            ],
            [
              0.11767,
              0.21643,
              0.23528,
              0.25788,
              0.28487,
              0.31721,
              0.35586
            ],
            [
              0.14842,
              0.24639,
              0.26524,
              0.28785,
              0.31482,
              0.34704,
              0.38544
            ],
            [
              0.18832,
              0.29135,
              0.31017,
              0.33277,
              0.35975,
              0.39207,
              0.43076
            ],
            [
              0.23979,
              0.35979,
              0.37811,
              0.40059,
              0.42755,
              0.45988,
              0.49815
            ],
            [
              0.30588,
              0.45272,
              0.47552,
              0.50092,
              0.52942,
              0.56182,
              0.60022
            ],
            [
              0.39037,
              0.57407,
              0.60117,
              0.63217,
              0.66707,
              0.70627,
              0.75007
            ],
            [
              0.4988,
              0.7292,
              0.7637,
              0.8017,
              0.8446,
              0.8927,
              0.9459
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.21157,
              0.5381,
              0.60186,
              0.67914,
              0.77136,
              0.88301,
              1.01557
            ],
            [
              0.21427,
              0.54212,
              0.60666,
              0.68386,
              0.77623,
              0.8879,
              1.02124
            ],
            [
              0.21774,
              0.54772,
              0.61166,
              0.68912,
              0.78205,
              0.89327,
              1.02672
            ],
            [
              0.22379,
              0.55468,
              0.61923,
              0.69649,
              0.78919,
              0.90036,
              1.03438
            ],
            [
              0.23339,
              0.56571,
              0.62991,
              0.70779,
              0.80073,
              0.91199,
              1.04591
            ],
            [
              0.2491,
              0.58201,
              0.64633,
              0.72481,
              0.81733,
              0.92842,
              1.06262
            ],
            [
              0.27421,
              0.60643,
              0.67142,
              0.74951,
              0.84247,
              0.95433,
              1.08833
            ],
            [
              0.31294,
              0.64389,
              0.70908,
              0.78712,
              0.88046,
              0.99336,
              1.12606
            ],
            [
              0.37203,
              0.70171,
              0.76645,
              0.84425,
              0.93795,
              1.05045,
              1.18415
            ],
            [
              0.46047,
              0.78839,
              0.85329,
              0.93149,
              1.02469,
              1.13659,
              1.27079
            ],
            [
              0.59032,
              0.91662,
              0.98132,
              1.05912,
              1.15362,
              1.26482,
              1.39962
            ],
            [
              0.77537,
              1.10857,
              1.17287,
              1.25047,
              1.34427,
              1.45627,
              1.58987
            ],
            [
              1.0312,
              1.3957,
              1.4605,
              1.5377,
              1.6308,
              1.7422,
              1.8767
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.05465,
              0.17271,
              0.19593,
              0.22419,
              0.25821,
              0.29867,
              0.3476
            ],
            [
              0.05463,
              0.17264,
              0.19615,
              0.22414,
              0.25805,
              0.29886,
              0.34775
            ],
            [
              0.05468,
              0.17259,
              0.19597,
              0.22442,
              0.25801,
              0.29883,
              0.34761
            ],
            [
              0.05462,
              0.17251,
              0.19586,
              0.22414,
              0.2581,
              0.29893,
              0.34756
            ],
            [
              0.05438,
              0.17257,
              0.19591,
              0.22421,
              0.25815,
              0.29891,
              0.3476
            ],
            [
              0.05301,
              0.1727,
              0.19613,
              0.22414,
              0.25814,
              0.2988,
              0.34774
            ],
            [
              0.05335,
              0.17246,
              0.19583,
              0.22416,
              0.25796,
              0.29868,
              0.34758
            ],
            [
              0.05858,
              0.17188,
              0.19563,
              0.22405,
              0.25806,
              0.29881,
              0.34757
            ],
            [
              0.06904,
              0.1748,
              0.19711,
              0.22446,
              0.25775,
              0.2985,
              0.34755
            ],
            [
              0.084,
              0.18867,
              0.20899,
              0.234,
              0.26472,
              0.3028,
              0.34944
            ],
            [
              0.10504,
              0.22186,
              0.23977,
              0.26158,
              0.28889,
              0.32329,
              0.36565
            ],
            [
              0.1341,
              0.2714,
              0.2921,
              0.3156,
              0.3421,
              0.3728,
              0.4097
            ],
            [
              0.1734,
              0.3403,
              0.3638,
              0.3911,
              0.4215,
              0.456,
              0.4951
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.1257,
              0.5343,
              0.61477,
              0.71221,
              0.82886,
              0.96927,
              1.13742
            ],
            [
              0.12579,
              0.53392,
              0.61469,
              0.71222,
              0.82887,
              0.9695,
              1.13776
            ],
            [
              0.12574,
              0.5343,
              0.61476,
              0.7122,
              0.8297,
              0.96928,
              1.1376
            ],
            [
              0.12588,
              0.53396,
              0.61485,
              0.71215,
              0.82889,
              0.96921,
              1.13739
            ],
            [
              0.12593,
              0.53408,
              0.6147,
              0.71218,
              0.82895,
              0.96917,
              1.13762
            ],
            [
              0.12586,
              0.53409,
              0.6147,
              0.71263,
              0.82896,
              0.96914,
              1.13748
            ],
            [
              0.12606,
              0.5341,
              0.6147,
              0.71229,
              0.82883,
              0.96924,
              1.1376
            ],
            [
              0.12614,
              0.53399,
              0.61495,
              0.71225,
              0.82892,
              0.97008,
              1.13737
            ],
            [
              0.12601,
              0.53438,
              0.61478,
              0.71219,
              0.82888,
              0.96926,
              1.13739
            ],
            [
              0.1264,
              0.53385,
              0.61489,
              0.71301,
              0.8297,
              0.9693,
              1.1376
            ],
            [
              0.1316,
              0.5339,
              0.6147,
              0.7122,
              0.8298,
              0.9691,
              1.1373
            ],
            [
              0.1523,
              0.5342,
              0.6146,
              0.7121,
              0.8287,
              0.9698,
              1.1375
            ],
            [
              0.1881,
              0.5488,
              0.6237,
              0.7168,
              0.8301,
              0.9689,
              1.1374
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.05098,
              0.15175,
              0.17071,
              0.19344,
              0.22052,
              0.25294,
              0.29169
            ],
            [
              0.05405,
              0.15481,
              0.17377,
              0.19647,
              0.22352,
              0.25592,
              0.29463
            ],
            [
              0.05782,
              0.15859,
              0.17747,
              0.20019,
              0.22725,
              0.25966,
              0.29839
            ],
            [
              0.06367,
              0.16434,
              0.18329,
              0.206,
              0.23308,
              0.26548,
              0.30417
            ],
            [
              0.07256,
              0.17307,
              0.19202,
              0.21474,
              0.24183,
              0.27425,
              0.31296
            ],
            [
              0.08614,
              0.1861,
              0.20512,
              0.22784,
              0.25496,
              0.28739,
              0.32613
            ],
            [
              0.10754,
              0.20609,
              0.225,
              0.24769,
              0.27466,
              0.30706,
              0.34567
            ],
            [
              0.13665,
              0.23609,
              0.25497,
              0.27764,
              0.30464,
              0.33701,
              0.37579
            ],
            [
              0.17421,
              0.28115,
              0.30001,
              0.32264,
              0.34962,
              0.382,
              0.42052
            ],
            [
              0.22253,
              0.34958,
              0.36856,
              0.39068,
              0.41705,
              0.44949,
              0.48823
            ],
            [
              0.28453,
              0.44115,
              0.46392,
              0.49002,
              0.51932,
              0.55222,
              0.59002
            ],
            [
              0.36417,
              0.55887,
              0.58707,
              0.61877,
              0.65407,
              0.69457,
              0.73937
            ],
            [
              0.4659,
              0.7109,
              0.7461,
              0.7856,
              0.83,
              0.8793,
              0.934
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.24445,
              0.66254,
              0.74458,
              0.84362,
              0.96232,
              1.10507,
              1.27637
            ],
            [
              0.24658,
              0.66745,
              0.74978,
              0.84829,
              0.96696,
              1.10994,
              1.28134
            ],
            [
              0.24975,
              0.67214,
              0.75495,
              0.85428,
              0.97309,
              1.11532,
              1.28592
            ],
            [
              0.255,
              0.67976,
              0.76187,
              0.86159,
              0.98067,
              1.12348,
              1.29378
            ],
            [
              0.26391,
              0.68975,
              0.77296,
              0.87234,
              0.99171,
              1.13471,
              1.30631
            ],
            [
              0.2792,
              0.70544,
              0.78886,
              0.88902,
              1.00792,
              1.15132,
              1.32282
            ],
            [
              0.30365,
              0.72925,
              0.81261,
              0.91323,
              1.03263,
              1.17543,
              1.34743
            ],
            [
              0.3418,
              0.76616,
              0.84976,
              0.95016,
              1.07036,
              1.21436,
              1.38466
            ],
            [
              0.40051,
              0.82315,
              0.90645,
              1.00665,
              1.12645,
              1.27055,
              1.44205
            ],
            [
              0.48788,
              0.90829,
              0.99089,
              1.09179,
              1.21149,
              1.35469,
              1.52639
            ],
            [
              0.61512,
              1.03352,
              1.11602,
              1.21572,
              1.33692,
              1.48042,
              1.65382
            ],
            [
              0.79727,
              1.21877,
              1.30087,
              1.40097,
              1.52067,
              1.66387,
              1.83647
            ],
            [
              1.0491,
              1.4938,
              1.5767,
              1.676,
              1.7954,
              1.9386,
              2.1103
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.05174,
              0.17004,
              0.19314,
              0.22127,
              0.25497,
              0.29593,
              0.34449
            ],
            [
              0.05168,
              0.16985,
              0.19308,
              0.2212,
              0.25503,
              0.29589,
              0.34465
            ],
            [
              0.05147,
              0.16982,
              0.1931,
              0.22127,
              0.25498,
              0.29578,
              0.34432
            ],
            [
              0.05104,
              0.16968,
              0.19307,
              0.22121,
              0.25491,
              0.29575,
              0.34464
            ],
            [
              0.04979,
              0.16974,
              0.19302,
              0.2212,
              0.25493,
              0.29567,
              0.3446
            ],
            [
              0.0492,
              0.16951,
              0.19298,
              0.22112,
              0.25487,
              0.29578,
              0.34449
            ],
            [
              0.05156,
              0.16946,
              0.19274,
              0.22111,
              0.25485,
              0.29543,
              0.3446
            ],
            [
              0.05914,
              0.1686,
              0.1921,
              0.22077,
              0.25486,
              0.2955,
              0.34451
            ],
            [
              0.07018,
              0.173,
              0.19494,
              0.22189,
              0.25461,
              0.29517,
              0.344
            ],
            [
              0.08618,
              0.1888,
              0.20845,
              0.23287,
              0.26341,
              0.30061,
              0.34656
            ],
            [
              0.1084,
              0.22335,
              0.24145,
              0.26267,
              0.28921,
              0.32284,
              0.36469
            ],
            [
              0.1383,
              0.2746,
              0.2948,
              0.318,
              0.3447,
              0.3744,
              0.4107
            ],
            [
              0.1794,
              0.3443,
              0.3677,
              0.3944,
              0.4242,
              0.4581,
              0.4966
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.15446,
              0.68491,
              0.79025,
              0.91698,
              1.06893,
              1.25027,
              1.46836
            ],
            [
              0.15442,
              0.68515,
              0.79015,
              0.91692,
              1.06893,
              1.25038,
              1.46845
            ],
            [
              0.15449,
              0.6851,
              0.79041,
              0.91547,
              1.06706,
              1.24924,
              1.4683
            ],
            [
              0.15451,
              0.68511,
              0.79032,
              0.91751,
              1.06767,
              1.2492,
              1.46856
            ],
            [
              0.15448,
              0.6851,
              0.79045,
              0.91754,
              1.06695,
              1.25034,
              1.46836
            ],
            [
              0.15454,
              0.68508,
              0.79042,
              0.91574,
              1.06693,
              1.24938,
              1.46804
            ],
            [
              0.15471,
              0.6851,
              0.79022,
              0.91698,
              1.06951,
              1.25051,
              1.46796
            ],
            [
              0.15465,
              0.68505,
              0.79032,
              0.91543,
              1.06723,
              1.24919,
              1.46809
            ],
            [
              0.15467,
              0.68505,
              0.79035,
              0.91574,
              1.06688,
              1.24919,
              1.46849
            ],
            [
              0.15496,
              0.68496,
              0.79018,
              0.9158,
              1.0672,
              1.2491,
              1.4681
            ],
            [
              0.1587,
              0.6853,
              0.7904,
              0.9154,
              1.0689,
              1.2494,
              1.4681
            ],
            [
              0.1753,
              0.6836,
              0.7887,
              0.9158,
              1.0694,
              1.2516,
              1.4686
            ],
            [
              0.2061,
              0.6922,
              0.7927,
              0.9164,
              1.0678,
              1.2519,
              1.4692
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.05191,
              0.15263,
              0.17158,
              0.1943,
              0.22135,
              0.25374,
              0.29244
            ],
            [
              0.05498,
              0.15567,
              0.17461,
              0.19732,
              0.22437,
              0.25675,
              0.29551
            ],
            [
              0.05875,
              0.15946,
              0.17841,
              0.20111,
              0.22816,
              0.26056,
              0.29923
            ],
            [
              0.06457,
              0.1652,
              0.18413,
              0.20685,
              0.23383,
              0.26623,
              0.30496
            ],
            [
              0.07342,
              0.17393,
              0.19288,
              0.21559,
              0.24265,
              0.27503,
              0.31373
            ],
            [
              0.08704,
              0.18698,
              0.20598,
              0.22869,
              0.25578,
              0.28817,
              0.32687
            ],
            [
              0.10833,
              0.20694,
              0.22586,
              0.24855,
              0.27554,
              0.30786,
              0.34652
            ],
            [
              0.13764,
              0.23691,
              0.25581,
              0.27847,
              0.30549,
              0.33785,
              0.37655
            ],
            [
              0.17543,
              0.28194,
              0.30081,
              0.32347,
              0.35043,
              0.3828,
              0.42149
            ],
            [
              0.22406,
              0.35044,
              0.3694,
              0.39156,
              0.41807,
              0.45027,
              0.48901
            ],
            [
              0.28646,
              0.44222,
              0.46492,
              0.49092,
              0.52012,
              0.55302,
              0.59102
            ],
            [
              0.36667,
              0.56017,
              0.58827,
              0.61987,
              0.65507,
              0.69547,
              0.74037
            ],
            [
              0.4691,
              0.7126,
              0.7477,
              0.7873,
              0.8314,
              0.8806,
              0.9353
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.31107,
              0.72377,
              0.80474,
              0.90234,
              1.01917,
              1.15957,
              1.32787
            ],
            [
              0.31455,
              0.72839,
              0.80945,
              0.90714,
              1.02404,
              1.16454,
              1.33294
            ],
            [
              0.31842,
              0.7336,
              0.81479,
              0.91258,
              1.02962,
              1.17012,
              1.33882
            ],
            [
              0.32431,
              0.74101,
              0.82234,
              0.92027,
              1.03738,
              1.17797,
              1.34658
            ],
            [
              0.33361,
              0.75169,
              0.83302,
              0.93113,
              1.04841,
              1.18921,
              1.35801
            ],
            [
              0.34857,
              0.76778,
              0.84953,
              0.94732,
              1.06482,
              1.20592,
              1.37472
            ],
            [
              0.37247,
              0.79187,
              0.87387,
              0.97253,
              1.09013,
              1.23073,
              1.40003
            ],
            [
              0.41009,
              0.82872,
              0.91066,
              1.00946,
              1.12776,
              1.26966,
              1.43776
            ],
            [
              0.46756,
              0.88535,
              0.96725,
              1.06595,
              1.18405,
              1.32575,
              1.49555
            ],
            [
              0.55443,
              0.97059,
              1.05259,
              1.15099,
              1.26859,
              1.41009,
              1.57969
            ],
            [
              0.68112,
              1.09512,
              1.17662,
              1.27662,
              1.39422,
              1.53652,
              1.70622
            ],
            [
              0.86747,
              1.28047,
              1.36197,
              1.46057,
              1.57817,
              1.71947,
              1.88917
            ],
            [
              1.1317,
              1.5561,
              1.6375,
              1.7356,
              1.853,
              1.994,
              2.163
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.06833,
              0.18453,
              0.20769,
              0.23575,
              0.26931,
              0.30981,
              0.35854
            ],
            [
              0.06823,
              0.18448,
              0.20772,
              0.23571,
              0.26934,
              0.30985,
              0.35853
            ],
            [
              0.06804,
              0.18445,
              0.20772,
              0.23567,
              0.26933,
              0.30982,
              0.3585
            ],
            [
              0.06757,
              0.18442,
              0.20756,
              0.23568,
              0.2693,
              0.30983,
              0.35853
            ],
            [
              0.06634,
              0.18429,
              0.20756,
              0.23562,
              0.26931,
              0.30981,
              0.35856
            ],
            [
              0.0656,
              0.1842,
              0.20744,
              0.23556,
              0.26925,
              0.30981,
              0.3585
            ],
            [
              0.06768,
              0.18393,
              0.20731,
              0.23542,
              0.26916,
              0.30974,
              0.35853
            ],
            [
              0.0749,
              0.18331,
              0.20665,
              0.23511,
              0.26894,
              0.30962,
              0.35843
            ],
            [
              0.08834,
              0.18771,
              0.20936,
              0.23621,
              0.26898,
              0.30925,
              0.35828
            ],
            [
              0.10744,
              0.20349,
              0.223,
              0.24741,
              0.27756,
              0.31484,
              0.36077
            ],
            [
              0.13451,
              0.2384,
              0.25586,
              0.27722,
              0.30368,
              0.337,
              0.37882
            ],
            [
              0.1715,
              0.2922,
              0.3114,
              0.3338,
              0.3596,
              0.3888,
              0.4249
            ],
            [
              0.2222,
              0.3656,
              0.3877,
              0.413,
              0.4417,
              0.4744,
              0.512
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.1906,
              0.71522,
              0.81903,
              0.94393,
              1.09386,
              1.2737,
              1.48955
            ],
            [
              0.19079,
              0.71496,
              0.81909,
              0.94398,
              1.09363,
              1.27377,
              1.48953
            ],
            [
              0.19067,
              0.71514,
              0.81868,
              0.94397,
              1.09375,
              1.27371,
              1.48955
            ],
            [
              0.19064,
              0.71519,
              0.8188,
              0.94402,
              1.09369,
              1.27371,
              1.48962
            ],
            [
              0.19077,
              0.71502,
              0.81876,
              0.94391,
              1.09376,
              1.27374,
              1.48957
            ],
            [
              0.19075,
              0.71504,
              0.81865,
              0.94404,
              1.09375,
              1.27325,
              1.48954
            ],
            [
              0.19072,
              0.71547,
              0.81861,
              0.94399,
              1.09367,
              1.27373,
              1.48923
            ],
            [
              0.19069,
              0.71504,
              0.81858,
              0.94402,
              1.09368,
              1.27368,
              1.48956
            ],
            [
              0.19071,
              0.71547,
              0.81911,
              0.94413,
              1.09373,
              1.27373,
              1.4897
            ],
            [
              0.19082,
              0.71505,
              0.8188,
              0.944,
              1.0938,
              1.2737,
              1.4897
            ],
            [
              0.1916,
              0.7153,
              0.8186,
              0.9438,
              1.0937,
              1.2737,
              1.4896
            ],
            [
              0.2015,
              0.7155,
              0.8191,
              0.9439,
              1.0936,
              1.2735,
              1.4897
            ],
            [
              0.2312,
              0.7192,
              0.8211,
              0.9442,
              1.0935,
              1.2738,
              1.4897
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.075,
              0.17411,
              0.19295,
              0.21556,
              0.24252,
              0.27484,
              0.31355
            ],
            [
              0.07842,
              0.17753,
              0.19637,
              0.21898,
              0.24596,
              0.27828,
              0.31696
            ],
            [
              0.08257,
              0.18168,
              0.20052,
              0.22314,
              0.2501,
              0.28244,
              0.3211
            ],
            [
              0.08876,
              0.18791,
              0.20675,
              0.22937,
              0.25633,
              0.28868,
              0.32732
            ],
            [
              0.09774,
              0.1969,
              0.21574,
              0.23835,
              0.26534,
              0.29767,
              0.33632
            ],
            [
              0.1109,
              0.21003,
              0.22886,
              0.25146,
              0.27847,
              0.3108,
              0.34948
            ],
            [
              0.13054,
              0.22949,
              0.24831,
              0.27101,
              0.29799,
              0.33031,
              0.36901
            ],
            [
              0.15964,
              0.25868,
              0.27754,
              0.30017,
              0.32715,
              0.35946,
              0.39824
            ],
            [
              0.19968,
              0.30236,
              0.32124,
              0.34388,
              0.37091,
              0.40324,
              0.44197
            ],
            [
              0.25432,
              0.36758,
              0.38662,
              0.40929,
              0.43634,
              0.46876,
              0.5075
            ],
            [
              0.32712,
              0.45902,
              0.48032,
              0.50512,
              0.53362,
              0.56672,
              0.60562
            ],
            [
              0.42297,
              0.58337,
              0.60817,
              0.63667,
              0.66907,
              0.70627,
              0.74897
            ],
            [
              0.5485,
              0.7495,
              0.7797,
              0.814,
              0.8526,
              0.8962,
              0.9456
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.26674,
              0.59354,
              0.65794,
              0.73551,
              0.82839,
              0.94004,
              1.07397
            ],
            [
              0.27021,
              0.59754,
              0.66198,
              0.73961,
              0.83253,
              0.94422,
              1.07814
            ],
            [
              0.27427,
              0.60237,
              0.66685,
              0.7445,
              0.83746,
              0.94917,
              1.08312
            ],
            [
              0.2804,
              0.60965,
              0.67417,
              0.75187,
              0.84486,
              0.95662,
              1.09068
            ],
            [
              0.29025,
              0.62055,
              0.68519,
              0.763,
              0.85615,
              0.96801,
              1.10211
            ],
            [
              0.30602,
              0.63713,
              0.70179,
              0.77976,
              0.87298,
              0.98492,
              1.11922
            ],
            [
              0.33114,
              0.66237,
              0.72729,
              0.80529,
              0.89893,
              1.01093,
              1.14533
            ],
            [
              0.36936,
              0.70056,
              0.76533,
              0.84336,
              0.93746,
              1.04956,
              1.18396
            ],
            [
              0.42807,
              0.75835,
              0.82355,
              0.90175,
              0.99515,
              1.10715,
              1.24225
            ],
            [
              0.51566,
              0.84539,
              0.91019,
              0.98819,
              1.08139,
              1.19299,
              1.32739
            ],
            [
              0.64472,
              0.97352,
              1.03842,
              1.11642,
              1.20982,
              1.32192,
              1.45692
            ],
            [
              0.83497,
              1.16427,
              1.22887,
              1.30737,
              1.40067,
              1.51287,
              1.64727
            ],
            [
              1.1021,
              1.4494,
              1.5142,
              1.5921,
              1.6853,
              1.7974,
              1.9317
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.05427,
              0.17271,
              0.19602,
              0.22421,
              0.25803,
              0.29879,
              0.34754
            ],
            [
              0.05426,
              0.17275,
              0.19592,
              0.2242,
              0.2581,
              0.2989,
              0.34756
            ],
            [
              0.05425,
              0.17262,
              0.19594,
              0.22419,
              0.25803,
              0.29897,
              0.34757
            ],
            [
              0.05418,
              0.17251,
              0.19603,
              0.22427,
              0.25807,
              0.2987,
              0.34759
            ],
            [
              0.05407,
              0.1725,
              0.19594,
              0.2242,
              0.2582,
              0.29871,
              0.34772
            ],
            [
              0.05368,
              0.17254,
              0.19586,
              0.22413,
              0.25803,
              0.29874,
              0.34759
            ],
            [
              0.05401,
              0.17243,
              0.19589,
              0.22424,
              0.25796,
              0.29886,
              0.34773
            ],
            [
              0.05692,
              0.17219,
              0.19568,
              0.22414,
              0.25789,
              0.29884,
              0.34771
            ],
            [
              0.06387,
              0.17426,
              0.19689,
              0.2246,
              0.2581,
              0.29863,
              0.34762
            ],
            [
              0.07481,
              0.18239,
              0.2041,
              0.23052,
              0.26253,
              0.30158,
              0.34914
            ],
            [
              0.09153,
              0.20342,
              0.22333,
              0.24756,
              0.2773,
              0.31417,
              0.35928
            ],
            [
              0.1155,
              0.2389,
              0.2596,
              0.2839,
              0.3124,
              0.346,
              0.3872
            ],
            [
              0.1487,
              0.2917,
              0.3139,
              0.3397,
              0.3695,
              0.4046,
              0.4453
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.15984,
              0.5726,
              0.65433,
              0.75183,
              0.86917,
              1.01102,
              1.17932
            ],
            [
              0.15985,
              0.5725,
              0.6539,
              0.7518,
              0.8692,
              1.01034,
              1.17949
            ],
            [
              0.15992,
              0.57258,
              0.65372,
              0.7525,
              0.86927,
              1.01145,
              1.17938
            ],
            [
              0.15987,
              0.57255,
              0.65435,
              0.75178,
              0.86922,
              1.01146,
              1.1793
            ],
            [
              0.15986,
              0.5726,
              0.65377,
              0.75249,
              0.86999,
              1.01141,
              1.17934
            ],
            [
              0.15995,
              0.57263,
              0.65379,
              0.75265,
              0.87004,
              1.01149,
              1.1795
            ],
            [
              0.15983,
              0.5725,
              0.65439,
              0.75281,
              0.86985,
              1.01024,
              1.17941
            ],
            [
              0.15999,
              0.57255,
              0.65439,
              0.75247,
              0.86992,
              1.01023,
              1.17945
            ],
            [
              0.15985,
              0.57255,
              0.65377,
              0.75176,
              0.87018,
              1.01152,
              1.17947
            ],
            [
              0.15997,
              0.5724,
              0.6544,
              0.75183,
              0.8692,
              1.0114,
              1.1794
            ],
            [
              0.1612,
              0.5725,
              0.6538,
              0.7525,
              0.8692,
              1.0112,
              1.1802
            ],
            [
              0.1753,
              0.5727,
              0.6542,
              0.7527,
              0.8699,
              1.0103,
              1.1793
            ],
            [
              0.21,
              0.5823,
              0.6598,
              0.7544,
              0.8705,
              1.0109,
              1.1799
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.06352,
              0.16383,
              0.18277,
              0.2055,
              0.23254,
              0.26498,
              0.30365
            ],
            [
              0.06695,
              0.16723,
              0.18618,
              0.2089,
              0.23596,
              0.26838,
              0.30707
            ],
            [
              0.07109,
              0.17138,
              0.19033,
              0.21304,
              0.24008,
              0.27249,
              0.31124
            ],
            [
              0.0773,
              0.17757,
              0.19653,
              0.21924,
              0.24627,
              0.27874,
              0.31744
            ],
            [
              0.08631,
              0.18653,
              0.20547,
              0.22819,
              0.25523,
              0.28764,
              0.32634
            ],
            [
              0.09961,
              0.19959,
              0.21854,
              0.24126,
              0.26831,
              0.30075,
              0.33948
            ],
            [
              0.11949,
              0.21907,
              0.238,
              0.26071,
              0.28776,
              0.3202,
              0.3589
            ],
            [
              0.14771,
              0.24822,
              0.26712,
              0.28982,
              0.31689,
              0.34932,
              0.38814
            ],
            [
              0.18646,
              0.292,
              0.31091,
              0.3336,
              0.36061,
              0.39311,
              0.43192
            ],
            [
              0.23882,
              0.3569,
              0.37631,
              0.39909,
              0.42613,
              0.45861,
              0.49737
            ],
            [
              0.30825,
              0.44712,
              0.46882,
              0.49412,
              0.52302,
              0.55662,
              0.59552
            ],
            [
              0.39957,
              0.56957,
              0.59507,
              0.62417,
              0.65707,
              0.69487,
              0.73797
            ],
            [
              0.519,
              0.7325,
              0.7638,
              0.7991,
              0.8386,
              0.883,
              0.9331
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.32049,
              0.74638,
              0.8303,
              0.93145,
              1.05257,
              1.19817,
              1.37277
            ],
            [
              0.32367,
              0.75029,
              0.83426,
              0.93546,
              1.05664,
              1.20224,
              1.37684
            ],
            [
              0.32736,
              0.75492,
              0.83897,
              0.94024,
              1.06142,
              1.20722,
              1.38172
            ],
            [
              0.33298,
              0.76204,
              0.84613,
              0.94746,
              1.06868,
              1.21447,
              1.38918
            ],
            [
              0.34224,
              0.77263,
              0.85691,
              0.95831,
              1.07981,
              1.22561,
              1.40051
            ],
            [
              0.35733,
              0.78881,
              0.87311,
              0.97472,
              1.09632,
              1.24232,
              1.41742
            ],
            [
              0.38195,
              0.81359,
              0.89813,
              0.99993,
              1.12183,
              1.26803,
              1.44323
            ],
            [
              0.41952,
              0.85106,
              0.93556,
              1.03736,
              1.16006,
              1.30626,
              1.48156
            ],
            [
              0.47764,
              0.90805,
              0.99295,
              1.09495,
              1.21675,
              1.36295,
              1.53895
            ],
            [
              0.56395,
              0.99369,
              1.07819,
              1.18049,
              1.30139,
              1.44709,
              1.62239
            ],
            [
              0.68982,
              1.11832,
              1.20292,
              1.30472,
              1.42652,
              1.57262,
              1.74862
            ],
            [
              0.87407,
              1.30197,
              1.38627,
              1.48847,
              1.61027,
              1.75647,
              1.93187
            ],
            [
              1.1359,
              1.5743,
              1.6587,
              1.7604,
              1.8819,
              2.028,
              2.2033
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.05051,
              0.16957,
              0.19303,
              0.22114,
              0.25492,
              0.29579,
              0.34432
            ],
            [
              0.05043,
              0.16959,
              0.19298,
              0.22112,
              0.25503,
              0.29567,
              0.34437
            ],
            [
              0.05037,
              0.16956,
              0.19293,
              0.22111,
              0.25506,
              0.29553,
              0.34463
            ],
            [
              0.05031,
              0.16949,
              0.19301,
              0.22121,
              0.25504,
              0.29573,
              0.34478
            ],
            [
              0.05008,
              0.16957,
              0.19287,
              0.22121,
              0.25488,
              0.29545,
              0.34425
            ],
            [
              0.04996,
              0.1696,
              0.19287,
              0.22107,
              0.2548,
              0.29544,
              0.34439
            ],
            [
              0.05147,
              0.16933,
              0.19276,
              0.22094,
              0.25483,
              0.29576,
              0.34461
            ],
            [
              0.05582,
              0.16913,
              0.1924,
              0.22066,
              0.25459,
              0.29545,
              0.34423
            ],
            [
              0.06374,
              0.17187,
              0.19429,
              0.22197,
              0.2551,
              0.29515,
              0.34418
            ],
            [
              0.07594,
              0.18123,
              0.2024,
              0.22833,
              0.26027,
              0.2989,
              0.34629
            ],
            [
              0.09381,
              0.20389,
              0.2234,
              0.24692,
              0.27625,
              0.31255,
              0.35723
            ],
            [
              0.1188,
              0.2404,
              0.2607,
              0.2847,
              0.3129,
              0.3462,
              0.3867
            ],
            [
              0.1531,
              0.2946,
              0.3163,
              0.3417,
              0.3713,
              0.4057,
              0.4462
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.20175,
              0.74644,
              0.85371,
              0.98347,
              1.13872,
              1.32549,
              1.54928
            ],
            [
              0.20177,
              0.74649,
              0.85351,
              0.98339,
              1.1386,
              1.32533,
              1.54933
            ],
            [
              0.20173,
              0.74637,
              0.85371,
              0.98335,
              1.1387,
              1.32571,
              1.54932
            ],
            [
              0.20174,
              0.74648,
              0.85356,
              0.98331,
              1.13876,
              1.32542,
              1.54956
            ],
            [
              0.20174,
              0.74643,
              0.85375,
              0.9833,
              1.13871,
              1.32551,
              1.54919
            ],
            [
              0.20179,
              0.74636,
              0.85367,
              0.98343,
              1.13881,
              1.32554,
              1.54923
            ],
            [
              0.20178,
              0.74631,
              0.85371,
              0.98328,
              1.13878,
              1.3255,
              1.54943
            ],
            [
              0.20167,
              0.74624,
              0.85377,
              0.98326,
              1.13859,
              1.32557,
              1.54927
            ],
            [
              0.20174,
              0.74642,
              0.8536,
              0.98361,
              1.13863,
              1.32553,
              1.5494
            ],
            [
              0.20191,
              0.7464,
              0.8534,
              0.9834,
              1.1387,
              1.3255,
              1.5495
            ],
            [
              0.2023,
              0.7463,
              0.8537,
              0.9831,
              1.1386,
              1.3255,
              1.5495
            ],
            [
              0.212,
              0.7464,
              0.854,
              0.9834,
              1.1388,
              1.3253,
              1.5496
            ],
            [
              0.2404,
              0.7504,
              0.8552,
              0.9838,
              1.1389,
              1.3255,
              1.5492
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.06443,
              0.16473,
              0.18366,
              0.20638,
              0.23343,
              0.2658,
              0.30454
            ],
            [
              0.06787,
              0.16813,
              0.18708,
              0.20978,
              0.23683,
              0.26921,
              0.30791
            ],
            [
              0.072,
              0.17227,
              0.19121,
              0.21392,
              0.24096,
              0.27335,
              0.31207
            ],
            [
              0.07822,
              0.17849,
              0.19742,
              0.22012,
              0.24716,
              0.27954,
              0.31826
            ],
            [
              0.0872,
              0.18742,
              0.20636,
              0.22907,
              0.25612,
              0.28851,
              0.32721
            ],
            [
              0.1005,
              0.20048,
              0.21944,
              0.24214,
              0.26919,
              0.30161,
              0.34031
            ],
            [
              0.12036,
              0.21997,
              0.23891,
              0.26159,
              0.28862,
              0.32102,
              0.35977
            ],
            [
              0.14869,
              0.24911,
              0.26801,
              0.2907,
              0.31774,
              0.35019,
              0.38892
            ],
            [
              0.18755,
              0.29289,
              0.3118,
              0.33449,
              0.36152,
              0.39387,
              0.43275
            ],
            [
              0.24014,
              0.35783,
              0.3772,
              0.39998,
              0.42703,
              0.45948,
              0.49823
            ],
            [
              0.3099,
              0.44812,
              0.46982,
              0.49502,
              0.52402,
              0.55752,
              0.59642
            ],
            [
              0.40157,
              0.57077,
              0.59617,
              0.62517,
              0.65817,
              0.69587,
              0.73897
            ],
            [
              0.5217,
              0.7342,
              0.7653,
              0.8004,
              0.8398,
              0.8842,
              0.9342
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.37765,
              0.78792,
              0.86854,
              0.96572,
              1.08207,
              1.22177,
              1.38917
            ],
            [
              0.38113,
              0.79191,
              0.87257,
              0.96981,
              1.08614,
              1.22594,
              1.39344
            ],
            [
              0.38531,
              0.79662,
              0.87739,
              0.97464,
              1.09102,
              1.23082,
              1.39832
            ],
            [
              0.39156,
              0.8039,
              0.88462,
              0.98198,
              1.09838,
              1.23818,
              1.40578
            ],
            [
              0.40143,
              0.81468,
              0.89557,
              0.99301,
              1.10951,
              1.24951,
              1.41711
            ],
            [
              0.41691,
              0.831,
              0.91202,
              1.00962,
              1.12622,
              1.26642,
              1.43422
            ],
            [
              0.4414,
              0.85614,
              0.93723,
              1.03513,
              1.15193,
              1.29213,
              1.46013
            ],
            [
              0.47933,
              0.89366,
              0.97476,
              1.07266,
              1.19026,
              1.33056,
              1.49856
            ],
            [
              0.53666,
              0.95115,
              1.03255,
              1.13025,
              1.24705,
              1.38795,
              1.55625
            ],
            [
              0.62268,
              1.03709,
              1.11829,
              1.21519,
              1.33169,
              1.47169,
              1.63989
            ],
            [
              0.74892,
              1.16172,
              1.24292,
              1.34062,
              1.45742,
              1.59832,
              1.76652
            ],
            [
              0.93377,
              1.34647,
              1.42757,
              1.52527,
              1.64217,
              1.78247,
              1.95067
            ],
            [
              1.2046,
              1.62,
              1.701,
              1.7985,
              1.9153,
              2.0555,
              2.2234
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.06697,
              0.18432,
              0.20751,
              0.23567,
              0.26923,
              0.30983,
              0.35853
            ],
            [
              0.0669,
              0.1843,
              0.20747,
              0.23562,
              0.26933,
              0.30985,
              0.35856
            ],
            [
              0.06684,
              0.18428,
              0.20747,
              0.23559,
              0.26927,
              0.30983,
              0.35856
            ],
            [
              0.06677,
              0.18418,
              0.20743,
              0.23556,
              0.26931,
              0.30983,
              0.35856
            ],
            [
              0.06657,
              0.18416,
              0.20739,
              0.23553,
              0.26923,
              0.30978,
              0.35845
            ],
            [
              0.06637,
              0.18414,
              0.20739,
              0.23549,
              0.26918,
              0.30976,
              0.35846
            ],
            [
              0.06768,
              0.18397,
              0.20724,
              0.23541,
              0.26913,
              0.30974,
              0.35849
            ],
            [
              0.07174,
              0.18373,
              0.20697,
              0.23521,
              0.26899,
              0.30963,
              0.35849
            ],
            [
              0.08075,
              0.18655,
              0.20888,
              0.23621,
              0.2693,
              0.30949,
              0.35826
            ],
            [
              0.09456,
              0.1959,
              0.21698,
              0.24287,
              0.2746,
              0.31315,
              0.36029
            ],
            [
              0.11514,
              0.21854,
              0.23779,
              0.26135,
              0.29061,
              0.32682,
              0.37142
            ],
            [
              0.1444,
              0.2567,
              0.2764,
              0.2998,
              0.3276,
              0.3603,
              0.4009
            ],
            [
              0.1852,
              0.3131,
              0.3342,
              0.3588,
              0.3874,
              0.4213,
              0.461
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.23178,
              0.75631,
              0.86042,
              0.98419,
              1.13309,
              1.31342,
              1.52758
            ],
            [
              0.23176,
              0.75628,
              0.86045,
              0.98498,
              1.13434,
              1.31334,
              1.52764
            ],
            [
              0.23188,
              0.75643,
              0.85986,
              0.98425,
              1.13319,
              1.31339,
              1.52721
            ],
            [
              0.2318,
              0.75736,
              0.86036,
              0.98419,
              1.13305,
              1.31327,
              1.52758
            ],
            [
              0.23201,
              0.75645,
              0.85972,
              0.98416,
              1.13476,
              1.31343,
              1.52759
            ],
            [
              0.23183,
              0.75628,
              0.86039,
              0.98418,
              1.13476,
              1.31337,
              1.52764
            ],
            [
              0.23187,
              0.75608,
              0.85978,
              0.98421,
              1.13311,
              1.31315,
              1.52712
            ],
            [
              0.23171,
              0.75702,
              0.85985,
              0.98421,
              1.13469,
              1.31342,
              1.52761
            ],
            [
              0.23173,
              0.75641,
              0.85974,
              0.98413,
              1.13464,
              1.31328,
              1.5276
            ],
            [
              0.2318,
              0.7563,
              0.8595,
              0.9841,
              1.1331,
              1.3135,
              1.5277
            ],
            [
              0.2319,
              0.7571,
              0.8606,
              0.9852,
              1.1344,
              1.3135,
              1.5277
            ],
            [
              0.2369,
              0.7563,
              0.8603,
              0.9842,
              1.134,
              1.3133,
              1.5278
            ],
            [
              0.2606,
              0.7584,
              0.8602,
              0.9844,
              1.1343,
              1.3134,
              1.5278
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.08009,
              0.17919,
              0.19804,
              0.22064,
              0.24762,
              0.27995,
              0.31862
            ],
            [
              0.08389,
              0.18301,
              0.20185,
              0.22446,
              0.25143,
              0.28377,
              0.32241
            ],
            [
              0.08832,
              0.18743,
              0.20627,
              0.22889,
              0.25586,
              0.28819,
              0.32685
            ],
            [
              0.09463,
              0.19376,
              0.21261,
              0.23522,
              0.26221,
              0.29451,
              0.3332
            ],
            [
              0.10373,
              0.20285,
              0.2217,
              0.24431,
              0.27128,
              0.30361,
              0.34229
            ],
            [
              0.1168,
              0.21593,
              0.23478,
              0.25743,
              0.2844,
              0.31671,
              0.3554
            ],
            [
              0.13575,
              0.2348,
              0.25366,
              0.27629,
              0.30327,
              0.33562,
              0.37426
            ],
            [
              0.1634,
              0.26238,
              0.28126,
              0.30389,
              0.33087,
              0.36321,
              0.40195
            ],
            [
              0.20155,
              0.30307,
              0.32194,
              0.34458,
              0.3716,
              0.40393,
              0.44265
            ],
            [
              0.25405,
              0.36333,
              0.38237,
              0.40502,
              0.43206,
              0.46447,
              0.5032
            ],
            [
              0.32624,
              0.44802,
              0.46892,
              0.49322,
              0.52162,
              0.55472,
              0.59352
            ],
            [
              0.42457,
              0.56537,
              0.58857,
              0.61557,
              0.64677,
              0.68307,
              0.72517
            ],
            [
              0.5561,
              0.7268,
              0.7536,
              0.7845,
              0.8198,
              0.8606,
              0.9074
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.28759,
              0.59987,
              0.66098,
              0.73459,
              0.8226,
              0.92837,
              1.05517
            ],
            [
              0.29087,
              0.60326,
              0.66439,
              0.73803,
              0.82603,
              0.93181,
              1.05864
            ],
            [
              0.29522,
              0.60777,
              0.66892,
              0.74254,
              0.83059,
              0.9364,
              1.06312
            ],
            [
              0.30208,
              0.61493,
              0.6761,
              0.74979,
              0.83789,
              0.94371,
              1.07048
            ],
            [
              0.31273,
              0.62603,
              0.68722,
              0.76097,
              0.84909,
              0.95481,
              1.08161
            ],
            [
              0.32926,
              0.64291,
              0.70428,
              0.778,
              0.86616,
              0.97202,
              1.09882
            ],
            [
              0.35451,
              0.66871,
              0.73,
              0.80376,
              0.89193,
              0.99783,
              1.12463
            ],
            [
              0.39303,
              0.70745,
              0.76877,
              0.84266,
              0.93096,
              1.03686,
              1.16386
            ],
            [
              0.45081,
              0.76495,
              0.82625,
              0.90005,
              0.98845,
              1.09445,
              1.22145
            ],
            [
              0.5359,
              0.84949,
              0.91069,
              0.98509,
              1.07349,
              1.17949,
              1.30649
            ],
            [
              0.66122,
              0.97502,
              1.03642,
              1.11022,
              1.19842,
              1.30432,
              1.43192
            ],
            [
              0.84667,
              1.16087,
              1.22217,
              1.29607,
              1.38437,
              1.49037,
              1.61737
            ],
            [
              1.1091,
              1.4378,
              1.4991,
              1.5729,
              1.6612,
              1.7672,
              1.8941
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.05417,
              0.17272,
              0.19584,
              0.2242,
              0.25795,
              0.29871,
              0.34757
            ],
            [
              0.05418,
              0.17252,
              0.19614,
              0.22421,
              0.25799,
              0.29868,
              0.34773
            ],
            [
              0.05416,
              0.17269,
              0.19591,
              0.22419,
              0.25797,
              0.29898,
              0.34757
            ],
            [
              0.05415,
              0.17277,
              0.196,
              0.2242,
              0.25821,
              0.2988,
              0.34784
            ],
            [
              0.05413,
              0.17249,
              0.19593,
              0.22421,
              0.25804,
              0.29879,
              0.34757
            ],
            [
              0.05399,
              0.17257,
              0.19603,
              0.22413,
              0.25804,
              0.29873,
              0.34758
            ],
            [
              0.05385,
              0.17252,
              0.19599,
              0.22416,
              0.25799,
              0.29872,
              0.34776
            ],
            [
              0.05574,
              0.17247,
              0.19584,
              0.22411,
              0.258,
              0.29881,
              0.34756
            ],
            [
              0.06074,
              0.17372,
              0.19661,
              0.22442,
              0.25809,
              0.29867,
              0.34767
            ],
            [
              0.06825,
              0.18005,
              0.20218,
              0.22911,
              0.26146,
              0.30112,
              0.34922
            ],
            [
              0.07998,
              0.19561,
              0.21686,
              0.24208,
              0.27307,
              0.31118,
              0.35744
            ],
            [
              0.0987,
              0.2208,
              0.2427,
              0.2688,
              0.2994,
              0.3356,
              0.3794
            ],
            [
              0.1269,
              0.2592,
              0.282,
              0.3088,
              0.3405,
              0.3777,
              0.4221
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.17534,
              0.56717,
              0.64482,
              0.7375,
              0.84919,
              0.98282,
              1.14371
            ],
            [
              0.17533,
              0.56724,
              0.64474,
              0.73737,
              0.84902,
              0.98314,
              1.14373
            ],
            [
              0.17535,
              0.56761,
              0.64494,
              0.73783,
              0.84873,
              0.98245,
              1.14293
            ],
            [
              0.17538,
              0.56785,
              0.64492,
              0.73775,
              0.84879,
              0.98249,
              1.14365
            ],
            [
              0.17533,
              0.56756,
              0.64484,
              0.73772,
              0.84875,
              0.98242,
              1.14334
            ],
            [
              0.17537,
              0.56752,
              0.64446,
              0.73792,
              0.84877,
              0.98294,
              1.14355
            ],
            [
              0.17535,
              0.56732,
              0.64481,
              0.73759,
              0.84872,
              0.98291,
              1.14335
            ],
            [
              0.17537,
              0.56757,
              0.64439,
              0.73783,
              0.84873,
              0.98227,
              1.1426
            ],
            [
              0.17535,
              0.56777,
              0.64449,
              0.73747,
              0.84872,
              0.98252,
              1.14306
            ],
            [
              0.17529,
              0.56756,
              0.64474,
              0.73739,
              0.8489,
              0.983,
              1.143
            ],
            [
              0.176,
              0.5677,
              0.6447,
              0.7378,
              0.8491,
              0.9822,
              1.1427
            ],
            [
              0.1885,
              0.5676,
              0.6446,
              0.7378,
              0.8487,
              0.9825,
              1.1425
            ],
            [
              0.2228,
              0.5783,
              0.6516,
              0.7417,
              0.8502,
              0.9824,
              1.1427
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.06866,
              0.16891,
              0.18786,
              0.21058,
              0.23763,
              0.27,
              0.30875
            ],
            [
              0.07248,
              0.17272,
              0.19167,
              0.21437,
              0.24143,
              0.27384,
              0.31255
            ],
            [
              0.07689,
              0.17712,
              0.19607,
              0.21877,
              0.24583,
              0.27826,
              0.31702
            ],
            [
              0.08321,
              0.18344,
              0.20239,
              0.2251,
              0.25212,
              0.28453,
              0.32327
            ],
            [
              0.09229,
              0.19246,
              0.21143,
              0.23414,
              0.26117,
              0.29355,
              0.33228
            ],
            [
              0.1054,
              0.20551,
              0.22447,
              0.24717,
              0.27423,
              0.30662,
              0.34532
            ],
            [
              0.12451,
              0.22436,
              0.24331,
              0.26602,
              0.29311,
              0.32546,
              0.36421
            ],
            [
              0.1517,
              0.25193,
              0.27088,
              0.29357,
              0.32066,
              0.35301,
              0.39184
            ],
            [
              0.18888,
              0.29265,
              0.31158,
              0.33428,
              0.36133,
              0.39373,
              0.4325
            ],
            [
              0.24006,
              0.35268,
              0.37202,
              0.39478,
              0.42183,
              0.45425,
              0.49303
            ],
            [
              0.31019,
              0.43656,
              0.45772,
              0.48232,
              0.51102,
              0.54452,
              0.58352
            ],
            [
              0.40497,
              0.55257,
              0.57617,
              0.60367,
              0.63527,
              0.67197,
              0.71437
            ],
            [
              0.5316,
              0.7121,
              0.7395,
              0.771,
              0.807,
              0.8482,
              0.8955
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.35583,
              0.76859,
              0.84953,
              0.94695,
              1.06347,
              1.20357,
              1.37147
            ],
            [
              0.35875,
              0.7717,
              0.85257,
              0.95005,
              1.06664,
              1.20674,
              1.37454
            ],
            [
              0.36281,
              0.776,
              0.85695,
              0.95444,
              1.07102,
              1.21102,
              1.37902
            ],
            [
              0.36936,
              0.78295,
              0.86391,
              0.96149,
              1.07817,
              1.21828,
              1.38618
            ],
            [
              0.37967,
              0.79383,
              0.87486,
              0.97241,
              1.08911,
              1.22911,
              1.39711
            ],
            [
              0.39585,
              0.81043,
              0.89152,
              0.98922,
              1.10602,
              1.24612,
              1.41422
            ],
            [
              0.42086,
              0.83601,
              0.91713,
              1.01483,
              1.13163,
              1.27173,
              1.43973
            ],
            [
              0.4588,
              0.87436,
              0.95556,
              1.05346,
              1.17026,
              1.31056,
              1.47866
            ],
            [
              0.51594,
              0.93115,
              1.01225,
              1.10995,
              1.22705,
              1.36745,
              1.53565
            ],
            [
              0.59939,
              1.01399,
              1.09509,
              1.19339,
              1.31039,
              1.45079,
              1.61899
            ],
            [
              0.72082,
              1.13562,
              1.21692,
              1.31462,
              1.43152,
              1.57182,
              1.74062
            ],
            [
              0.89867,
              1.31357,
              1.39477,
              1.49257,
              1.60957,
              1.74997,
              1.91807
            ],
            [
              1.1547,
              1.5763,
              1.6575,
              1.7552,
              1.8721,
              2.0125,
              2.1806
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.05033,
              0.1696,
              0.19296,
              0.22109,
              0.25505,
              0.29592,
              0.34442
            ],
            [
              0.05029,
              0.16953,
              0.19302,
              0.2211,
              0.25492,
              0.29575,
              0.34454
            ],
            [
              0.05025,
              0.1696,
              0.19291,
              0.22112,
              0.2549,
              0.29577,
              0.34433
            ],
            [
              0.05016,
              0.16952,
              0.19296,
              0.2212,
              0.25499,
              0.29573,
              0.34429
            ],
            [
              0.0501,
              0.16947,
              0.19281,
              0.22101,
              0.25494,
              0.2957,
              0.34426
            ],
            [
              0.04992,
              0.16943,
              0.19277,
              0.22103,
              0.25502,
              0.29557,
              0.34428
            ],
            [
              0.05058,
              0.16923,
              0.19274,
              0.22104,
              0.25478,
              0.29566,
              0.34423
            ],
            [
              0.05351,
              0.16915,
              0.19266,
              0.22086,
              0.25464,
              0.29559,
              0.34439
            ],
            [
              0.05925,
              0.17121,
              0.19411,
              0.22159,
              0.25497,
              0.29563,
              0.3443
            ],
            [
              0.06772,
              0.17811,
              0.20015,
              0.2268,
              0.25914,
              0.29828,
              0.3461
            ],
            [
              0.08079,
              0.19471,
              0.21571,
              0.24095,
              0.27149,
              0.30912,
              0.35506
            ],
            [
              0.101,
              0.2206,
              0.2423,
              0.2682,
              0.2987,
              0.3346,
              0.3779
            ],
            [
              0.1306,
              0.2604,
              0.2828,
              0.3093,
              0.3406,
              0.3778,
              0.4214
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.22613,
              0.7516,
              0.8561,
              0.98056,
              1.13117,
              1.3097,
              1.52522
            ],
            [
              0.22579,
              0.75167,
              0.85534,
              0.98098,
              1.1306,
              1.31024,
              1.52589
            ],
            [
              0.226,
              0.75209,
              0.85518,
              0.98112,
              1.12993,
              1.30928,
              1.52536
            ],
            [
              0.22602,
              0.75205,
              0.85525,
              0.98102,
              1.13047,
              1.30987,
              1.52536
            ],
            [
              0.22609,
              0.75212,
              0.85629,
              0.98007,
              1.13012,
              1.30923,
              1.52466
            ],
            [
              0.22605,
              0.75191,
              0.85539,
              0.98019,
              1.13055,
              1.3094,
              1.52516
            ],
            [
              0.22602,
              0.75192,
              0.8551,
              0.98085,
              1.13046,
              1.30959,
              1.52486
            ],
            [
              0.22617,
              0.752,
              0.85534,
              0.98133,
              1.13119,
              1.31087,
              1.52553
            ],
            [
              0.22609,
              0.7518,
              0.85509,
              0.98086,
              1.12941,
              1.30975,
              1.5255
            ],
            [
              0.22607,
              0.75203,
              0.8555,
              0.9813,
              1.131,
              1.3096,
              1.5247
            ],
            [
              0.2263,
              0.752,
              0.856,
              0.9807,
              1.1303,
              1.3101,
              1.5255
            ],
            [
              0.2338,
              0.7527,
              0.8552,
              0.9798,
              1.1301,
              1.3097,
              1.5252
            ],
            [
              0.2607,
              0.7566,
              0.8576,
              0.9809,
              1.1305,
              1.3101,
              1.5248
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.06957,
              0.16981,
              0.18875,
              0.21145,
              0.23851,
              0.27089,
              0.30958
            ],
            [
              0.07338,
              0.17361,
              0.19255,
              0.21524,
              0.24229,
              0.27469,
              0.31339
            ],
            [
              0.07779,
              0.17801,
              0.19696,
              0.21966,
              0.24671,
              0.27909,
              0.3178
            ],
            [
              0.0841,
              0.18433,
              0.20328,
              0.22598,
              0.25302,
              0.28541,
              0.32411
            ],
            [
              0.09318,
              0.19337,
              0.21232,
              0.23502,
              0.26207,
              0.29444,
              0.33316
            ],
            [
              0.10629,
              0.20641,
              0.22536,
              0.24806,
              0.27509,
              0.30749,
              0.34621
            ],
            [
              0.1254,
              0.22528,
              0.24421,
              0.26691,
              0.29397,
              0.32635,
              0.36509
            ],
            [
              0.15265,
              0.25283,
              0.27177,
              0.29446,
              0.32152,
              0.35391,
              0.39263
            ],
            [
              0.18992,
              0.29354,
              0.31246,
              0.33517,
              0.36223,
              0.39463,
              0.43336
            ],
            [
              0.24123,
              0.35361,
              0.37292,
              0.39568,
              0.42274,
              0.45516,
              0.49393
            ],
            [
              0.31156,
              0.43756,
              0.45872,
              0.48332,
              0.51192,
              0.54542,
              0.58442
            ],
            [
              0.40667,
              0.55367,
              0.57727,
              0.60467,
              0.63637,
              0.67297,
              0.71537
            ],
            [
              0.5338,
              0.7134,
              0.7408,
              0.7722,
              0.8081,
              0.8493,
              0.8966
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.40831,
              0.80497,
              0.88259,
              0.97605,
              1.08787,
              1.22207,
              1.38287
            ],
            [
              0.41135,
              0.80813,
              0.8858,
              0.97927,
              1.09104,
              1.22524,
              1.38614
            ],
            [
              0.4156,
              0.81256,
              0.89016,
              0.98362,
              1.09542,
              1.22972,
              1.39042
            ],
            [
              0.42239,
              0.81956,
              0.89731,
              0.99077,
              1.10258,
              1.23688,
              1.39768
            ],
            [
              0.43294,
              0.83049,
              0.90827,
              1.00181,
              1.11361,
              1.24791,
              1.40871
            ],
            [
              0.4492,
              0.84734,
              0.92513,
              1.01872,
              1.13062,
              1.26482,
              1.42572
            ],
            [
              0.47452,
              0.87296,
              0.95073,
              1.04433,
              1.15623,
              1.29053,
              1.45143
            ],
            [
              0.51251,
              0.91146,
              0.98946,
              1.08306,
              1.19506,
              1.32946,
              1.49046
            ],
            [
              0.56955,
              0.96825,
              1.04605,
              1.13965,
              1.25195,
              1.38645,
              1.54755
            ],
            [
              0.65329,
              1.05129,
              1.12969,
              1.22349,
              1.33559,
              1.47009,
              1.63119
            ],
            [
              0.77502,
              1.17352,
              1.25132,
              1.34502,
              1.45702,
              1.59202,
              1.75322
            ],
            [
              0.95377,
              1.35237,
              1.43027,
              1.52407,
              1.63607,
              1.77057,
              1.93017
            ],
            [
              1.2161,
              1.6167,
              1.6946,
              1.7882,
              1.9003,
              2.0347,
              2.1958
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.06682,
              0.18427,
              0.20745,
              0.23558,
              0.26936,
              0.30982,
              0.35856
            ],
            [
              0.06677,
              0.18423,
              0.20744,
              0.23559,
              0.26923,
              0.3098,
              0.35856
            ],
            [
              0.06671,
              0.18421,
              0.2075,
              0.23555,
              0.26923,
              0.3098,
              0.35855
            ],
            [
              0.06667,
              0.1842,
              0.20747,
              0.23553,
              0.26929,
              0.30981,
              0.35849
            ],
            [
              0.06657,
              0.18419,
              0.20742,
              0.23551,
              0.26915,
              0.30979,
              0.35852
            ],
            [
              0.06635,
              0.18407,
              0.20732,
              0.23546,
              0.26922,
              0.30975,
              0.35849
            ],
            [
              0.06691,
              0.18396,
              0.20732,
              0.23548,
              0.26926,
              0.30976,
              0.35841
            ],
            [
              0.06962,
              0.1838,
              0.20713,
              0.23529,
              0.26906,
              0.30969,
              0.35845
            ],
            [
              0.0761,
              0.18577,
              0.20841,
              0.23603,
              0.26927,
              0.30957,
              0.35831
            ],
            [
              0.0859,
              0.19292,
              0.21464,
              0.24127,
              0.27335,
              0.31258,
              0.36011
            ],
            [
              0.10088,
              0.20951,
              0.23019,
              0.25527,
              0.28592,
              0.32349,
              0.36915
            ],
            [
              0.1238,
              0.2367,
              0.2579,
              0.2833,
              0.3132,
              0.3488,
              0.3919
            ],
            [
              0.1579,
              0.2783,
              0.3,
              0.3259,
              0.3565,
              0.393,
              0.4363
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.25266,
              0.75889,
              0.85935,
              0.97834,
              1.12139,
              1.29317,
              1.5004
            ],
            [
              0.2527,
              0.75879,
              0.85851,
              0.9781,
              1.12104,
              1.29494,
              1.50122
            ],
            [
              0.2527,
              0.75946,
              0.85809,
              0.97903,
              1.12231,
              1.29516,
              1.50102
            ],
            [
              0.25265,
              0.75917,
              0.85846,
              0.97912,
              1.12283,
              1.29528,
              1.50136
            ],
            [
              0.25271,
              0.75901,
              0.85816,
              0.97899,
              1.12134,
              1.29515,
              1.4998
            ],
            [
              0.25267,
              0.75897,
              0.85829,
              0.97845,
              1.12109,
              1.29451,
              1.49992
            ],
            [
              0.25261,
              0.75941,
              0.8584,
              0.97912,
              1.12241,
              1.29339,
              1.49994
            ],
            [
              0.25277,
              0.75989,
              0.85838,
              0.97799,
              1.12137,
              1.29334,
              1.50151
            ],
            [
              0.25276,
              0.75924,
              0.85829,
              0.97798,
              1.12144,
              1.29323,
              1.5014
            ],
            [
              0.25269,
              0.7596,
              0.8583,
              0.9778,
              1.1213,
              1.2951,
              1.5
            ],
            [
              0.2528,
              0.7594,
              0.8587,
              0.979,
              1.122,
              1.2949,
              1.5011
            ],
            [
              0.2564,
              0.7593,
              0.8583,
              0.978,
              1.1215,
              1.2937,
              1.5009
            ],
            [
              0.2791,
              0.7616,
              0.8594,
              0.9784,
              1.1219,
              1.2938,
              1.5002
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03394,
              0.09717,
              0.10962,
              0.12472,
              0.14269,
              0.16433,
              0.1904
            ],
            [
              0.03719,
              0.1006,
              0.1131,
              0.12808,
              0.14614,
              0.16785,
              0.19379
            ],
            [
              0.0411,
              0.10469,
              0.11716,
              0.13226,
              0.15026,
              0.17182,
              0.19793
            ],
            [
              0.047,
              0.11087,
              0.12334,
              0.13834,
              0.15637,
              0.17811,
              0.20395
            ],
            [
              0.05604,
              0.12008,
              0.13253,
              0.14763,
              0.16568,
              0.1873,
              0.2132
            ],
            [
              0.06947,
              0.13392,
              0.1465,
              0.16154,
              0.17952,
              0.20133,
              0.22734
            ],
            [
              0.08688,
              0.15477,
              0.16751,
              0.18252,
              0.20054,
              0.2223,
              0.24828
            ],
            [
              0.10921,
              0.18645,
              0.1989,
              0.21393,
              0.23205,
              0.25375,
              0.27986
            ],
            [
              0.13799,
              0.23332,
              0.24642,
              0.26144,
              0.27942,
              0.30112,
              0.32717
            ],
            [
              0.17517,
              0.29545,
              0.31176,
              0.32987,
              0.34978,
              0.37247,
              0.39835
            ],
            [
              0.22307,
              0.37588,
              0.39635,
              0.41913,
              0.44395,
              0.47152,
              0.50192
            ],
            [
              0.28417,
              0.48017,
              0.50557,
              0.53447,
              0.56617,
              0.60047,
              0.63837
            ],
            [
              0.3623,
              0.615,
              0.6474,
              0.6842,
              0.7239,
              0.7679,
              0.8153
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.12263,
              0.39045,
              0.44247,
              0.50552,
              0.58081,
              0.6706,
              0.77838
            ],
            [
              0.12377,
              0.39409,
              0.44636,
              0.50901,
              0.58437,
              0.67504,
              0.78333
            ],
            [
              0.1262,
              0.39779,
              0.45033,
              0.51333,
              0.58845,
              0.67927,
              0.78732
            ],
            [
              0.13129,
              0.40353,
              0.45604,
              0.51965,
              0.59525,
              0.68576,
              0.79465
            ],
            [
              0.14034,
              0.41301,
              0.46605,
              0.52895,
              0.60483,
              0.69555,
              0.80493
            ],
            [
              0.1555,
              0.42744,
              0.48025,
              0.54387,
              0.62023,
              0.71133,
              0.82001
            ],
            [
              0.17972,
              0.45007,
              0.50314,
              0.56655,
              0.64295,
              0.73423,
              0.84358
            ],
            [
              0.21739,
              0.4867,
              0.53883,
              0.60226,
              0.67849,
              0.76971,
              0.87876
            ],
            [
              0.27481,
              0.54232,
              0.59475,
              0.65749,
              0.73332,
              0.82395,
              0.93285
            ],
            [
              0.36159,
              0.62657,
              0.67949,
              0.74289,
              0.81769,
              0.90989,
              1.01709
            ],
            [
              0.48042,
              0.75672,
              0.80862,
              0.87222,
              0.94722,
              1.03772,
              1.14692
            ],
            [
              0.64287,
              0.95267,
              1.00507,
              1.06757,
              1.14297,
              1.23317,
              1.34187
            ],
            [
              0.8658,
              1.2486,
              1.3003,
              1.3623,
              1.437,
              1.5277,
              1.6354
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.02429,
              0.10555,
              0.12186,
              0.14127,
              0.16443,
              0.19232,
              0.22604
            ],
            [
              0.0243,
              0.10567,
              0.12168,
              0.1411,
              0.16431,
              0.19256,
              0.22618
            ],
            [
              0.02431,
              0.10555,
              0.1216,
              0.14138,
              0.16448,
              0.1924,
              0.226
            ],
            [
              0.02428,
              0.1055,
              0.1216,
              0.14103,
              0.16444,
              0.19256,
              0.22601
            ],
            [
              0.02481,
              0.10553,
              0.1216,
              0.14103,
              0.16436,
              0.19256,
              0.22604
            ],
            [
              0.02806,
              0.10569,
              0.12177,
              0.14116,
              0.16435,
              0.19238,
              0.2262
            ],
            [
              0.03476,
              0.10586,
              0.12165,
              0.14106,
              0.16442,
              0.19246,
              0.22592
            ],
            [
              0.04369,
              0.11019,
              0.12473,
              0.14292,
              0.16524,
              0.1924,
              0.22614
            ],
            [
              0.05628,
              0.1226,
              0.13553,
              0.15179,
              0.17199,
              0.19727,
              0.22871
            ],
            [
              0.07372,
              0.14875,
              0.15991,
              0.17349,
              0.19132,
              0.21349,
              0.24165
            ],
            [
              0.09773,
              0.18644,
              0.19931,
              0.21401,
              0.23094,
              0.25034,
              0.27429
            ],
            [
              0.1318,
              0.2375,
              0.2529,
              0.2698,
              0.2889,
              0.3111,
              0.336
            ],
            [
              0.1792,
              0.3066,
              0.3252,
              0.3453,
              0.3677,
              0.393,
              0.4224
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.09792,
              0.44075,
              0.50877,
              0.59089,
              0.68881,
              0.80748,
              0.94953
            ],
            [
              0.09783,
              0.44072,
              0.50759,
              0.58936,
              0.68922,
              0.80728,
              0.94896
            ],
            [
              0.098,
              0.44068,
              0.50799,
              0.58943,
              0.68748,
              0.80714,
              0.94934
            ],
            [
              0.09795,
              0.44071,
              0.50878,
              0.59071,
              0.68896,
              0.80723,
              0.94939
            ],
            [
              0.09789,
              0.44079,
              0.50759,
              0.59082,
              0.68758,
              0.8075,
              0.94956
            ],
            [
              0.09786,
              0.44072,
              0.50876,
              0.59087,
              0.68904,
              0.80698,
              0.94919
            ],
            [
              0.09774,
              0.44011,
              0.50787,
              0.59085,
              0.68911,
              0.80759,
              0.94936
            ],
            [
              0.09757,
              0.44053,
              0.50873,
              0.59086,
              0.6892,
              0.80725,
              0.94907
            ],
            [
              0.10051,
              0.44008,
              0.50781,
              0.59061,
              0.68921,
              0.80754,
              0.94936
            ],
            [
              0.11449,
              0.44038,
              0.50829,
              0.59006,
              0.68795,
              0.80616,
              0.94956
            ],
            [
              0.14629,
              0.4404,
              0.5083,
              0.59,
              0.6884,
              0.8068,
              0.9497
            ],
            [
              0.1902,
              0.4543,
              0.5163,
              0.5935,
              0.6893,
              0.8068,
              0.9496
            ],
            [
              0.2501,
              0.5014,
              0.5555,
              0.6241,
              0.7103,
              0.8181,
              0.9527
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03396,
              0.09712,
              0.1097,
              0.12471,
              0.14263,
              0.16441,
              0.19029
            ],
            [
              0.0372,
              0.10061,
              0.11305,
              0.12812,
              0.14619,
              0.1678,
              0.19377
            ],
            [
              0.04109,
              0.10467,
              0.11724,
              0.13227,
              0.15019,
              0.17195,
              0.19798
            ],
            [
              0.04705,
              0.11084,
              0.12333,
              0.13845,
              0.15648,
              0.17816,
              0.20414
            ],
            [
              0.0561,
              0.1201,
              0.13261,
              0.14771,
              0.16572,
              0.18732,
              0.2134
            ],
            [
              0.06957,
              0.13409,
              0.14658,
              0.1616,
              0.17953,
              0.20133,
              0.22736
            ],
            [
              0.08698,
              0.15494,
              0.16752,
              0.18248,
              0.2007,
              0.22234,
              0.24824
            ],
            [
              0.10934,
              0.18641,
              0.1989,
              0.21414,
              0.23213,
              0.2539,
              0.27997
            ],
            [
              0.13814,
              0.23349,
              0.24663,
              0.26159,
              0.27949,
              0.30133,
              0.32736
            ],
            [
              0.17536,
              0.29556,
              0.31189,
              0.33009,
              0.35018,
              0.37256,
              0.39826
            ],
            [
              0.22326,
              0.37609,
              0.39657,
              0.41917,
              0.44442,
              0.47192,
              0.50252
            ],
            [
              0.28447,
              0.48037,
              0.50587,
              0.53467,
              0.56627,
              0.60057,
              0.63857
            ],
            [
              0.3624,
              0.6155,
              0.648,
              0.6845,
              0.7245,
              0.7677,
              0.8154
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.13873,
              0.44791,
              0.50836,
              0.58094,
              0.6677,
              0.77187,
              0.89638
            ],
            [
              0.13928,
              0.45144,
              0.51137,
              0.58392,
              0.67116,
              0.77561,
              0.90061
            ],
            [
              0.14122,
              0.45487,
              0.51526,
              0.58814,
              0.67512,
              0.77964,
              0.90405
            ],
            [
              0.14547,
              0.46009,
              0.52065,
              0.59396,
              0.68132,
              0.78594,
              0.9107
            ],
            [
              0.15405,
              0.46926,
              0.53033,
              0.60283,
              0.69043,
              0.79539,
              0.92145
            ],
            [
              0.16851,
              0.48297,
              0.54379,
              0.61752,
              0.70545,
              0.81049,
              0.93582
            ],
            [
              0.19205,
              0.50489,
              0.56612,
              0.63969,
              0.72733,
              0.83306,
              0.95903
            ],
            [
              0.22897,
              0.53952,
              0.60077,
              0.67419,
              0.76183,
              0.86756,
              0.99366
            ],
            [
              0.28553,
              0.59464,
              0.65529,
              0.72795,
              0.81595,
              0.92085,
              1.04825
            ],
            [
              0.37194,
              0.67729,
              0.73789,
              0.81159,
              0.89859,
              1.00409,
              1.13039
            ],
            [
              0.49242,
              0.80532,
              0.86552,
              0.93842,
              1.02552,
              1.12972,
              1.25632
            ],
            [
              0.65667,
              0.99807,
              1.05867,
              1.13087,
              1.21687,
              1.32187,
              1.44797
            ],
            [
              0.8816,
              1.29,
              1.3497,
              1.4214,
              1.5078,
              1.6126,
              1.7365
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.02429,
              0.10551,
              0.12184,
              0.14117,
              0.16434,
              0.19249,
              0.22604
            ],
            [
              0.02429,
              0.10558,
              0.12182,
              0.14116,
              0.16447,
              0.19247,
              0.22595
            ],
            [
              0.02428,
              0.10555,
              0.12168,
              0.14118,
              0.16438,
              0.19236,
              0.2262
            ],
            [
              0.02428,
              0.10557,
              0.12169,
              0.14134,
              0.16449,
              0.19275,
              0.22603
            ],
            [
              0.02479,
              0.10551,
              0.12159,
              0.14127,
              0.16449,
              0.19243,
              0.22596
            ],
            [
              0.028,
              0.10562,
              0.12179,
              0.14112,
              0.16433,
              0.19238,
              0.22606
            ],
            [
              0.0347,
              0.10585,
              0.12178,
              0.14106,
              0.16442,
              0.19249,
              0.22592
            ],
            [
              0.0436,
              0.11019,
              0.12476,
              0.14288,
              0.16518,
              0.1924,
              0.22619
            ],
            [
              0.05616,
              0.12248,
              0.13541,
              0.1517,
              0.17196,
              0.19707,
              0.22849
            ],
            [
              0.07351,
              0.14866,
              0.1598,
              0.17335,
              0.19103,
              0.21347,
              0.24172
            ],
            [
              0.09758,
              0.18619,
              0.19902,
              0.21395,
              0.23051,
              0.24997,
              0.27382
            ],
            [
              0.1314,
              0.2374,
              0.2526,
              0.2696,
              0.2888,
              0.3111,
              0.3357
            ],
            [
              0.1789,
              0.3062,
              0.3248,
              0.345,
              0.3671,
              0.3933,
              0.4223
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.11264,
              0.50486,
              0.5834,
              0.67745,
              0.79017,
              0.92588,
              1.08879
            ],
            [
              0.11282,
              0.50575,
              0.58288,
              0.67809,
              0.79006,
              0.92572,
              1.08869
            ],
            [
              0.11279,
              0.50559,
              0.58375,
              0.6774,
              0.78891,
              0.92414,
              1.08883
            ],
            [
              0.11285,
              0.50477,
              0.58283,
              0.67729,
              0.79014,
              0.92574,
              1.08876
            ],
            [
              0.11281,
              0.50471,
              0.58249,
              0.67789,
              0.79104,
              0.92637,
              1.0885
            ],
            [
              0.11269,
              0.50472,
              0.58273,
              0.67718,
              0.79016,
              0.92585,
              1.08876
            ],
            [
              0.11268,
              0.50492,
              0.58344,
              0.67774,
              0.79054,
              0.92555,
              1.08909
            ],
            [
              0.11226,
              0.50557,
              0.58385,
              0.67642,
              0.78926,
              0.9255,
              1.08847
            ],
            [
              0.11331,
              0.50473,
              0.58291,
              0.67815,
              0.79048,
              0.92624,
              1.08936
            ],
            [
              0.12506,
              0.50583,
              0.58366,
              0.67749,
              0.79064,
              0.92467,
              1.08809
            ],
            [
              0.15473,
              0.5053,
              0.5836,
              0.6765,
              0.7889,
              0.9267,
              1.089
            ],
            [
              0.2001,
              0.5132,
              0.5869,
              0.678,
              0.7902,
              0.9261,
              1.0884
            ],
            [
              0.261,
              0.5533,
              0.6185,
              0.7007,
              0.8028,
              0.9305,
              1.0891
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03396,
              0.09713,
              0.10969,
              0.1247,
              0.14266,
              0.16441,
              0.19031
            ],
            [
              0.0372,
              0.10064,
              0.11306,
              0.1281,
              0.14619,
              0.16779,
              0.19378
            ],
            [
              0.04112,
              0.10468,
              0.11723,
              0.13226,
              0.15016,
              0.17196,
              0.19797
            ],
            [
              0.04704,
              0.11085,
              0.12334,
              0.13844,
              0.15649,
              0.17814,
              0.20413
            ],
            [
              0.05609,
              0.1201,
              0.1326,
              0.1477,
              0.16576,
              0.18733,
              0.21334
            ],
            [
              0.06955,
              0.13405,
              0.14658,
              0.16159,
              0.17956,
              0.20131,
              0.22749
            ],
            [
              0.08696,
              0.15491,
              0.16749,
              0.18245,
              0.20066,
              0.22231,
              0.24821
            ],
            [
              0.10931,
              0.18637,
              0.19913,
              0.21412,
              0.23209,
              0.2539,
              0.27996
            ],
            [
              0.13811,
              0.23346,
              0.24658,
              0.2615,
              0.27946,
              0.30129,
              0.3272
            ],
            [
              0.17532,
              0.29567,
              0.31186,
              0.33004,
              0.3501,
              0.37247,
              0.39814
            ],
            [
              0.2232,
              0.37601,
              0.39653,
              0.41911,
              0.44438,
              0.47182,
              0.50252
            ],
            [
              0.28447,
              0.48037,
              0.50577,
              0.53467,
              0.56627,
              0.60057,
              0.63837
            ],
            [
              0.3624,
              0.6155,
              0.6479,
              0.6845,
              0.7245,
              0.7681,
              0.8154
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.13545,
              0.43611,
              0.49438,
              0.56493,
              0.64926,
              0.75054,
              0.87183
            ],
            [
              0.13608,
              0.43899,
              0.49755,
              0.56837,
              0.65221,
              0.75395,
              0.8758
            ],
            [
              0.13819,
              0.44254,
              0.50144,
              0.57222,
              0.65689,
              0.75842,
              0.87976
            ],
            [
              0.14272,
              0.44828,
              0.50689,
              0.57808,
              0.663,
              0.76467,
              0.88624
            ],
            [
              0.15117,
              0.45725,
              0.51656,
              0.58743,
              0.67223,
              0.77402,
              0.89559
            ],
            [
              0.16591,
              0.47133,
              0.53044,
              0.60182,
              0.68731,
              0.78943,
              0.91153
            ],
            [
              0.18957,
              0.49339,
              0.55259,
              0.62403,
              0.70971,
              0.8121,
              0.93423
            ],
            [
              0.22661,
              0.52796,
              0.58765,
              0.65903,
              0.74441,
              0.84656,
              0.96926
            ],
            [
              0.2834,
              0.58322,
              0.64266,
              0.71278,
              0.79815,
              0.90075,
              1.02375
            ],
            [
              0.36999,
              0.66669,
              0.72569,
              0.79689,
              0.88149,
              0.98409,
              1.10639
            ],
            [
              0.49002,
              0.79492,
              0.85352,
              0.92432,
              1.00892,
              1.11032,
              1.23322
            ],
            [
              0.65397,
              0.98857,
              1.04737,
              1.11767,
              1.20067,
              1.30297,
              1.42517
            ],
            [
              0.8784,
              1.2812,
              1.3391,
              1.4085,
              1.493,
              1.5944,
              1.7152
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.02429,
              0.10552,
              0.12182,
              0.14116,
              0.16432,
              0.19247,
              0.22607
            ],
            [
              0.02429,
              0.10553,
              0.12167,
              0.14103,
              0.16444,
              0.19246,
              0.22596
            ],
            [
              0.0243,
              0.10556,
              0.12168,
              0.14117,
              0.16436,
              0.19237,
              0.22621
            ],
            [
              0.02427,
              0.10556,
              0.1216,
              0.14136,
              0.16445,
              0.19253,
              0.22601
            ],
            [
              0.02479,
              0.10552,
              0.12159,
              0.14128,
              0.16436,
              0.19245,
              0.22595
            ],
            [
              0.02802,
              0.10552,
              0.12179,
              0.14113,
              0.16431,
              0.19238,
              0.22605
            ],
            [
              0.03472,
              0.10585,
              0.12164,
              0.14106,
              0.16443,
              0.19248,
              0.22593
            ],
            [
              0.04361,
              0.11021,
              0.12474,
              0.14288,
              0.1652,
              0.19241,
              0.22618
            ],
            [
              0.05618,
              0.1225,
              0.13543,
              0.15175,
              0.17197,
              0.19706,
              0.2287
            ],
            [
              0.07354,
              0.14857,
              0.15983,
              0.17339,
              0.19108,
              0.21352,
              0.24176
            ],
            [
              0.09765,
              0.18632,
              0.19911,
              0.21404,
              0.23059,
              0.24995,
              0.27372
            ],
            [
              0.1314,
              0.2374,
              0.2527,
              0.2696,
              0.2888,
              0.3111,
              0.3359
            ],
            [
              0.179,
              0.3062,
              0.3249,
              0.345,
              0.3672,
              0.3928,
              0.4223
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.10965,
              0.49069,
              0.56791,
              0.65952,
              0.76909,
              0.90066,
              1.05861
            ],
            [
              0.10965,
              0.49094,
              0.56767,
              0.65765,
              0.76872,
              0.90074,
              1.05893
            ],
            [
              0.1095,
              0.492,
              0.56696,
              0.65952,
              0.76913,
              0.90079,
              1.05665
            ],
            [
              0.10958,
              0.49178,
              0.56778,
              0.65945,
              0.76927,
              0.90076,
              1.0566
            ],
            [
              0.10959,
              0.49197,
              0.56698,
              0.65882,
              0.7691,
              0.89891,
              1.05883
            ],
            [
              0.10952,
              0.49177,
              0.56775,
              0.65949,
              0.76922,
              0.90095,
              1.05873
            ],
            [
              0.10947,
              0.49185,
              0.56657,
              0.65822,
              0.76835,
              0.90041,
              1.05879
            ],
            [
              0.1091,
              0.49134,
              0.56742,
              0.65927,
              0.76835,
              0.90098,
              1.05941
            ],
            [
              0.11051,
              0.49196,
              0.56658,
              0.658,
              0.768,
              0.90083,
              1.05893
            ],
            [
              0.12278,
              0.49191,
              0.56651,
              0.65886,
              0.76864,
              0.90084,
              1.05936
            ],
            [
              0.15304,
              0.4912,
              0.5675,
              0.6578,
              0.767,
              0.8988,
              1.0585
            ],
            [
              0.1979,
              0.5005,
              0.5714,
              0.6598,
              0.767,
              0.9007,
              1.0586
            ],
            [
              0.2587,
              0.5418,
              0.6048,
              0.6839,
              0.783,
              0.9061,
              1.0597
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03393,
              0.09716,
              0.10969,
              0.12467,
              0.14277,
              0.16445,
              0.19034
            ],
            [
              0.03725,
              0.10064,
              0.11306,
              0.12813,
              0.1461,
              0.16785,
              0.19369
            ],
            [
              0.04115,
              0.10477,
              0.11717,
              0.13226,
              0.15024,
              0.17197,
              0.19796
            ],
            [
              0.04711,
              0.11085,
              0.12344,
              0.13853,
              0.15637,
              0.17819,
              0.20408
            ],
            [
              0.0562,
              0.12012,
              0.13271,
              0.14779,
              0.16575,
              0.18758,
              0.2135
            ],
            [
              0.06974,
              0.13411,
              0.14665,
              0.1617,
              0.17971,
              0.20149,
              0.22737
            ],
            [
              0.08719,
              0.15511,
              0.16767,
              0.18263,
              0.2007,
              0.22252,
              0.24849
            ],
            [
              0.10955,
              0.1867,
              0.19925,
              0.21418,
              0.23217,
              0.25397,
              0.27994
            ],
            [
              0.13853,
              0.23368,
              0.24678,
              0.26161,
              0.27971,
              0.30162,
              0.32757
            ],
            [
              0.17576,
              0.29605,
              0.31229,
              0.33014,
              0.35057,
              0.37302,
              0.3988
            ],
            [
              0.22341,
              0.37659,
              0.39698,
              0.41963,
              0.44442,
              0.47252,
              0.50292
            ],
            [
              0.28497,
              0.48097,
              0.50667,
              0.53497,
              0.56667,
              0.60147,
              0.63957
            ],
            [
              0.3627,
              0.6162,
              0.6487,
              0.6852,
              0.7248,
              0.7687,
              0.8162
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.18076,
              0.60377,
              0.68653,
              0.78565,
              0.90397,
              1.04657,
              1.21757
            ],
            [
              0.1797,
              0.60697,
              0.68918,
              0.78842,
              0.90761,
              1.05064,
              1.22134
            ],
            [
              0.18035,
              0.60974,
              0.69246,
              0.79179,
              0.91121,
              1.05392,
              1.22562
            ],
            [
              0.18299,
              0.61409,
              0.69678,
              0.79685,
              0.91594,
              1.05978,
              1.23077
            ],
            [
              0.18981,
              0.62192,
              0.70536,
              0.8049,
              0.92416,
              1.06721,
              1.24031
            ],
            [
              0.2026,
              0.63387,
              0.71743,
              0.81785,
              0.93792,
              1.08202,
              1.25402
            ],
            [
              0.22439,
              0.65379,
              0.73739,
              0.83759,
              0.95853,
              1.10283,
              1.27493
            ],
            [
              0.25973,
              0.68579,
              0.76944,
              0.87056,
              0.99076,
              1.13486,
              1.30726
            ],
            [
              0.31408,
              0.73697,
              0.82075,
              0.92145,
              1.04125,
              1.18545,
              1.35855
            ],
            [
              0.39765,
              0.81689,
              0.89879,
              1.00019,
              1.11929,
              1.26519,
              1.43739
            ],
            [
              0.52202,
              0.94002,
              1.02272,
              1.12282,
              1.24142,
              1.38592,
              1.55842
            ],
            [
              0.69097,
              1.12657,
              1.20867,
              1.30867,
              1.42567,
              1.57077,
              1.74287
            ],
            [
              0.9213,
              1.4087,
              1.4909,
              1.5888,
              1.7085,
              1.8513,
              2.0212
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.02427,
              0.10551,
              0.12186,
              0.14115,
              0.16429,
              0.19253,
              0.22594
            ],
            [
              0.02429,
              0.10569,
              0.1218,
              0.14115,
              0.16428,
              0.19253,
              0.22597
            ],
            [
              0.02428,
              0.10569,
              0.12164,
              0.14122,
              0.16442,
              0.19236,
              0.22624
            ],
            [
              0.02425,
              0.10555,
              0.12186,
              0.14127,
              0.16435,
              0.19249,
              0.22607
            ],
            [
              0.02476,
              0.10551,
              0.12157,
              0.14117,
              0.16443,
              0.19257,
              0.22621
            ],
            [
              0.02792,
              0.10568,
              0.12167,
              0.14113,
              0.16431,
              0.19239,
              0.22613
            ],
            [
              0.03457,
              0.10583,
              0.12177,
              0.14107,
              0.16446,
              0.19247,
              0.22593
            ],
            [
              0.04344,
              0.11009,
              0.12469,
              0.14287,
              0.16517,
              0.19235,
              0.22618
            ],
            [
              0.05584,
              0.12237,
              0.1353,
              0.1517,
              0.1719,
              0.197,
              0.22843
            ],
            [
              0.07321,
              0.14823,
              0.15944,
              0.17335,
              0.19077,
              0.2132,
              0.24145
            ],
            [
              0.0974,
              0.18575,
              0.19873,
              0.21359,
              0.23063,
              0.24942,
              0.27342
            ],
            [
              0.1308,
              0.2366,
              0.2519,
              0.2693,
              0.2884,
              0.3101,
              0.3348
            ],
            [
              0.1786,
              0.3055,
              0.3239,
              0.3444,
              0.3669,
              0.3924,
              0.4215
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.15418,
              0.68392,
              0.78876,
              0.91534,
              1.0667,
              1.249,
              1.46834
            ],
            [
              0.15421,
              0.68364,
              0.78864,
              0.91548,
              1.06737,
              1.25044,
              1.46849
            ],
            [
              0.15398,
              0.68482,
              0.78942,
              0.91503,
              1.06754,
              1.24923,
              1.46892
            ],
            [
              0.15387,
              0.68367,
              0.78867,
              0.9156,
              1.06662,
              1.25038,
              1.46781
            ],
            [
              0.15404,
              0.68393,
              0.78916,
              0.91539,
              1.06668,
              1.24916,
              1.46868
            ],
            [
              0.15371,
              0.68371,
              0.78854,
              0.91504,
              1.06726,
              1.25115,
              1.46881
            ],
            [
              0.15315,
              0.68371,
              0.78853,
              0.91531,
              1.06751,
              1.25053,
              1.46796
            ],
            [
              0.1523,
              0.68373,
              0.78913,
              0.91596,
              1.0671,
              1.24894,
              1.4685
            ],
            [
              0.15032,
              0.68496,
              0.78888,
              0.91519,
              1.06666,
              1.2497,
              1.47003
            ],
            [
              0.15678,
              0.68472,
              0.78901,
              0.91534,
              1.06675,
              1.2498,
              1.4678
            ],
            [
              0.17924,
              0.6844,
              0.7887,
              0.9152,
              1.067,
              1.2497,
              1.4679
            ],
            [
              0.2262,
              0.6841,
              0.7885,
              0.9168,
              1.069,
              1.2499,
              1.4679
            ],
            [
              0.2895,
              0.7071,
              0.8027,
              0.922,
              1.0691,
              1.2508,
              1.4689
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03405,
              0.09722,
              0.10968,
              0.12472,
              0.14281,
              0.16435,
              0.19034
            ],
            [
              0.0373,
              0.10065,
              0.11314,
              0.12817,
              0.14615,
              0.16783,
              0.194
            ],
            [
              0.0412,
              0.10473,
              0.11719,
              0.1324,
              0.15025,
              0.17192,
              0.19808
            ],
            [
              0.04715,
              0.11089,
              0.12338,
              0.13842,
              0.15645,
              0.17836,
              0.20428
            ],
            [
              0.05619,
              0.12021,
              0.13268,
              0.14771,
              0.16579,
              0.18741,
              0.21357
            ],
            [
              0.06969,
              0.13416,
              0.14662,
              0.16166,
              0.17966,
              0.20143,
              0.22732
            ],
            [
              0.08712,
              0.15506,
              0.16756,
              0.18255,
              0.20054,
              0.22236,
              0.24836
            ],
            [
              0.10952,
              0.18655,
              0.19899,
              0.21423,
              0.23206,
              0.25396,
              0.2801
            ],
            [
              0.13836,
              0.23362,
              0.24676,
              0.26172,
              0.27964,
              0.30137,
              0.3274
            ],
            [
              0.17565,
              0.29582,
              0.31202,
              0.33021,
              0.35032,
              0.37272,
              0.39845
            ],
            [
              0.22362,
              0.37628,
              0.39637,
              0.41933,
              0.44462,
              0.47232,
              0.50272
            ],
            [
              0.28497,
              0.48057,
              0.50607,
              0.53487,
              0.56647,
              0.60077,
              0.63877
            ],
            [
              0.363,
              0.6157,
              0.6482,
              0.6848,
              0.7247,
              0.7679,
              0.8155
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.19839,
              0.50837,
              0.56889,
              0.64177,
              0.72898,
              0.83374,
              0.95922
            ],
            [
              0.20033,
              0.51172,
              0.57228,
              0.64523,
              0.73259,
              0.8374,
              0.963
            ],
            [
              0.20291,
              0.51543,
              0.57612,
              0.64922,
              0.73673,
              0.8416,
              0.96728
            ],
            [
              0.20744,
              0.52158,
              0.58205,
              0.65529,
              0.74296,
              0.84788,
              0.97377
            ],
            [
              0.21551,
              0.53024,
              0.59138,
              0.66479,
              0.75263,
              0.85795,
              0.98391
            ],
            [
              0.22931,
              0.5443,
              0.60556,
              0.6792,
              0.7672,
              0.87277,
              0.99902
            ],
            [
              0.25149,
              0.56645,
              0.62775,
              0.70142,
              0.78969,
              0.89553,
              1.02193
            ],
            [
              0.28771,
              0.60117,
              0.66257,
              0.73629,
              0.82416,
              0.93026,
              1.05676
            ],
            [
              0.34354,
              0.65506,
              0.71636,
              0.79005,
              0.87815,
              0.98325,
              1.11175
            ],
            [
              0.42838,
              0.73869,
              0.79989,
              0.87289,
              0.96159,
              1.06459,
              1.19369
            ],
            [
              0.55842,
              0.86602,
              0.92702,
              1.00012,
              1.08742,
              1.19332,
              1.31962
            ],
            [
              0.74237,
              1.05937,
              1.11977,
              1.19177,
              1.27977,
              1.38537,
              1.51067
            ],
            [
              0.9927,
              1.3507,
              1.4104,
              1.4832,
              1.5707,
              1.6752,
              1.7994
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03182,
              0.11632,
              0.13252,
              0.15199,
              0.17528,
              0.20336,
              0.23686
            ],
            [
              0.03182,
              0.11632,
              0.13253,
              0.15201,
              0.17525,
              0.20339,
              0.23704
            ],
            [
              0.03182,
              0.11631,
              0.13251,
              0.15205,
              0.17529,
              0.20332,
              0.23702
            ],
            [
              0.0318,
              0.11631,
              0.13253,
              0.15197,
              0.17524,
              0.20343,
              0.23699
            ],
            [
              0.03232,
              0.11634,
              0.13252,
              0.15198,
              0.17535,
              0.20324,
              0.23698
            ],
            [
              0.03556,
              0.11633,
              0.13253,
              0.15202,
              0.17526,
              0.20339,
              0.23692
            ],
            [
              0.04361,
              0.11654,
              0.1325,
              0.152,
              0.17534,
              0.20333,
              0.23697
            ],
            [
              0.05579,
              0.1209,
              0.13556,
              0.15363,
              0.17587,
              0.20335,
              0.23689
            ],
            [
              0.07245,
              0.13337,
              0.14629,
              0.16253,
              0.18277,
              0.20805,
              0.23926
            ],
            [
              0.0952,
              0.15974,
              0.1707,
              0.18447,
              0.20201,
              0.22439,
              0.25255
            ],
            [
              0.12642,
              0.19972,
              0.2122,
              0.22599,
              0.24177,
              0.26059,
              0.28485
            ],
            [
              0.1698,
              0.2541,
              0.2684,
              0.2841,
              0.3022,
              0.3236,
              0.3473
            ],
            [
              0.2302,
              0.3279,
              0.3445,
              0.3629,
              0.3838,
              0.4086,
              0.4363
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.14471,
              0.54097,
              0.61929,
              0.71346,
              0.82695,
              0.96312,
              1.12555
            ],
            [
              0.14487,
              0.54087,
              0.61929,
              0.71383,
              0.82696,
              0.96309,
              1.12611
            ],
            [
              0.14486,
              0.54105,
              0.61939,
              0.7138,
              0.82696,
              0.96267,
              1.12535
            ],
            [
              0.14486,
              0.5409,
              0.61934,
              0.71382,
              0.82703,
              0.96264,
              1.12535
            ],
            [
              0.14485,
              0.54101,
              0.61928,
              0.71359,
              0.82693,
              0.96253,
              1.1259
            ],
            [
              0.14478,
              0.54098,
              0.61931,
              0.71387,
              0.82696,
              0.96261,
              1.12586
            ],
            [
              0.14474,
              0.54096,
              0.61932,
              0.71381,
              0.82686,
              0.96272,
              1.12582
            ],
            [
              0.14458,
              0.54104,
              0.61924,
              0.71363,
              0.82682,
              0.9629,
              1.12588
            ],
            [
              0.14443,
              0.54073,
              0.61911,
              0.71377,
              0.827,
              0.96263,
              1.12594
            ],
            [
              0.14612,
              0.54079,
              0.61918,
              0.71386,
              0.8267,
              0.96294,
              1.1264
            ],
            [
              0.1619,
              0.5409,
              0.619,
              0.7135,
              0.8269,
              0.963,
              1.1265
            ],
            [
              0.2019,
              0.5434,
              0.6195,
              0.7137,
              0.8267,
              0.9629,
              1.1257
            ],
            [
              0.261,
              0.5733,
              0.6424,
              0.728,
              0.8336,
              0.9642,
              1.126
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03402,
              0.09724,
              0.10968,
              0.12471,
              0.14269,
              0.16435,
              0.19045
            ],
            [
              0.03733,
              0.10066,
              0.1131,
              0.12812,
              0.1462,
              0.16778,
              0.19381
            ],
            [
              0.04125,
              0.10476,
              0.11724,
              0.13224,
              0.15026,
              0.1719,
              0.19789
            ],
            [
              0.04721,
              0.11094,
              0.12341,
              0.13847,
              0.15651,
              0.17813,
              0.20417
            ],
            [
              0.05631,
              0.12025,
              0.13274,
              0.14778,
              0.16584,
              0.18752,
              0.21344
            ],
            [
              0.06987,
              0.13423,
              0.1467,
              0.16176,
              0.17986,
              0.20145,
              0.22742
            ],
            [
              0.08735,
              0.15524,
              0.16771,
              0.18273,
              0.20075,
              0.22237,
              0.24859
            ],
            [
              0.10977,
              0.18685,
              0.19932,
              0.21431,
              0.23219,
              0.2541,
              0.28007
            ],
            [
              0.13879,
              0.23383,
              0.24693,
              0.26175,
              0.27984,
              0.30146,
              0.32765
            ],
            [
              0.17608,
              0.29623,
              0.31247,
              0.33034,
              0.3507,
              0.37315,
              0.39894
            ],
            [
              0.2238,
              0.37678,
              0.39719,
              0.41984,
              0.44472,
              0.47272,
              0.50312
            ],
            [
              0.28547,
              0.48127,
              0.50697,
              0.53537,
              0.56687,
              0.60167,
              0.63977
            ],
            [
              0.3633,
              0.6166,
              0.6491,
              0.6849,
              0.7251,
              0.7687,
              0.8169
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.26814,
              0.69927,
              0.78349,
              0.88494,
              1.00627,
              1.15217,
              1.32697
            ],
            [
              0.26904,
              0.70223,
              0.78659,
              0.88818,
              1.00964,
              1.15564,
              1.33054
            ],
            [
              0.27041,
              0.70528,
              0.78986,
              0.89162,
              1.01332,
              1.15942,
              1.33452
            ],
            [
              0.27342,
              0.71061,
              0.79478,
              0.89682,
              1.01868,
              1.16498,
              1.34018
            ],
            [
              0.27972,
              0.71785,
              0.80292,
              0.90523,
              1.02741,
              1.17401,
              1.34961
            ],
            [
              0.2916,
              0.73014,
              0.81538,
              0.91798,
              1.04052,
              1.18742,
              1.36312
            ],
            [
              0.31143,
              0.75013,
              0.83548,
              0.93833,
              1.06113,
              1.20853,
              1.38443
            ],
            [
              0.34545,
              0.78245,
              0.86796,
              0.97056,
              1.09346,
              1.24096,
              1.41736
            ],
            [
              0.39868,
              0.83345,
              0.91885,
              1.02145,
              1.14415,
              1.29145,
              1.46915
            ],
            [
              0.48018,
              0.91159,
              0.99789,
              1.09929,
              1.22339,
              1.37059,
              1.54699
            ],
            [
              0.60542,
              1.03342,
              1.12002,
              1.22182,
              1.34312,
              1.49142,
              1.66722
            ],
            [
              0.79377,
              1.22147,
              1.30567,
              1.40607,
              1.52937,
              1.67617,
              1.85087
            ],
            [
              1.0518,
              1.5031,
              1.5862,
              1.6882,
              1.81,
              1.9556,
              2.129
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.0318,
              0.11633,
              0.13248,
              0.15198,
              0.1753,
              0.20331,
              0.23697
            ],
            [
              0.03179,
              0.1163,
              0.1325,
              0.152,
              0.17527,
              0.20334,
              0.23696
            ],
            [
              0.03179,
              0.11629,
              0.1325,
              0.15199,
              0.17526,
              0.20333,
              0.23695
            ],
            [
              0.03177,
              0.1163,
              0.1325,
              0.15199,
              0.17527,
              0.20336,
              0.23694
            ],
            [
              0.03227,
              0.11631,
              0.13252,
              0.15201,
              0.17524,
              0.20336,
              0.23695
            ],
            [
              0.03545,
              0.11633,
              0.13252,
              0.15198,
              0.17532,
              0.20336,
              0.23694
            ],
            [
              0.0434,
              0.11653,
              0.1325,
              0.15198,
              0.1753,
              0.20327,
              0.23692
            ],
            [
              0.05559,
              0.1208,
              0.13545,
              0.15362,
              0.17592,
              0.20332,
              0.23688
            ],
            [
              0.07204,
              0.13324,
              0.14616,
              0.16253,
              0.18278,
              0.20792,
              0.23928
            ],
            [
              0.09476,
              0.1594,
              0.17027,
              0.18443,
              0.20177,
              0.22412,
              0.25232
            ],
            [
              0.12622,
              0.19928,
              0.21142,
              0.22544,
              0.24166,
              0.26033,
              0.28453
            ],
            [
              0.1691,
              0.2534,
              0.2674,
              0.2838,
              0.3018,
              0.3227,
              0.3464
            ],
            [
              0.2298,
              0.327,
              0.3435,
              0.3628,
              0.3835,
              0.4077,
              0.435
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.20188,
              0.74616,
              0.85354,
              0.9831,
              1.13857,
              1.32522,
              1.54945
            ],
            [
              0.20176,
              0.74617,
              0.85351,
              0.98312,
              1.13876,
              1.32521,
              1.54933
            ],
            [
              0.2018,
              0.74642,
              0.85408,
              0.98332,
              1.13848,
              1.3253,
              1.54931
            ],
            [
              0.20172,
              0.74613,
              0.85384,
              0.9835,
              1.13854,
              1.32525,
              1.54953
            ],
            [
              0.2018,
              0.74644,
              0.85365,
              0.98335,
              1.1387,
              1.32545,
              1.54957
            ],
            [
              0.20175,
              0.74655,
              0.85397,
              0.98312,
              1.1388,
              1.32495,
              1.54928
            ],
            [
              0.20176,
              0.74594,
              0.8535,
              0.98345,
              1.13867,
              1.32474,
              1.5493
            ],
            [
              0.20163,
              0.74676,
              0.85373,
              0.98345,
              1.13868,
              1.32541,
              1.54955
            ],
            [
              0.20126,
              0.74635,
              0.85398,
              0.98348,
              1.13865,
              1.3256,
              1.5489
            ],
            [
              0.19958,
              0.74621,
              0.85392,
              0.9836,
              1.1389,
              1.3252,
              1.549
            ],
            [
              0.2067,
              0.7461,
              0.8537,
              0.9836,
              1.1388,
              1.3255,
              1.5495
            ],
            [
              0.2363,
              0.7456,
              0.8535,
              0.9834,
              1.1389,
              1.3255,
              1.5496
            ],
            [
              0.2983,
              0.7569,
              0.8587,
              0.9842,
              1.1381,
              1.3255,
              1.5489
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03402,
              0.09723,
              0.10968,
              0.12473,
              0.1427,
              0.16436,
              0.19049
            ],
            [
              0.03733,
              0.10062,
              0.1131,
              0.12812,
              0.14613,
              0.16778,
              0.19377
            ],
            [
              0.04124,
              0.10476,
              0.11725,
              0.13225,
              0.15029,
              0.1719,
              0.19792
            ],
            [
              0.0472,
              0.11095,
              0.12344,
              0.13845,
              0.15649,
              0.17813,
              0.20416
            ],
            [
              0.0563,
              0.12026,
              0.13272,
              0.14778,
              0.16584,
              0.18774,
              0.21344
            ],
            [
              0.06985,
              0.13422,
              0.14669,
              0.16176,
              0.17984,
              0.20145,
              0.22742
            ],
            [
              0.08732,
              0.15525,
              0.1677,
              0.18272,
              0.20072,
              0.22236,
              0.24859
            ],
            [
              0.10972,
              0.18682,
              0.1993,
              0.21429,
              0.23218,
              0.25409,
              0.28007
            ],
            [
              0.13874,
              0.23379,
              0.24689,
              0.26168,
              0.27978,
              0.30148,
              0.32696
            ],
            [
              0.17602,
              0.29618,
              0.31241,
              0.33028,
              0.35068,
              0.37311,
              0.39891
            ],
            [
              0.22375,
              0.37674,
              0.39713,
              0.41977,
              0.44462,
              0.47262,
              0.50302
            ],
            [
              0.28537,
              0.48117,
              0.50687,
              0.53517,
              0.56677,
              0.60157,
              0.63977
            ],
            [
              0.3633,
              0.6164,
              0.6489,
              0.6854,
              0.725,
              0.7689,
              0.8168
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.31659,
              0.73463,
              0.81589,
              0.91357,
              1.03037,
              1.17067,
              1.33877
            ],
            [
              0.31826,
              0.73756,
              0.81894,
              0.91691,
              1.03384,
              1.17414,
              1.34224
            ],
            [
              0.32064,
              0.74098,
              0.82244,
              0.9205,
              1.03762,
              1.17822,
              1.34652
            ],
            [
              0.3248,
              0.74613,
              0.82785,
              0.92598,
              1.04327,
              1.18388,
              1.35248
            ],
            [
              0.33169,
              0.75439,
              0.83625,
              0.93465,
              1.05211,
              1.19301,
              1.36161
            ],
            [
              0.34392,
              0.76757,
              0.8496,
              0.94822,
              1.06592,
              1.20692,
              1.37572
            ],
            [
              0.36476,
              0.78773,
              0.87017,
              0.96923,
              1.08713,
              1.22843,
              1.39753
            ],
            [
              0.39748,
              0.82042,
              0.90256,
              1.00116,
              1.11946,
              1.26126,
              1.43076
            ],
            [
              0.45094,
              0.87185,
              0.95395,
              1.05245,
              1.16995,
              1.31315,
              1.48305
            ],
            [
              0.53288,
              0.95059,
              1.03339,
              1.13099,
              1.24899,
              1.39169,
              1.56189
            ],
            [
              0.65742,
              1.07472,
              1.15622,
              1.25362,
              1.37212,
              1.51352,
              1.68212
            ],
            [
              0.84707,
              1.26127,
              1.34167,
              1.44057,
              1.55827,
              1.69887,
              1.86777
            ],
            [
              1.1219,
              1.543,
              1.6248,
              1.7228,
              1.8396,
              1.9791,
              2.1481
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03183,
              0.11907,
              0.13599,
              0.15643,
              0.18074,
              0.20982,
              0.24439
            ],
            [
              0.03184,
              0.11904,
              0.136,
              0.15641,
              0.18074,
              0.20982,
              0.24439
            ],
            [
              0.03184,
              0.11904,
              0.136,
              0.1564,
              0.18079,
              0.20982,
              0.24435
            ],
            [
              0.03182,
              0.11904,
              0.13601,
              0.1564,
              0.18076,
              0.20983,
              0.24435
            ],
            [
              0.03233,
              0.11908,
              0.13601,
              0.15641,
              0.18076,
              0.20989,
              0.24436
            ],
            [
              0.03549,
              0.11907,
              0.13601,
              0.15641,
              0.18079,
              0.20983,
              0.24435
            ],
            [
              0.04361,
              0.11927,
              0.13598,
              0.15644,
              0.18076,
              0.20983,
              0.24438
            ],
            [
              0.05623,
              0.12354,
              0.13893,
              0.15803,
              0.18136,
              0.20987,
              0.24441
            ],
            [
              0.07382,
              0.136,
              0.14969,
              0.16699,
              0.18822,
              0.21448,
              0.24683
            ],
            [
              0.09937,
              0.16249,
              0.17388,
              0.18887,
              0.20726,
              0.23064,
              0.25974
            ],
            [
              0.13767,
              0.20465,
              0.21692,
              0.23116,
              0.24766,
              0.26694,
              0.29202
            ],
            [
              0.1908,
              0.2626,
              0.2764,
              0.2925,
              0.3105,
              0.3311,
              0.3548
            ],
            [
              0.2619,
              0.3416,
              0.3573,
              0.375,
              0.3957,
              0.419,
              0.4458
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.22621,
              0.75206,
              0.85514,
              0.981,
              1.13075,
              1.30941,
              1.52504
            ],
            [
              0.22624,
              0.752,
              0.85508,
              0.98085,
              1.12985,
              1.3094,
              1.52472
            ],
            [
              0.22618,
              0.75195,
              0.85522,
              0.98001,
              1.13071,
              1.30956,
              1.52551
            ],
            [
              0.22623,
              0.75206,
              0.85518,
              0.9811,
              1.13001,
              1.30927,
              1.52507
            ],
            [
              0.2262,
              0.75196,
              0.85532,
              0.98118,
              1.13061,
              1.30926,
              1.52471
            ],
            [
              0.22618,
              0.75175,
              0.85614,
              0.98094,
              1.13016,
              1.30999,
              1.5253
            ],
            [
              0.22617,
              0.75183,
              0.8551,
              0.98116,
              1.13028,
              1.31012,
              1.52507
            ],
            [
              0.22614,
              0.75187,
              0.85515,
              0.9811,
              1.13057,
              1.30982,
              1.52521
            ],
            [
              0.22613,
              0.75165,
              0.85611,
              0.98081,
              1.12995,
              1.3096,
              1.52512
            ],
            [
              0.22566,
              0.75209,
              0.85585,
              0.9806,
              1.13,
              1.3096,
              1.5252
            ],
            [
              0.2257,
              0.752,
              0.8558,
              0.9804,
              1.1299,
              1.3098,
              1.5257
            ],
            [
              0.2443,
              0.7514,
              0.855,
              0.9803,
              1.1296,
              1.31,
              1.5256
            ],
            [
              0.2984,
              0.7579,
              0.8582,
              0.98,
              1.1304,
              1.3103,
              1.5255
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03928,
              0.10236,
              0.11479,
              0.1298,
              0.1479,
              0.16959,
              0.19553
            ],
            [
              0.04303,
              0.10624,
              0.11866,
              0.13373,
              0.15181,
              0.17347,
              0.19937
            ],
            [
              0.04735,
              0.11071,
              0.12321,
              0.1382,
              0.15622,
              0.17795,
              0.20387
            ],
            [
              0.05355,
              0.11711,
              0.12954,
              0.14464,
              0.16265,
              0.18435,
              0.21033
            ],
            [
              0.06252,
              0.12623,
              0.13878,
              0.15388,
              0.17189,
              0.19349,
              0.21961
            ],
            [
              0.07567,
              0.13973,
              0.15231,
              0.16741,
              0.18542,
              0.20716,
              0.23312
            ],
            [
              0.09344,
              0.15982,
              0.17238,
              0.18746,
              0.20548,
              0.22727,
              0.2533
            ],
            [
              0.11759,
              0.18965,
              0.20222,
              0.21736,
              0.2354,
              0.25727,
              0.28318
            ],
            [
              0.15013,
              0.23358,
              0.24681,
              0.26201,
              0.28018,
              0.30202,
              0.32809
            ],
            [
              0.19343,
              0.29396,
              0.309,
              0.32631,
              0.34614,
              0.36897,
              0.39527
            ],
            [
              0.25067,
              0.37629,
              0.39402,
              0.41417,
              0.43698,
              0.46292,
              0.49252
            ],
            [
              0.32597,
              0.48707,
              0.50897,
              0.53347,
              0.56067,
              0.59127,
              0.62557
            ],
            [
              0.4245,
              0.6347,
              0.6624,
              0.6933,
              0.7273,
              0.7649,
              0.8065
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.15773,
              0.41283,
              0.4631,
              0.52346,
              0.59576,
              0.68286,
              0.78712
            ],
            [
              0.15973,
              0.41588,
              0.46606,
              0.5266,
              0.59909,
              0.68608,
              0.79037
            ],
            [
              0.16284,
              0.41975,
              0.47,
              0.53063,
              0.60304,
              0.69019,
              0.79455
            ],
            [
              0.16828,
              0.42601,
              0.47636,
              0.537,
              0.60964,
              0.69671,
              0.80114
            ],
            [
              0.17726,
              0.43584,
              0.48629,
              0.54701,
              0.61975,
              0.70695,
              0.81146
            ],
            [
              0.19236,
              0.45118,
              0.50176,
              0.56256,
              0.63527,
              0.72264,
              0.8272
            ],
            [
              0.21618,
              0.47444,
              0.5249,
              0.58636,
              0.65911,
              0.74658,
              0.85124
            ],
            [
              0.25288,
              0.51026,
              0.56096,
              0.62182,
              0.69475,
              0.78238,
              0.88716
            ],
            [
              0.30917,
              0.56615,
              0.6171,
              0.67821,
              0.7508,
              0.83705,
              0.94175
            ],
            [
              0.39511,
              0.65039,
              0.70169,
              0.76169,
              0.83539,
              0.92289,
              1.02759
            ],
            [
              0.52192,
              0.77942,
              0.82982,
              0.89032,
              0.96192,
              1.05002,
              1.15492
            ],
            [
              0.69457,
              0.97307,
              1.02317,
              1.08307,
              1.15547,
              1.24307,
              1.34737
            ],
            [
              0.9291,
              1.2645,
              1.3139,
              1.3744,
              1.447,
              1.5337,
              1.6369
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.0243,
              0.10555,
              0.12168,
              0.1411,
              0.16432,
              0.19255,
              0.2262
            ],
            [
              0.02429,
              0.10554,
              0.12163,
              0.14105,
              0.16434,
              0.19252,
              0.22612
            ],
            [
              0.0243,
              0.10571,
              0.12166,
              0.14111,
              0.16432,
              0.19238,
              0.2262
            ],
            [
              0.02431,
              0.10556,
              0.12161,
              0.14114,
              0.16448,
              0.19237,
              0.22621
            ],
            [
              0.02439,
              0.10569,
              0.12184,
              0.14116,
              0.16444,
              0.19235,
              0.22602
            ],
            [
              0.02587,
              0.10553,
              0.12182,
              0.14114,
              0.1643,
              0.19253,
              0.22614
            ],
            [
              0.02973,
              0.10562,
              0.1218,
              0.14113,
              0.16463,
              0.19264,
              0.22616
            ],
            [
              0.03525,
              0.10822,
              0.12364,
              0.14217,
              0.16474,
              0.19253,
              0.22597
            ],
            [
              0.04385,
              0.11552,
              0.12984,
              0.14753,
              0.16923,
              0.19552,
              0.22768
            ],
            [
              0.05651,
              0.13171,
              0.1449,
              0.16071,
              0.18054,
              0.20534,
              0.23579
            ],
            [
              0.0746,
              0.1566,
              0.17037,
              0.18667,
              0.20582,
              0.22845,
              0.2557
            ],
            [
              0.1001,
              0.1934,
              0.2079,
              0.2248,
              0.2448,
              0.2683,
              0.2957
            ],
            [
              0.1363,
              0.246,
              0.2622,
              0.2808,
              0.302,
              0.3264,
              0.3551
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.11801,
              0.44941,
              0.51499,
              0.59406,
              0.6888,
              0.80283,
              0.93965
            ],
            [
              0.11821,
              0.44905,
              0.51491,
              0.59385,
              0.689,
              0.80291,
              0.93933
            ],
            [
              0.11809,
              0.4494,
              0.51489,
              0.59418,
              0.68843,
              0.80294,
              0.93968
            ],
            [
              0.11801,
              0.44936,
              0.51506,
              0.59382,
              0.68894,
              0.80257,
              0.9394
            ],
            [
              0.118,
              0.44952,
              0.51494,
              0.59396,
              0.68891,
              0.80285,
              0.93969
            ],
            [
              0.11797,
              0.44917,
              0.51451,
              0.59413,
              0.6889,
              0.80302,
              0.93926
            ],
            [
              0.11804,
              0.44905,
              0.51514,
              0.59391,
              0.68841,
              0.80268,
              0.93883
            ],
            [
              0.11792,
              0.44949,
              0.51506,
              0.59409,
              0.6888,
              0.80305,
              0.93967
            ],
            [
              0.11754,
              0.44936,
              0.51509,
              0.59412,
              0.68856,
              0.80266,
              0.9388
            ],
            [
              0.12485,
              0.44937,
              0.51478,
              0.59382,
              0.68891,
              0.80281,
              0.93944
            ],
            [
              0.14792,
              0.4493,
              0.5151,
              0.5941,
              0.6889,
              0.8029,
              0.9396
            ],
            [
              0.191,
              0.4605,
              0.5213,
              0.5966,
              0.6891,
              0.8028,
              0.939
            ],
            [
              0.2492,
              0.505,
              0.5585,
              0.6258,
              0.7097,
              0.814,
              0.9434
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.0393,
              0.10233,
              0.11483,
              0.12995,
              0.14793,
              0.16945,
              0.19556
            ],
            [
              0.04298,
              0.10627,
              0.11869,
              0.13375,
              0.15181,
              0.17348,
              0.19934
            ],
            [
              0.04738,
              0.11076,
              0.12316,
              0.13826,
              0.1563,
              0.17786,
              0.20397
            ],
            [
              0.05359,
              0.11715,
              0.1296,
              0.14469,
              0.16262,
              0.18438,
              0.21028
            ],
            [
              0.06258,
              0.12637,
              0.13889,
              0.15393,
              0.17198,
              0.19362,
              0.21966
            ],
            [
              0.07576,
              0.13982,
              0.1524,
              0.16739,
              0.18556,
              0.2072,
              0.23321
            ],
            [
              0.09355,
              0.15987,
              0.17247,
              0.18752,
              0.20555,
              0.22734,
              0.25337
            ],
            [
              0.11774,
              0.18977,
              0.20235,
              0.21752,
              0.23552,
              0.2574,
              0.28331
            ],
            [
              0.1503,
              0.23374,
              0.24697,
              0.26216,
              0.28034,
              0.30217,
              0.32825
            ],
            [
              0.1936,
              0.29417,
              0.3092,
              0.3265,
              0.34632,
              0.36914,
              0.39544
            ],
            [
              0.25077,
              0.37654,
              0.39429,
              0.41442,
              0.43719,
              0.46312,
              0.49272
            ],
            [
              0.32617,
              0.48737,
              0.50917,
              0.53357,
              0.56097,
              0.59147,
              0.62587
            ],
            [
              0.4247,
              0.6349,
              0.6627,
              0.6935,
              0.7275,
              0.7651,
              0.8067
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.18102,
              0.47789,
              0.53624,
              0.60657,
              0.69073,
              0.79203,
              0.91325
            ],
            [
              0.18255,
              0.48054,
              0.53898,
              0.60938,
              0.69364,
              0.79491,
              0.91644
            ],
            [
              0.18522,
              0.48415,
              0.54264,
              0.61313,
              0.69751,
              0.79891,
              0.92032
            ],
            [
              0.19012,
              0.49005,
              0.54868,
              0.6192,
              0.70361,
              0.80498,
              0.92663
            ],
            [
              0.19847,
              0.4994,
              0.55816,
              0.62883,
              0.71333,
              0.81496,
              0.93657
            ],
            [
              0.21287,
              0.51423,
              0.57304,
              0.64381,
              0.72845,
              0.8301,
              0.95182
            ],
            [
              0.23598,
              0.53674,
              0.59561,
              0.66713,
              0.75189,
              0.85358,
              0.97553
            ],
            [
              0.27183,
              0.57186,
              0.63082,
              0.70174,
              0.78671,
              0.88856,
              1.01046
            ],
            [
              0.32704,
              0.62583,
              0.68479,
              0.75575,
              0.84125,
              0.94245,
              1.06445
            ],
            [
              0.41157,
              0.70889,
              0.76849,
              0.83859,
              0.92329,
              1.02499,
              1.14809
            ],
            [
              0.53862,
              0.83582,
              0.89452,
              0.96512,
              1.04832,
              1.15112,
              1.27332
            ],
            [
              0.71397,
              1.02647,
              1.08477,
              1.15447,
              1.23907,
              1.34097,
              1.46237
            ],
            [
              0.9514,
              1.3134,
              1.3711,
              1.4414,
              1.5259,
              1.627,
              1.7472
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.02429,
              0.10555,
              0.12159,
              0.14102,
              0.1645,
              0.19237,
              0.22601
            ],
            [
              0.02428,
              0.10555,
              0.12165,
              0.14105,
              0.16431,
              0.19254,
              0.22597
            ],
            [
              0.0243,
              0.10555,
              0.12165,
              0.14103,
              0.16445,
              0.19246,
              0.226
            ],
            [
              0.0243,
              0.10564,
              0.12186,
              0.14114,
              0.16438,
              0.19254,
              0.22608
            ],
            [
              0.02435,
              0.10567,
              0.1217,
              0.14116,
              0.16451,
              0.19236,
              0.22621
            ],
            [
              0.02585,
              0.10551,
              0.1218,
              0.14107,
              0.16458,
              0.19235,
              0.22615
            ],
            [
              0.0297,
              0.10575,
              0.12179,
              0.14111,
              0.16464,
              0.19264,
              0.22614
            ],
            [
              0.03518,
              0.1082,
              0.12342,
              0.14213,
              0.16472,
              0.19251,
              0.22594
            ],
            [
              0.04374,
              0.11546,
              0.1298,
              0.14745,
              0.16919,
              0.19545,
              0.22767
            ],
            [
              0.05639,
              0.13157,
              0.14482,
              0.16063,
              0.18047,
              0.20526,
              0.23575
            ],
            [
              0.07452,
              0.15642,
              0.17021,
              0.18653,
              0.20582,
              0.22834,
              0.2556
            ],
            [
              0.1,
              0.1932,
              0.2078,
              0.2249,
              0.2446,
              0.2681,
              0.2955
            ],
            [
              0.1362,
              0.2458,
              0.262,
              0.2806,
              0.3017,
              0.3262,
              0.3549
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.13737,
              0.52038,
              0.59586,
              0.68714,
              0.79677,
              0.92845,
              1.08614
            ],
            [
              0.13737,
              0.52024,
              0.59587,
              0.68717,
              0.7964,
              0.92828,
              1.08648
            ],
            [
              0.13729,
              0.52039,
              0.59587,
              0.68702,
              0.79681,
              0.92865,
              1.08595
            ],
            [
              0.13734,
              0.52023,
              0.59604,
              0.68719,
              0.79637,
              0.92837,
              1.08625
            ],
            [
              0.13737,
              0.51992,
              0.59606,
              0.68707,
              0.79686,
              0.92861,
              1.08597
            ],
            [
              0.13726,
              0.52034,
              0.59556,
              0.68724,
              0.7965,
              0.92833,
              1.08607
            ],
            [
              0.13726,
              0.5199,
              0.59587,
              0.68698,
              0.79658,
              0.92833,
              1.08652
            ],
            [
              0.13714,
              0.51999,
              0.59603,
              0.68745,
              0.79684,
              0.92844,
              1.08577
            ],
            [
              0.13676,
              0.52011,
              0.59608,
              0.68746,
              0.79669,
              0.92837,
              1.08633
            ],
            [
              0.14077,
              0.5201,
              0.59612,
              0.68737,
              0.79688,
              0.92844,
              1.08624
            ],
            [
              0.1604,
              0.5201,
              0.5959,
              0.6872,
              0.7968,
              0.9284,
              1.0862
            ],
            [
              0.2029,
              0.5259,
              0.5979,
              0.6875,
              0.7967,
              0.9284,
              1.0865
            ],
            [
              0.2628,
              0.5623,
              0.6274,
              0.7083,
              0.8085,
              0.9331,
              1.087
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.0393,
              0.10233,
              0.11478,
              0.1299,
              0.14794,
              0.16948,
              0.19555
            ],
            [
              0.04305,
              0.10625,
              0.11867,
              0.13377,
              0.15183,
              0.17349,
              0.19937
            ],
            [
              0.04738,
              0.11076,
              0.12317,
              0.13824,
              0.1563,
              0.17792,
              0.20387
            ],
            [
              0.05359,
              0.11714,
              0.12962,
              0.14469,
              0.16265,
              0.18438,
              0.2103
            ],
            [
              0.06257,
              0.12636,
              0.13883,
              0.15393,
              0.17188,
              0.19356,
              0.21967
            ],
            [
              0.07575,
              0.13982,
              0.15238,
              0.16738,
              0.18543,
              0.20722,
              0.2332
            ],
            [
              0.09353,
              0.15989,
              0.17247,
              0.1875,
              0.20554,
              0.22735,
              0.25335
            ],
            [
              0.1177,
              0.18975,
              0.20229,
              0.21746,
              0.2355,
              0.25738,
              0.28329
            ],
            [
              0.15027,
              0.23371,
              0.24699,
              0.26213,
              0.28031,
              0.30214,
              0.32823
            ],
            [
              0.19357,
              0.29413,
              0.30916,
              0.32647,
              0.34629,
              0.36911,
              0.39541
            ],
            [
              0.25074,
              0.3765,
              0.39424,
              0.41438,
              0.43715,
              0.46312,
              0.49262
            ],
            [
              0.32617,
              0.48727,
              0.50907,
              0.53357,
              0.56087,
              0.59147,
              0.62577
            ],
            [
              0.4247,
              0.6349,
              0.6627,
              0.6935,
              0.7275,
              0.7651,
              0.8067
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.17636,
              0.4645,
              0.52115,
              0.58941,
              0.67104,
              0.76927,
              0.8872
            ],
            [
              0.17799,
              0.46724,
              0.52395,
              0.59227,
              0.67415,
              0.77228,
              0.89021
            ],
            [
              0.18074,
              0.47087,
              0.52767,
              0.59606,
              0.67789,
              0.77624,
              0.89426
            ],
            [
              0.18576,
              0.47686,
              0.53372,
              0.6022,
              0.68412,
              0.78253,
              0.90055
            ],
            [
              0.19424,
              0.48629,
              0.5433,
              0.61188,
              0.6939,
              0.7925,
              0.91053
            ],
            [
              0.20876,
              0.50123,
              0.55832,
              0.627,
              0.70915,
              0.80774,
              0.92598
            ],
            [
              0.23202,
              0.52388,
              0.58103,
              0.65045,
              0.73267,
              0.83137,
              0.94973
            ],
            [
              0.26804,
              0.55917,
              0.61637,
              0.68521,
              0.76768,
              0.86656,
              0.98496
            ],
            [
              0.32349,
              0.61335,
              0.67055,
              0.73947,
              0.82255,
              0.92065,
              1.03905
            ],
            [
              0.40829,
              0.69679,
              0.75469,
              0.82259,
              0.90479,
              1.00349,
              1.12299
            ],
            [
              0.53542,
              0.82422,
              0.88112,
              0.94962,
              1.03032,
              1.13022,
              1.24852
            ],
            [
              0.71017,
              1.01537,
              1.07207,
              1.13967,
              1.22167,
              1.32057,
              1.43847
            ],
            [
              0.9471,
              1.3033,
              1.3592,
              1.4275,
              1.5095,
              1.6075,
              1.7242
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.0243,
              0.10555,
              0.12162,
              0.14134,
              0.1645,
              0.1924,
              0.226
            ],
            [
              0.02427,
              0.10554,
              0.12162,
              0.14103,
              0.16469,
              0.19253,
              0.22594
            ],
            [
              0.0243,
              0.10553,
              0.12166,
              0.14103,
              0.16447,
              0.19252,
              0.22596
            ],
            [
              0.0243,
              0.10556,
              0.12184,
              0.14114,
              0.16442,
              0.19254,
              0.2261
            ],
            [
              0.02435,
              0.10567,
              0.12184,
              0.14117,
              0.16439,
              0.19234,
              0.22604
            ],
            [
              0.02585,
              0.10551,
              0.1218,
              0.14107,
              0.16437,
              0.19254,
              0.22615
            ],
            [
              0.02971,
              0.10574,
              0.12179,
              0.14111,
              0.16463,
              0.1925,
              0.22614
            ],
            [
              0.0352,
              0.10821,
              0.12362,
              0.14217,
              0.16473,
              0.19251,
              0.22595
            ],
            [
              0.04376,
              0.11548,
              0.12978,
              0.14746,
              0.1692,
              0.19545,
              0.22767
            ],
            [
              0.05641,
              0.1316,
              0.14485,
              0.16064,
              0.18049,
              0.20527,
              0.23575
            ],
            [
              0.07455,
              0.15641,
              0.17029,
              0.1866,
              0.20578,
              0.2284,
              0.25565
            ],
            [
              0.1,
              0.1932,
              0.2077,
              0.2247,
              0.2447,
              0.2682,
              0.2955
            ],
            [
              0.1362,
              0.2458,
              0.262,
              0.2805,
              0.3018,
              0.3263,
              0.355
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.13325,
              0.50533,
              0.57889,
              0.66768,
              0.77376,
              0.90191,
              1.05569
            ],
            [
              0.13325,
              0.50543,
              0.57907,
              0.66749,
              0.77435,
              0.90183,
              1.0553
            ],
            [
              0.13328,
              0.50544,
              0.57913,
              0.66767,
              0.7739,
              0.90159,
              1.05565
            ],
            [
              0.13323,
              0.50547,
              0.57858,
              0.66768,
              0.77396,
              0.90164,
              1.05524
            ],
            [
              0.1333,
              0.50532,
              0.5789,
              0.66754,
              0.77396,
              0.90205,
              1.05559
            ],
            [
              0.13324,
              0.50537,
              0.57908,
              0.66795,
              0.774,
              0.90168,
              1.05533
            ],
            [
              0.13318,
              0.5054,
              0.57908,
              0.6677,
              0.77398,
              0.90166,
              1.05544
            ],
            [
              0.13323,
              0.50505,
              0.5791,
              0.66782,
              0.7742,
              0.90214,
              1.05584
            ],
            [
              0.13269,
              0.50529,
              0.579,
              0.66757,
              0.77421,
              0.90188,
              1.05524
            ],
            [
              0.13753,
              0.50532,
              0.57913,
              0.66793,
              0.7741,
              0.9021,
              1.05556
            ],
            [
              0.15785,
              0.5052,
              0.5788,
              0.6679,
              0.7741,
              0.9022,
              1.0555
            ],
            [
              0.2004,
              0.5119,
              0.5819,
              0.6682,
              0.7743,
              0.902,
              1.0556
            ],
            [
              0.2598,
              0.55,
              0.6131,
              0.6906,
              0.7876,
              0.9079,
              1.0567
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03934,
              0.10231,
              0.1149,
              0.12978,
              0.14795,
              0.16953,
              0.19561
            ],
            [
              0.04304,
              0.10631,
              0.11873,
              0.13389,
              0.15194,
              0.17347,
              0.19931
            ],
            [
              0.04745,
              0.1108,
              0.12322,
              0.13832,
              0.15631,
              0.17802,
              0.20414
            ],
            [
              0.05367,
              0.11721,
              0.1297,
              0.14469,
              0.16276,
              0.18438,
              0.21052
            ],
            [
              0.0627,
              0.12646,
              0.13898,
              0.15399,
              0.17207,
              0.19377,
              0.2197
            ],
            [
              0.07591,
              0.13995,
              0.15253,
              0.16761,
              0.1856,
              0.20734,
              0.23338
            ],
            [
              0.09377,
              0.16007,
              0.17266,
              0.18769,
              0.20569,
              0.22755,
              0.25354
            ],
            [
              0.11804,
              0.19002,
              0.20258,
              0.21773,
              0.23588,
              0.25765,
              0.28354
            ],
            [
              0.15067,
              0.23406,
              0.24726,
              0.26251,
              0.28066,
              0.30247,
              0.32851
            ],
            [
              0.19397,
              0.29457,
              0.30961,
              0.3269,
              0.34668,
              0.36948,
              0.39576
            ],
            [
              0.25123,
              0.377,
              0.39477,
              0.41492,
              0.43767,
              0.46362,
              0.49312
            ],
            [
              0.32647,
              0.48787,
              0.50977,
              0.53427,
              0.56147,
              0.59207,
              0.62627
            ],
            [
              0.4251,
              0.6357,
              0.6634,
              0.6943,
              0.7282,
              0.7657,
              0.8073
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.24281,
              0.65425,
              0.73514,
              0.83269,
              0.94945,
              1.08977,
              1.25807
            ],
            [
              0.24331,
              0.65623,
              0.73723,
              0.83485,
              0.95168,
              1.09214,
              1.26054
            ],
            [
              0.24485,
              0.65922,
              0.74035,
              0.8381,
              0.95503,
              1.09562,
              1.26402
            ],
            [
              0.24848,
              0.66427,
              0.7455,
              0.84335,
              0.96042,
              1.10108,
              1.26958
            ],
            [
              0.25522,
              0.67244,
              0.75389,
              0.85192,
              0.96911,
              1.10991,
              1.27861
            ],
            [
              0.26778,
              0.68595,
              0.76746,
              0.86563,
              0.98302,
              1.12402,
              1.29282
            ],
            [
              0.28901,
              0.7067,
              0.7884,
              0.88753,
              1.00503,
              1.14613,
              1.31513
            ],
            [
              0.32308,
              0.73981,
              0.82158,
              0.92006,
              1.03786,
              1.17916,
              1.34816
            ],
            [
              0.37586,
              0.79135,
              0.87315,
              0.97145,
              1.08925,
              1.23065,
              1.39985
            ],
            [
              0.45733,
              0.87169,
              0.95289,
              1.05139,
              1.16879,
              1.30979,
              1.47859
            ],
            [
              0.58072,
              0.99272,
              1.07422,
              1.17202,
              1.28852,
              1.43082,
              1.60002
            ],
            [
              0.76247,
              1.17667,
              1.25767,
              1.35447,
              1.47247,
              1.61367,
              1.78207
            ],
            [
              1.0083,
              1.454,
              1.534,
              1.6321,
              1.7493,
              1.8895,
              2.0565
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.02428,
              0.10553,
              0.12157,
              0.14117,
              0.16448,
              0.19274,
              0.22618
            ],
            [
              0.02425,
              0.10555,
              0.12161,
              0.14102,
              0.16461,
              0.19231,
              0.22595
            ],
            [
              0.02426,
              0.10568,
              0.12166,
              0.141,
              0.16452,
              0.19231,
              0.2262
            ],
            [
              0.02429,
              0.10555,
              0.1218,
              0.14111,
              0.16432,
              0.19232,
              0.22617
            ],
            [
              0.02433,
              0.10567,
              0.12169,
              0.14113,
              0.16467,
              0.19261,
              0.22596
            ],
            [
              0.02581,
              0.10552,
              0.12181,
              0.14115,
              0.16439,
              0.19255,
              0.22621
            ],
            [
              0.02962,
              0.10573,
              0.12179,
              0.14109,
              0.16433,
              0.19247,
              0.22611
            ],
            [
              0.03508,
              0.10815,
              0.12358,
              0.14212,
              0.16485,
              0.19252,
              0.22595
            ],
            [
              0.04354,
              0.11533,
              0.12969,
              0.1474,
              0.16913,
              0.1956,
              0.22756
            ],
            [
              0.05615,
              0.13139,
              0.14465,
              0.16049,
              0.1803,
              0.20506,
              0.23577
            ],
            [
              0.0742,
              0.15614,
              0.16985,
              0.18617,
              0.20554,
              0.22811,
              0.25541
            ],
            [
              0.0997,
              0.1926,
              0.2073,
              0.2243,
              0.2442,
              0.2677,
              0.2952
            ],
            [
              0.1359,
              0.2452,
              0.2613,
              0.2798,
              0.301,
              0.3257,
              0.3545
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.19076,
              0.71533,
              0.81891,
              0.9436,
              1.09308,
              1.27342,
              1.48933
            ],
            [
              0.19073,
              0.71552,
              0.81889,
              0.94389,
              1.09371,
              1.27254,
              1.48906
            ],
            [
              0.19075,
              0.71505,
              0.81865,
              0.94399,
              1.09377,
              1.27349,
              1.48912
            ],
            [
              0.19073,
              0.71505,
              0.81888,
              0.94399,
              1.09332,
              1.27309,
              1.48906
            ],
            [
              0.19069,
              0.71489,
              0.81893,
              0.94391,
              1.09318,
              1.2738,
              1.48965
            ],
            [
              0.19064,
              0.7155,
              0.81894,
              0.94386,
              1.09369,
              1.27332,
              1.48937
            ],
            [
              0.19054,
              0.71556,
              0.8189,
              0.9441,
              1.09377,
              1.27257,
              1.48908
            ],
            [
              0.1905,
              0.71547,
              0.81859,
              0.94407,
              1.0936,
              1.27311,
              1.48966
            ],
            [
              0.18964,
              0.71511,
              0.8191,
              0.94401,
              1.09341,
              1.27372,
              1.48904
            ],
            [
              0.18847,
              0.71501,
              0.81896,
              0.94373,
              1.0938,
              1.2737,
              1.4892
            ],
            [
              0.2002,
              0.7154,
              0.8192,
              0.944,
              1.0938,
              1.2737,
              1.4883
            ],
            [
              0.2355,
              0.7142,
              0.8187,
              0.9441,
              1.0938,
              1.2729,
              1.4897
            ],
            [
              0.2976,
              0.7322,
              0.8287,
              0.9474,
              1.0934,
              1.2734,
              1.4896
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03937,
              0.10238,
              0.11484,
              0.12984,
              0.14785,
              0.16953,
              0.1957
            ],
            [
              0.04315,
              0.10629,
              0.11875,
              0.13379,
              0.15197,
              0.17343,
              0.19946
            ],
            [
              0.04745,
              0.11075,
              0.12323,
              0.13827,
              0.15626,
              0.17791,
              0.20403
            ],
            [
              0.05368,
              0.11714,
              0.12962,
              0.14466,
              0.16267,
              0.18432,
              0.2103
            ],
            [
              0.06265,
              0.12637,
              0.13888,
              0.1539,
              0.17204,
              0.19366,
              0.21983
            ],
            [
              0.07584,
              0.13989,
              0.15239,
              0.16748,
              0.1855,
              0.20717,
              0.23317
            ],
            [
              0.09365,
              0.15994,
              0.17245,
              0.18753,
              0.20564,
              0.22729,
              0.25331
            ],
            [
              0.11784,
              0.18985,
              0.20239,
              0.21752,
              0.23565,
              0.25735,
              0.28344
            ],
            [
              0.15043,
              0.23383,
              0.24704,
              0.26224,
              0.28042,
              0.30221,
              0.32834
            ],
            [
              0.19377,
              0.29425,
              0.30929,
              0.32659,
              0.34641,
              0.36922,
              0.39551
            ],
            [
              0.251,
              0.37665,
              0.39438,
              0.41451,
              0.43729,
              0.46322,
              0.49282
            ],
            [
              0.32647,
              0.48747,
              0.50927,
              0.53377,
              0.56107,
              0.59157,
              0.62597
            ],
            [
              0.4251,
              0.6351,
              0.6629,
              0.6937,
              0.7276,
              0.7653,
              0.8068
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.2313,
              0.52468,
              0.58217,
              0.65142,
              0.73429,
              0.83388,
              0.95326
            ],
            [
              0.23352,
              0.52745,
              0.585,
              0.65439,
              0.73733,
              0.83694,
              0.95637
            ],
            [
              0.23661,
              0.53117,
              0.58879,
              0.65823,
              0.7412,
              0.84091,
              0.96038
            ],
            [
              0.24196,
              0.53724,
              0.59491,
              0.66443,
              0.74748,
              0.84727,
              0.96679
            ],
            [
              0.2508,
              0.54685,
              0.60459,
              0.67419,
              0.75732,
              0.85717,
              0.97681
            ],
            [
              0.26517,
              0.56184,
              0.61967,
              0.68937,
              0.7726,
              0.87254,
              0.99232
            ],
            [
              0.28804,
              0.58519,
              0.64311,
              0.71288,
              0.79619,
              0.89623,
              1.01603
            ],
            [
              0.32403,
              0.61987,
              0.67784,
              0.74778,
              0.83127,
              0.93136,
              1.05106
            ],
            [
              0.37932,
              0.67404,
              0.73208,
              0.80265,
              0.88535,
              0.98545,
              1.10525
            ],
            [
              0.46314,
              0.75749,
              0.81519,
              0.88479,
              0.96809,
              1.06939,
              1.18889
            ],
            [
              0.59022,
              0.88432,
              0.94192,
              1.01042,
              1.09462,
              1.19482,
              1.31442
            ],
            [
              0.77917,
              1.07497,
              1.13177,
              1.20147,
              1.28497,
              1.38487,
              1.50367
            ],
            [
              1.0367,
              1.3618,
              1.4196,
              1.4891,
              1.572,
              1.6709,
              1.7882
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03181,
              0.11631,
              0.1325,
              0.15198,
              0.17526,
              0.20336,
              0.23702
            ],
            [
              0.03183,
              0.11631,
              0.13254,
              0.15201,
              0.17531,
              0.20333,
              0.23698
            ],
            [
              0.03181,
              0.11632,
              0.13251,
              0.15201,
              0.17523,
              0.20325,
              0.23695
            ],
            [
              0.03183,
              0.11631,
              0.13254,
              0.15199,
              0.17525,
              0.20333,
              0.23692
            ],
            [
              0.0319,
              0.11632,
              0.13254,
              0.152,
              0.17534,
              0.2034,
              0.237
            ],
            [
              0.0334,
              0.11631,
              0.1325,
              0.15201,
              0.17538,
              0.20334,
              0.23689
            ],
            [
              0.03765,
              0.1164,
              0.13251,
              0.152,
              0.1753,
              0.20336,
              0.23694
            ],
            [
              0.04567,
              0.11899,
              0.13436,
              0.15306,
              0.17573,
              0.20338,
              0.23692
            ],
            [
              0.0567,
              0.12634,
              0.14073,
              0.15838,
              0.18001,
              0.20644,
              0.23867
            ],
            [
              0.07259,
              0.14267,
              0.15557,
              0.17169,
              0.19152,
              0.21629,
              0.24659
            ],
            [
              0.09515,
              0.16906,
              0.18235,
              0.19816,
              0.21685,
              0.23897,
              0.26652
            ],
            [
              0.1268,
              0.2077,
              0.2216,
              0.238,
              0.2573,
              0.28,
              0.307
            ],
            [
              0.1715,
              0.2633,
              0.2784,
              0.2961,
              0.3164,
              0.3399,
              0.3681
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.16445,
              0.54354,
              0.6178,
              0.70801,
              0.81548,
              0.94485,
              1.10047
            ],
            [
              0.16432,
              0.54335,
              0.61788,
              0.70801,
              0.81572,
              0.94508,
              1.10039
            ],
            [
              0.16442,
              0.54344,
              0.61793,
              0.70805,
              0.8157,
              0.94497,
              1.1005
            ],
            [
              0.16445,
              0.54334,
              0.61775,
              0.70772,
              0.81539,
              0.94521,
              1.10031
            ],
            [
              0.16433,
              0.54342,
              0.6178,
              0.70818,
              0.81597,
              0.94523,
              1.10066
            ],
            [
              0.16441,
              0.54362,
              0.61761,
              0.70782,
              0.81571,
              0.94489,
              1.1004
            ],
            [
              0.1644,
              0.54362,
              0.61769,
              0.70772,
              0.81554,
              0.94515,
              1.10005
            ],
            [
              0.16436,
              0.54316,
              0.6178,
              0.70778,
              0.81617,
              0.94546,
              1.10025
            ],
            [
              0.16425,
              0.5435,
              0.61776,
              0.70816,
              0.81596,
              0.9452,
              1.10011
            ],
            [
              0.16395,
              0.5434,
              0.61785,
              0.7076,
              0.81594,
              0.9453,
              1.1007
            ],
            [
              0.1742,
              0.5431,
              0.6178,
              0.7076,
              0.8159,
              0.9449,
              1.1004
            ],
            [
              0.2078,
              0.5455,
              0.6181,
              0.7076,
              0.8155,
              0.945,
              1.1004
            ],
            [
              0.2668,
              0.5738,
              0.64,
              0.7222,
              0.8228,
              0.9473,
              1.1003
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03941,
              0.1024,
              0.11483,
              0.12986,
              0.14786,
              0.16961,
              0.1955
            ],
            [
              0.04312,
              0.10631,
              0.11878,
              0.13379,
              0.1518,
              0.17352,
              0.19941
            ],
            [
              0.04752,
              0.11078,
              0.12325,
              0.13827,
              0.15628,
              0.17791,
              0.20394
            ],
            [
              0.05376,
              0.11721,
              0.12968,
              0.14472,
              0.16273,
              0.18443,
              0.21035
            ],
            [
              0.06278,
              0.12647,
              0.13896,
              0.15399,
              0.17218,
              0.19388,
              0.21978
            ],
            [
              0.076,
              0.14003,
              0.15252,
              0.16758,
              0.18564,
              0.20729,
              0.23356
            ],
            [
              0.09387,
              0.16013,
              0.17263,
              0.18772,
              0.20583,
              0.22747,
              0.25349
            ],
            [
              0.11815,
              0.1901,
              0.20266,
              0.2178,
              0.23586,
              0.25759,
              0.28368
            ],
            [
              0.15081,
              0.23416,
              0.24735,
              0.2626,
              0.28075,
              0.30253,
              0.32859
            ],
            [
              0.19415,
              0.29468,
              0.30971,
              0.327,
              0.34677,
              0.36957,
              0.39585
            ],
            [
              0.25147,
              0.37712,
              0.39488,
              0.41503,
              0.43777,
              0.46372,
              0.49322
            ],
            [
              0.32687,
              0.48807,
              0.50997,
              0.53437,
              0.56167,
              0.59217,
              0.62637
            ],
            [
              0.4256,
              0.6358,
              0.6636,
              0.6944,
              0.7284,
              0.7659,
              0.8074
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.31743,
              0.72873,
              0.80945,
              0.90673,
              1.02307,
              1.16277,
              1.33037
            ],
            [
              0.31865,
              0.73085,
              0.81164,
              0.90896,
              1.02534,
              1.16524,
              1.33284
            ],
            [
              0.32091,
              0.73402,
              0.81491,
              0.91236,
              1.02882,
              1.16872,
              1.33632
            ],
            [
              0.32504,
              0.73921,
              0.82017,
              0.91771,
              1.03428,
              1.17438,
              1.34208
            ],
            [
              0.33251,
              0.74769,
              0.82879,
              0.9264,
              1.04311,
              1.18321,
              1.35111
            ],
            [
              0.34517,
              0.76132,
              0.84256,
              0.94032,
              1.05722,
              1.19752,
              1.36552
            ],
            [
              0.36624,
              0.7832,
              0.86449,
              0.96233,
              1.07933,
              1.21973,
              1.38793
            ],
            [
              0.39947,
              0.8156,
              0.89716,
              0.99516,
              1.11236,
              1.25286,
              1.42096
            ],
            [
              0.45253,
              0.86725,
              0.94855,
              1.04665,
              1.16395,
              1.30445,
              1.47285
            ],
            [
              0.53289,
              0.94719,
              1.02849,
              1.12639,
              1.24329,
              1.38359,
              1.55229
            ],
            [
              0.65522,
              1.06842,
              1.14932,
              1.24622,
              1.36432,
              1.50492,
              1.67272
            ],
            [
              0.84137,
              1.25187,
              1.33177,
              1.43037,
              1.54747,
              1.68757,
              1.85477
            ],
            [
              1.1088,
              1.528,
              1.6099,
              1.7074,
              1.8237,
              1.9629,
              2.131
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03178,
              0.11631,
              0.13249,
              0.15197,
              0.17524,
              0.20338,
              0.23694
            ],
            [
              0.03179,
              0.1163,
              0.1325,
              0.15197,
              0.17524,
              0.20336,
              0.23681
            ],
            [
              0.0318,
              0.11632,
              0.13249,
              0.15199,
              0.17525,
              0.2033,
              0.23691
            ],
            [
              0.03182,
              0.11631,
              0.13251,
              0.15198,
              0.17533,
              0.20328,
              0.23685
            ],
            [
              0.0319,
              0.11632,
              0.13251,
              0.152,
              0.1754,
              0.20333,
              0.23699
            ],
            [
              0.03335,
              0.11632,
              0.13251,
              0.152,
              0.17526,
              0.20327,
              0.23689
            ],
            [
              0.03746,
              0.11639,
              0.13253,
              0.152,
              0.17526,
              0.20335,
              0.23692
            ],
            [
              0.0455,
              0.11895,
              0.13432,
              0.15302,
              0.17575,
              0.20337,
              0.23692
            ],
            [
              0.05647,
              0.12621,
              0.14062,
              0.15832,
              0.17994,
              0.20638,
              0.23861
            ],
            [
              0.07231,
              0.14244,
              0.15532,
              0.17146,
              0.19145,
              0.21618,
              0.24654
            ],
            [
              0.09478,
              0.16865,
              0.18196,
              0.19788,
              0.21655,
              0.23872,
              0.26652
            ],
            [
              0.1264,
              0.2072,
              0.2211,
              0.2375,
              0.2568,
              0.2797,
              0.3065
            ],
            [
              0.1711,
              0.2627,
              0.2778,
              0.2953,
              0.3158,
              0.3394,
              0.3675
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.23207,
              0.75615,
              0.8603,
              0.98522,
              1.13314,
              1.31299,
              1.52768
            ],
            [
              0.23189,
              0.7562,
              0.86039,
              0.98412,
              1.13313,
              1.31369,
              1.52737
            ],
            [
              0.23196,
              0.75624,
              0.86039,
              0.98514,
              1.13397,
              1.31343,
              1.52711
            ],
            [
              0.23178,
              0.75617,
              0.86038,
              0.98526,
              1.13316,
              1.31345,
              1.52726
            ],
            [
              0.23204,
              0.75612,
              0.86054,
              0.98441,
              1.13318,
              1.31248,
              1.52765
            ],
            [
              0.23175,
              0.75714,
              0.86034,
              0.98423,
              1.13435,
              1.31343,
              1.52773
            ],
            [
              0.23206,
              0.75628,
              0.85991,
              0.9842,
              1.13409,
              1.31349,
              1.52734
            ],
            [
              0.2319,
              0.75617,
              0.86042,
              0.9842,
              1.1339,
              1.31268,
              1.52718
            ],
            [
              0.23175,
              0.75635,
              0.86006,
              0.98447,
              1.13456,
              1.31246,
              1.52764
            ],
            [
              0.23101,
              0.7561,
              0.86047,
              0.98436,
              1.1347,
              1.3134,
              1.5276
            ],
            [
              0.2321,
              0.7562,
              0.8604,
              0.9841,
              1.1344,
              1.3135,
              1.5278
            ],
            [
              0.2534,
              0.7562,
              0.8596,
              0.9842,
              1.1345,
              1.3135,
              1.5279
            ],
            [
              0.3099,
              0.7651,
              0.8631,
              0.9847,
              1.1336,
              1.3133,
              1.5277
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.0394,
              0.10239,
              0.11483,
              0.12985,
              0.14789,
              0.16965,
              0.1955
            ],
            [
              0.0431,
              0.10631,
              0.11877,
              0.13379,
              0.1518,
              0.17353,
              0.19942
            ],
            [
              0.04751,
              0.11079,
              0.12327,
              0.13827,
              0.15632,
              0.17792,
              0.20396
            ],
            [
              0.05375,
              0.11721,
              0.12967,
              0.14472,
              0.16273,
              0.1844,
              0.21066
            ],
            [
              0.06277,
              0.12646,
              0.13895,
              0.15402,
              0.172,
              0.19365,
              0.21976
            ],
            [
              0.07599,
              0.14001,
              0.15253,
              0.16759,
              0.18574,
              0.20745,
              0.23331
            ],
            [
              0.09385,
              0.16011,
              0.17261,
              0.18771,
              0.20581,
              0.22744,
              0.25348
            ],
            [
              0.11812,
              0.19007,
              0.20265,
              0.21779,
              0.23584,
              0.25756,
              0.28367
            ],
            [
              0.15077,
              0.23412,
              0.24731,
              0.26255,
              0.28072,
              0.30251,
              0.32856
            ],
            [
              0.19412,
              0.29463,
              0.30967,
              0.32696,
              0.34673,
              0.36954,
              0.39581
            ],
            [
              0.25141,
              0.37706,
              0.39483,
              0.41497,
              0.43772,
              0.46362,
              0.49312
            ],
            [
              0.32677,
              0.48797,
              0.50987,
              0.53437,
              0.56157,
              0.59207,
              0.62637
            ],
            [
              0.4255,
              0.6357,
              0.6635,
              0.6943,
              0.7282,
              0.7658,
              0.8073
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.3611,
              0.75916,
              0.83688,
              0.93035,
              1.04217,
              1.17647,
              1.33737
            ],
            [
              0.36271,
              0.7614,
              0.83921,
              0.93276,
              1.04464,
              1.17904,
              1.33994
            ],
            [
              0.36527,
              0.76475,
              0.84263,
              0.93623,
              1.04812,
              1.18252,
              1.34352
            ],
            [
              0.3699,
              0.77011,
              0.84806,
              0.94175,
              1.05388,
              1.18838,
              1.34947
            ],
            [
              0.37794,
              0.77888,
              0.85695,
              0.95074,
              1.06291,
              1.19751,
              1.35861
            ],
            [
              0.39124,
              0.79293,
              0.87106,
              0.96502,
              1.07722,
              1.21192,
              1.37322
            ],
            [
              0.41257,
              0.81511,
              0.89333,
              0.98733,
              1.09973,
              1.23453,
              1.39593
            ],
            [
              0.44652,
              0.84806,
              0.92646,
              1.02066,
              1.13306,
              1.26796,
              1.43016
            ],
            [
              0.49862,
              0.90005,
              0.97845,
              1.07265,
              1.18515,
              1.32005,
              1.48155
            ],
            [
              0.57994,
              0.98039,
              1.05859,
              1.15259,
              1.26479,
              1.39939,
              1.56249
            ],
            [
              0.70292,
              1.10202,
              1.17912,
              1.27432,
              1.38692,
              1.52162,
              1.68232
            ],
            [
              0.88857,
              1.28547,
              1.36437,
              1.45857,
              1.57077,
              1.70497,
              1.86487
            ],
            [
              1.1659,
              1.5651,
              1.6431,
              1.7366,
              1.848,
              1.9808,
              2.1437
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.03182,
              0.11906,
              0.13598,
              0.15639,
              0.18075,
              0.20988,
              0.24435
            ],
            [
              0.03184,
              0.11904,
              0.13599,
              0.15639,
              0.18075,
              0.20985,
              0.24434
            ],
            [
              0.03185,
              0.11906,
              0.13603,
              0.15641,
              0.18077,
              0.20979,
              0.24436
            ],
            [
              0.03186,
              0.11905,
              0.13602,
              0.1564,
              0.18076,
              0.20987,
              0.24442
            ],
            [
              0.03194,
              0.11906,
              0.13601,
              0.15641,
              0.18082,
              0.20984,
              0.24441
            ],
            [
              0.0334,
              0.11906,
              0.136,
              0.1564,
              0.18081,
              0.20989,
              0.24438
            ],
            [
              0.03753,
              0.11915,
              0.13602,
              0.1564,
              0.1808,
              0.20982,
              0.24435
            ],
            [
              0.04586,
              0.1217,
              0.13781,
              0.15746,
              0.18116,
              0.20985,
              0.24436
            ],
            [
              0.05747,
              0.12896,
              0.14413,
              0.16275,
              0.18537,
              0.21287,
              0.24602
            ],
            [
              0.07461,
              0.14558,
              0.15895,
              0.17592,
              0.19692,
              0.22267,
              0.254
            ],
            [
              0.10005,
              0.17332,
              0.18693,
              0.20328,
              0.22253,
              0.24539,
              0.27388
            ],
            [
              0.1385,
              0.2142,
              0.2283,
              0.245,
              0.2647,
              0.2877,
              0.3148
            ],
            [
              0.1924,
              0.2734,
              0.2881,
              0.3055,
              0.3258,
              0.3496,
              0.3774
            ]
          ]
        },
        "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.00463,
            0.00555,
            0.00666,
            0.00799,
            0.00959,
            0.01151
          ],
          "values": [
            [
              0.25284,
              0.75979,
              0.85845,
              0.97905,
              1.12236,
              1.29355,
              1.50157
            ],
            [
              0.2527,
              0.75944,
              0.85838,
              0.97776,
              1.12161,
              1.29345,
              1.50172
            ],
            [
              0.25276,
              0.75991,
              0.85847,
              0.97776,
              1.12264,
              1.29359,
              1.50107
            ],
            [
              0.25277,
              0.75951,
              0.85849,
              0.97861,
              1.12151,
              1.29435,
              1.50104
            ],
            [
              0.2527,
              0.75944,
              0.85852,
              0.97912,
              1.12147,
              1.29354,
              1.50097
            ],
            [
              0.25286,
              0.75913,
              0.85842,
              0.97775,
              1.12195,
              1.29438,
              1.50065
            ],
            [
              0.25287,
              0.75934,
              0.8584,
              0.97786,
              1.12285,
              1.29466,
              1.50129
            ],
            [
              0.25265,
              0.75937,
              0.85838,
              0.97776,
              1.12253,
              1.29324,
              1.50164
            ],
            [
              0.25268,
              0.75896,
              0.8583,
              0.97901,
              1.12177,
              1.2936,
              1.50115
            ],
            [
              0.25261,
              0.75892,
              0.85805,
              0.9777,
              1.1214,
              1.2935,
              1.5004
            ],
            [
              0.2513,
              0.7586,
              0.8592,
              0.9787,
              1.1216,
              1.295,
              1.5014
            ],
            [
              0.2641,
              0.7589,
              0.8586,
              0.9781,
              1.1213,
              1.2934,
              1.501
            ],
            [
              0.3115,
              0.7633,
              0.8599,
              0.9781,
              1.1225,
              1.2941,
              1.5005
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}