{
  "area": 14.3856,
  "cell_footprint": "sky130_fd_sc_ms__a32o",
  "cell_leakage_power": 0.0,
  "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.00311,
    "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.0028,
          0.00287,
          0.00289,
          0.00285,
          0.00272,
          0.00272,
          0.00272,
          0.00272,
          0.00274,
          0.00302,
          0.00311,
          0.00357,
          0.004
        ]
      },
      "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.00342,
          0.00316,
          0.0031,
          0.00309,
          0.00304,
          0.00306,
          0.00306,
          0.0031,
          0.00318,
          0.00359,
          0.00382,
          0.00456,
          0.00529
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00298,
    "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.00324,
          0.00304,
          0.00296,
          0.00293,
          0.00287,
          0.0029,
          0.00289,
          0.00292,
          0.00297,
          0.00332,
          0.00351,
          0.00416,
          0.0048
        ]
      },
      "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.0027,
          0.00265,
          0.00254,
          0.00254,
          0.00243,
          0.00245,
          0.00244,
          0.00246,
          0.00248,
          0.00273,
          0.00282,
          0.00319,
          0.00349
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00296,
    "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.00421,
          0.00413,
          0.00395,
          0.00398,
          0.00393,
          0.00394,
          0.00395,
          0.004,
          0.00408,
          0.00458,
          0.00483,
          0.00563,
          0.00634
        ]
      },
      "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.00281,
          0.00249,
          0.00239,
          0.00241,
          0.00234,
          0.00237,
          0.00236,
          0.00235,
          0.00235,
          0.00255,
          0.00256,
          0.0028,
          0.00298
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00301,
    "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.00252,
          0.00255,
          0.00254,
          0.00247,
          0.00234,
          0.00238,
          0.00235,
          0.00235,
          0.00234,
          0.00255,
          0.00258,
          0.0029,
          0.00316
        ]
      },
      "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.00396,
          0.0036,
          0.00361,
          0.00352,
          0.00351,
          0.00349,
          0.00353,
          0.0036,
          0.00372,
          0.00423,
          0.00458,
          0.0055,
          0.00644
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00287,
    "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.00395,
          0.00379,
          0.00372,
          0.00362,
          0.00361,
          0.00363,
          0.00366,
          0.00372,
          0.00385,
          0.00437,
          0.00469,
          0.0056,
          0.0065
        ]
      },
      "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.00247,
          0.00231,
          0.00222,
          0.00224,
          0.00217,
          0.00219,
          0.00217,
          0.00216,
          0.00215,
          0.00234,
          0.00235,
          0.00261,
          0.00282
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,X": {
    "direction": "output",
    "function": "(A1&A2&A3) | (B1&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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03488,
              0.02635,
              0.01813,
              0.0016,
              -0.03192,
              -0.09948,
              -0.23502
            ],
            [
              0.03487,
              0.02634,
              0.01814,
              0.00159,
              -0.03193,
              -0.09948,
              -0.23502
            ],
            [
              0.03483,
              0.02629,
              0.01811,
              0.00155,
              -0.03196,
              -0.09952,
              -0.23505
            ],
            [
              0.0348,
              0.02626,
              0.01806,
              0.00152,
              -0.032,
              -0.09955,
              -0.23509
            ],
            [
              0.03474,
              0.0262,
              0.01799,
              0.00145,
              -0.03207,
              -0.09962,
              -0.23516
            ],
            [
              0.03465,
              0.0261,
              0.01791,
              0.00135,
              -0.03215,
              -0.09971,
              -0.23525
            ],
            [
              0.03454,
              0.02599,
              0.0178,
              0.00124,
              -0.03228,
              -0.09983,
              -0.23536
            ],
            [
              0.03443,
              0.02588,
              0.01766,
              0.00111,
              -0.03241,
              -0.09996,
              -0.23548
            ],
            [
              0.03432,
              0.02575,
              0.01751,
              0.00095,
              -0.03256,
              -0.1001,
              -0.23561
            ],
            [
              0.03425,
              0.02562,
              0.01736,
              0.00078,
              -0.03272,
              -0.10023,
              -0.23572
            ],
            [
              0.03436,
              0.02561,
              0.01728,
              0.00064,
              -0.03285,
              -0.10035,
              -0.23581
            ],
            [
              0.03477,
              0.02577,
              0.01733,
              0.00063,
              -0.0329,
              -0.10038,
              -0.23581
            ],
            [
              0.03557,
              0.02631,
              0.01774,
              0.00089,
              -0.03276,
              -0.10023,
              -0.23561
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.01681,
              0.02528,
              0.03376,
              0.05074,
              0.08451,
              0.15155,
              0.28618
            ],
            [
              0.01677,
              0.02524,
              0.03369,
              0.05074,
              0.08441,
              0.1516,
              0.28617
            ],
            [
              0.01673,
              0.0252,
              0.03368,
              0.05066,
              0.0844,
              0.15164,
              0.28588
            ],
            [
              0.01668,
              0.02515,
              0.03365,
              0.05062,
              0.08436,
              0.15151,
              0.28583
            ],
            [
              0.01662,
              0.0251,
              0.03357,
              0.05057,
              0.08431,
              0.15156,
              0.28594
            ],
            [
              0.01654,
              0.02501,
              0.03351,
              0.05049,
              0.0842,
              0.1515,
              0.28583
            ],
            [
              0.01645,
              0.02492,
              0.03342,
              0.0504,
              0.08413,
              0.15143,
              0.28563
            ],
            [
              0.01635,
              0.02484,
              0.03331,
              0.05027,
              0.08407,
              0.15134,
              0.28561
            ],
            [
              0.01632,
              0.02476,
              0.03323,
              0.0502,
              0.08386,
              0.1511,
              0.28623
            ],
            [
              0.01642,
              0.02476,
              0.0332,
              0.0501,
              0.08374,
              0.15117,
              0.2851
            ],
            [
              0.01671,
              0.02495,
              0.03332,
              0.05013,
              0.08379,
              0.1513,
              0.28534
            ],
            [
              0.01731,
              0.0254,
              0.03377,
              0.05055,
              0.08414,
              0.15137,
              0.28572
            ],
            [
              0.01835,
              0.02624,
              0.03452,
              0.05132,
              0.08488,
              0.15183,
              0.28645
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03785,
              0.02916,
              0.02088,
              0.00429,
              -0.02923,
              -0.09675,
              -0.23224
            ],
            [
              0.03782,
              0.02912,
              0.02085,
              0.00426,
              -0.02925,
              -0.09678,
              -0.23227
            ],
            [
              0.03779,
              0.02909,
              0.02082,
              0.00422,
              -0.02928,
              -0.09681,
              -0.2323
            ],
            [
              0.03775,
              0.02904,
              0.02078,
              0.00419,
              -0.02933,
              -0.09685,
              -0.23235
            ],
            [
              0.03767,
              0.02898,
              0.0207,
              0.00412,
              -0.02939,
              -0.09692,
              -0.23241
            ],
            [
              0.03761,
              0.02891,
              0.02064,
              0.00405,
              -0.02946,
              -0.09699,
              -0.23248
            ],
            [
              0.03754,
              0.02884,
              0.02055,
              0.00397,
              -0.02954,
              -0.09706,
              -0.23256
            ],
            [
              0.03745,
              0.02875,
              0.02046,
              0.00386,
              -0.02965,
              -0.09716,
              -0.23266
            ],
            [
              0.03736,
              0.02866,
              0.02035,
              0.00374,
              -0.02976,
              -0.09728,
              -0.23276
            ],
            [
              0.03729,
              0.02855,
              0.02024,
              0.00361,
              -0.02989,
              -0.09738,
              -0.23285
            ],
            [
              0.03737,
              0.02854,
              0.02017,
              0.00349,
              -0.03002,
              -0.09749,
              -0.23293
            ],
            [
              0.03775,
              0.02869,
              0.02024,
              0.00349,
              -0.03006,
              -0.09751,
              -0.23294
            ],
            [
              0.03851,
              0.02921,
              0.02061,
              0.00371,
              -0.02995,
              -0.0974,
              -0.23276
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.01683,
              0.02531,
              0.03382,
              0.05077,
              0.08444,
              0.15151,
              0.28569
            ],
            [
              0.01676,
              0.02522,
              0.03372,
              0.05064,
              0.08433,
              0.15156,
              0.28572
            ],
            [
              0.01675,
              0.02521,
              0.03371,
              0.05066,
              0.08435,
              0.15148,
              0.28567
            ],
            [
              0.0167,
              0.02516,
              0.03364,
              0.05055,
              0.08428,
              0.1515,
              0.28559
            ],
            [
              0.01664,
              0.02511,
              0.03357,
              0.05055,
              0.08426,
              0.15139,
              0.28581
            ],
            [
              0.01658,
              0.02504,
              0.03351,
              0.05048,
              0.08416,
              0.15118,
              0.28589
            ],
            [
              0.01649,
              0.02496,
              0.03344,
              0.05038,
              0.08408,
              0.15134,
              0.28563
            ],
            [
              0.01639,
              0.02486,
              0.03336,
              0.05026,
              0.08399,
              0.15131,
              0.2854
            ],
            [
              0.01633,
              0.02477,
              0.03324,
              0.05019,
              0.08388,
              0.15105,
              0.28518
            ],
            [
              0.01636,
              0.02473,
              0.03317,
              0.05007,
              0.08381,
              0.15105,
              0.28531
            ],
            [
              0.0165,
              0.02479,
              0.03317,
              0.05002,
              0.08364,
              0.15086,
              0.28509
            ],
            [
              0.01686,
              0.02504,
              0.03345,
              0.05026,
              0.08389,
              0.15134,
              0.28524
            ],
            [
              0.01757,
              0.02558,
              0.03388,
              0.05079,
              0.08438,
              0.15133,
              0.28577
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04026,
              0.03142,
              0.02297,
              0.00613,
              -0.02771,
              -0.09554,
              -0.23124
            ],
            [
              0.04022,
              0.03137,
              0.02294,
              0.00607,
              -0.02776,
              -0.09558,
              -0.23129
            ],
            [
              0.04016,
              0.03132,
              0.02288,
              0.00604,
              -0.0278,
              -0.09562,
              -0.23133
            ],
            [
              0.0401,
              0.03127,
              0.02284,
              0.00599,
              -0.02785,
              -0.09568,
              -0.23138
            ],
            [
              0.04006,
              0.0312,
              0.02278,
              0.00592,
              -0.0279,
              -0.09572,
              -0.23143
            ],
            [
              0.03999,
              0.03116,
              0.02272,
              0.00587,
              -0.02796,
              -0.09577,
              -0.23148
            ],
            [
              0.03993,
              0.0311,
              0.02266,
              0.00581,
              -0.02802,
              -0.09583,
              -0.23153
            ],
            [
              0.03986,
              0.03103,
              0.02259,
              0.00574,
              -0.02808,
              -0.09589,
              -0.23159
            ],
            [
              0.0398,
              0.03095,
              0.02249,
              0.00565,
              -0.02816,
              -0.09596,
              -0.23165
            ],
            [
              0.03974,
              0.03087,
              0.02241,
              0.00557,
              -0.02822,
              -0.096,
              -0.23167
            ],
            [
              0.03978,
              0.03084,
              0.02237,
              0.00549,
              -0.02828,
              -0.09602,
              -0.23168
            ],
            [
              0.04014,
              0.03102,
              0.02248,
              0.00555,
              -0.02822,
              -0.09594,
              -0.23159
            ],
            [
              0.04086,
              0.03152,
              0.02285,
              0.00582,
              -0.02804,
              -0.09574,
              -0.23134
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.01683,
              0.02531,
              0.03379,
              0.05069,
              0.08434,
              0.1516,
              0.28575
            ],
            [
              0.01676,
              0.02522,
              0.03373,
              0.05064,
              0.08426,
              0.1514,
              0.28583
            ],
            [
              0.01675,
              0.02522,
              0.03371,
              0.05068,
              0.0843,
              0.15146,
              0.28571
            ],
            [
              0.01669,
              0.02514,
              0.03364,
              0.05061,
              0.08419,
              0.15137,
              0.28536
            ],
            [
              0.01663,
              0.02511,
              0.03359,
              0.05052,
              0.08413,
              0.15122,
              0.28585
            ],
            [
              0.01656,
              0.02502,
              0.03351,
              0.05045,
              0.08411,
              0.15127,
              0.2852
            ],
            [
              0.01647,
              0.02493,
              0.0334,
              0.05039,
              0.08398,
              0.15119,
              0.28583
            ],
            [
              0.01635,
              0.02482,
              0.0333,
              0.05021,
              0.08387,
              0.15111,
              0.28522
            ],
            [
              0.01627,
              0.02471,
              0.03317,
              0.05014,
              0.08377,
              0.15097,
              0.2857
            ],
            [
              0.01625,
              0.02463,
              0.03308,
              0.05,
              0.08367,
              0.15113,
              0.28492
            ],
            [
              0.01632,
              0.02465,
              0.03306,
              0.04992,
              0.08355,
              0.15106,
              0.28549
            ],
            [
              0.01655,
              0.02478,
              0.03321,
              0.05008,
              0.08357,
              0.151,
              0.28544
            ],
            [
              0.01707,
              0.02518,
              0.03353,
              0.05046,
              0.08411,
              0.15113,
              0.2858
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.02256,
              0.01408,
              0.00587,
              -0.01074,
              -0.04432,
              -0.11193,
              -0.24748
            ],
            [
              0.02253,
              0.01406,
              0.00585,
              -0.01076,
              -0.04435,
              -0.11196,
              -0.24751
            ],
            [
              0.02248,
              0.01401,
              0.0058,
              -0.0108,
              -0.04439,
              -0.112,
              -0.24756
            ],
            [
              0.02242,
              0.01395,
              0.00574,
              -0.01087,
              -0.04446,
              -0.11206,
              -0.24762
            ],
            [
              0.02236,
              0.01387,
              0.00565,
              -0.01096,
              -0.04454,
              -0.11214,
              -0.24769
            ],
            [
              0.02226,
              0.01376,
              0.00555,
              -0.01106,
              -0.04464,
              -0.11225,
              -0.2478
            ],
            [
              0.02215,
              0.01364,
              0.00541,
              -0.01119,
              -0.04476,
              -0.11237,
              -0.24792
            ],
            [
              0.02206,
              0.01354,
              0.0053,
              -0.01132,
              -0.04489,
              -0.11248,
              -0.24802
            ],
            [
              0.02203,
              0.01347,
              0.00519,
              -0.01144,
              -0.04499,
              -0.11255,
              -0.24807
            ],
            [
              0.02216,
              0.01351,
              0.0052,
              -0.01146,
              -0.04501,
              -0.11255,
              -0.24804
            ],
            [
              0.02266,
              0.01381,
              0.00542,
              -0.0113,
              -0.04487,
              -0.11239,
              -0.24786
            ],
            [
              0.02365,
              0.01452,
              0.006,
              -0.01084,
              -0.04446,
              -0.11197,
              -0.24741
            ],
            [
              0.02519,
              0.01574,
              0.00707,
              -0.00989,
              -0.04363,
              -0.11119,
              -0.24661
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.01227,
              0.02122,
              0.02997,
              0.04716,
              0.08096,
              0.14823,
              0.28276
            ],
            [
              0.01226,
              0.0212,
              0.02995,
              0.04712,
              0.08095,
              0.14826,
              0.28254
            ],
            [
              0.01223,
              0.02117,
              0.02992,
              0.04713,
              0.08098,
              0.1483,
              0.28268
            ],
            [
              0.0122,
              0.02113,
              0.02988,
              0.04705,
              0.08086,
              0.14813,
              0.28292
            ],
            [
              0.01216,
              0.02108,
              0.02982,
              0.047,
              0.08086,
              0.14811,
              0.28266
            ],
            [
              0.01208,
              0.02099,
              0.02971,
              0.04689,
              0.08072,
              0.14811,
              0.28253
            ],
            [
              0.012,
              0.02087,
              0.02958,
              0.04673,
              0.0806,
              0.14793,
              0.28247
            ],
            [
              0.01196,
              0.02072,
              0.02938,
              0.04652,
              0.08038,
              0.14792,
              0.28266
            ],
            [
              0.01197,
              0.02062,
              0.02924,
              0.04632,
              0.08022,
              0.14765,
              0.28224
            ],
            [
              0.01212,
              0.02064,
              0.02918,
              0.0462,
              0.08014,
              0.14763,
              0.28189
            ],
            [
              0.01247,
              0.02088,
              0.02938,
              0.04635,
              0.08005,
              0.14772,
              0.28196
            ],
            [
              0.01314,
              0.02134,
              0.02982,
              0.04679,
              0.08054,
              0.14779,
              0.28254
            ],
            [
              0.01436,
              0.02234,
              0.03068,
              0.04764,
              0.08137,
              0.14852,
              0.28257
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.02542,
              0.01686,
              0.0086,
              -0.00802,
              -0.0416,
              -0.10919,
              -0.24473
            ],
            [
              0.02536,
              0.0168,
              0.00855,
              -0.00807,
              -0.04165,
              -0.10924,
              -0.24479
            ],
            [
              0.02533,
              0.01676,
              0.0085,
              -0.00812,
              -0.0417,
              -0.10929,
              -0.24483
            ],
            [
              0.02531,
              0.01673,
              0.00848,
              -0.00814,
              -0.04172,
              -0.10932,
              -0.24486
            ],
            [
              0.02525,
              0.01668,
              0.00843,
              -0.0082,
              -0.04178,
              -0.10937,
              -0.24491
            ],
            [
              0.0252,
              0.01662,
              0.00836,
              -0.00826,
              -0.04184,
              -0.10943,
              -0.24497
            ],
            [
              0.02513,
              0.01655,
              0.00829,
              -0.00834,
              -0.04191,
              -0.1095,
              -0.24503
            ],
            [
              0.02509,
              0.01651,
              0.00823,
              -0.00841,
              -0.04198,
              -0.10955,
              -0.24508
            ],
            [
              0.0251,
              0.01649,
              0.00818,
              -0.00847,
              -0.04203,
              -0.10959,
              -0.2451
            ],
            [
              0.02528,
              0.01659,
              0.00824,
              -0.00844,
              -0.042,
              -0.10953,
              -0.24502
            ],
            [
              0.0258,
              0.01693,
              0.00852,
              -0.00822,
              -0.04181,
              -0.10932,
              -0.24479
            ],
            [
              0.02688,
              0.01774,
              0.0092,
              -0.00765,
              -0.04128,
              -0.1088,
              -0.24424
            ],
            [
              0.02853,
              0.01909,
              0.01043,
              -0.00656,
              -0.04031,
              -0.10789,
              -0.24331
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.01221,
              0.02114,
              0.02991,
              0.04707,
              0.08089,
              0.14826,
              0.28267
            ],
            [
              0.01221,
              0.02115,
              0.0299,
              0.04707,
              0.08094,
              0.14821,
              0.28275
            ],
            [
              0.0122,
              0.02114,
              0.0299,
              0.04707,
              0.08091,
              0.14822,
              0.28258
            ],
            [
              0.01217,
              0.02111,
              0.02987,
              0.04705,
              0.08091,
              0.14819,
              0.28289
            ],
            [
              0.01212,
              0.02104,
              0.02981,
              0.04697,
              0.08083,
              0.14809,
              0.28282
            ],
            [
              0.01204,
              0.02096,
              0.0297,
              0.0469,
              0.08075,
              0.14807,
              0.28247
            ],
            [
              0.01194,
              0.02083,
              0.02956,
              0.04674,
              0.08063,
              0.14797,
              0.28258
            ],
            [
              0.01186,
              0.02067,
              0.02937,
              0.04653,
              0.08043,
              0.14782,
              0.28231
            ],
            [
              0.01181,
              0.02053,
              0.02918,
              0.04631,
              0.08023,
              0.14761,
              0.2821
            ],
            [
              0.01187,
              0.02048,
              0.02907,
              0.04613,
              0.08007,
              0.14751,
              0.28193
            ],
            [
              0.01208,
              0.02061,
              0.02918,
              0.04618,
              0.07999,
              0.14762,
              0.28166
            ],
            [
              0.01259,
              0.02095,
              0.02949,
              0.04655,
              0.08033,
              0.14765,
              0.28197
            ],
            [
              0.01362,
              0.02177,
              0.03016,
              0.04722,
              0.08103,
              0.14822,
              0.28237
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.13979,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.26607,
              0.31086,
              0.34078,
              0.38739,
              0.46165,
              0.58651,
              0.81317
            ],
            [
              0.26908,
              0.31389,
              0.34379,
              0.39048,
              0.46477,
              0.58957,
              0.81622
            ],
            [
              0.27254,
              0.31735,
              0.34728,
              0.39393,
              0.4682,
              0.59312,
              0.81974
            ],
            [
              0.2777,
              0.32247,
              0.35243,
              0.39909,
              0.47336,
              0.59825,
              0.82488
            ],
            [
              0.28539,
              0.33016,
              0.36008,
              0.40676,
              0.481,
              0.60605,
              0.83257
            ],
            [
              0.29701,
              0.34174,
              0.37165,
              0.41831,
              0.4926,
              0.61758,
              0.84394
            ],
            [
              0.31409,
              0.3588,
              0.38869,
              0.43543,
              0.50964,
              0.63461,
              0.86107
            ],
            [
              0.33902,
              0.3837,
              0.41356,
              0.46021,
              0.53451,
              0.65953,
              0.88586
            ],
            [
              0.37538,
              0.42,
              0.44986,
              0.4965,
              0.57086,
              0.69591,
              0.92245
            ],
            [
              0.42885,
              0.47342,
              0.50327,
              0.55002,
              0.62448,
              0.74969,
              0.97619
            ],
            [
              0.49952,
              0.54692,
              0.57792,
              0.62572,
              0.70102,
              0.82662,
              1.05352
            ],
            [
              0.58467,
              0.63607,
              0.66967,
              0.72097,
              0.80037,
              0.92927,
              1.15747
            ],
            [
              0.6847,
              0.7418,
              0.7785,
              0.8342,
              0.9189,
              1.0536,
              1.2862
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.20412,
              0.26315,
              0.30382,
              0.37338,
              0.50055,
              0.74767,
              1.23837
            ],
            [
              0.20629,
              0.26532,
              0.30599,
              0.37555,
              0.50283,
              0.75001,
              1.24034
            ],
            [
              0.20896,
              0.26798,
              0.30868,
              0.37825,
              0.50555,
              0.75266,
              1.24272
            ],
            [
              0.21316,
              0.27219,
              0.31291,
              0.38244,
              0.50977,
              0.75689,
              1.24668
            ],
            [
              0.21957,
              0.27859,
              0.3193,
              0.38892,
              0.51621,
              0.76302,
              1.25301
            ],
            [
              0.2293,
              0.28833,
              0.32907,
              0.39862,
              0.52595,
              0.77315,
              1.26332
            ],
            [
              0.24409,
              0.30312,
              0.34386,
              0.41346,
              0.54081,
              0.78788,
              1.27823
            ],
            [
              0.26674,
              0.32579,
              0.36654,
              0.43612,
              0.56347,
              0.8106,
              1.30086
            ],
            [
              0.30128,
              0.36018,
              0.4008,
              0.47034,
              0.59765,
              0.84485,
              1.33525
            ],
            [
              0.3496,
              0.40927,
              0.44999,
              0.51954,
              0.64659,
              0.89389,
              1.38429
            ],
            [
              0.4079,
              0.46982,
              0.51142,
              0.58182,
              0.70962,
              0.95642,
              1.44722
            ],
            [
              0.47667,
              0.54227,
              0.58507,
              0.65637,
              0.78487,
              1.03247,
              1.52257
            ],
            [
              0.5549,
              0.6263,
              0.6711,
              0.7439,
              0.8728,
              1.1209,
              1.6118
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03435,
              0.06634,
              0.08973,
              0.13059,
              0.20349,
              0.34443,
              0.63015
            ],
            [
              0.03437,
              0.06635,
              0.08998,
              0.13062,
              0.20342,
              0.34444,
              0.63027
            ],
            [
              0.03435,
              0.06626,
              0.09002,
              0.1306,
              0.20353,
              0.34444,
              0.62986
            ],
            [
              0.03438,
              0.06627,
              0.08974,
              0.13073,
              0.20346,
              0.34441,
              0.63036
            ],
            [
              0.03436,
              0.06634,
              0.08999,
              0.13071,
              0.20365,
              0.34438,
              0.63052
            ],
            [
              0.03435,
              0.06634,
              0.09,
              0.13044,
              0.20391,
              0.34434,
              0.63088
            ],
            [
              0.03437,
              0.06626,
              0.09001,
              0.13045,
              0.20394,
              0.34415,
              0.63073
            ],
            [
              0.03439,
              0.06625,
              0.09003,
              0.13078,
              0.20389,
              0.34432,
              0.63086
            ],
            [
              0.03435,
              0.06632,
              0.08985,
              0.13068,
              0.20394,
              0.34441,
              0.63053
            ],
            [
              0.03481,
              0.06673,
              0.09027,
              0.13084,
              0.20361,
              0.34435,
              0.6308
            ],
            [
              0.0394,
              0.0716,
              0.0947,
              0.1342,
              0.2058,
              0.3455,
              0.6307
            ],
            [
              0.0458,
              0.08,
              0.1041,
              0.1445,
              0.2157,
              0.3524,
              0.6332
            ],
            [
              0.0551,
              0.0915,
              0.1168,
              0.1583,
              0.2304,
              0.366,
              0.6426
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04089,
              0.09178,
              0.13515,
              0.22119,
              0.39876,
              0.76445,
              1.49846
            ],
            [
              0.04092,
              0.09166,
              0.13493,
              0.22172,
              0.39904,
              0.76422,
              1.49884
            ],
            [
              0.04095,
              0.09186,
              0.13507,
              0.22176,
              0.39914,
              0.76468,
              1.50025
            ],
            [
              0.04093,
              0.09185,
              0.13496,
              0.22125,
              0.39913,
              0.76452,
              1.50057
            ],
            [
              0.04096,
              0.09163,
              0.13477,
              0.22115,
              0.39919,
              0.7649,
              1.50102
            ],
            [
              0.04089,
              0.09166,
              0.13523,
              0.22097,
              0.39906,
              0.76434,
              1.49931
            ],
            [
              0.04092,
              0.09164,
              0.13499,
              0.22116,
              0.39925,
              0.76537,
              1.50077
            ],
            [
              0.04087,
              0.09164,
              0.13495,
              0.22119,
              0.39918,
              0.76513,
              1.50013
            ],
            [
              0.0408,
              0.09168,
              0.13495,
              0.22109,
              0.39905,
              0.76431,
              1.49944
            ],
            [
              0.04258,
              0.093,
              0.13571,
              0.22148,
              0.399,
              0.76429,
              1.4996
            ],
            [
              0.04629,
              0.09678,
              0.1392,
              0.2242,
              0.4011,
              0.7641,
              1.4998
            ],
            [
              0.052,
              0.102,
              0.1437,
              0.2275,
              0.4027,
              0.7651,
              1.5006
            ],
            [
              0.0596,
              0.1108,
              0.151,
              0.2332,
              0.4061,
              0.7676,
              1.501
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&!B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.31335,
              0.36039,
              0.39128,
              0.43921,
              0.51467,
              0.6406,
              0.86792
            ],
            [
              0.31633,
              0.3634,
              0.39433,
              0.44219,
              0.5177,
              0.64384,
              0.87102
            ],
            [
              0.3197,
              0.36678,
              0.39772,
              0.44557,
              0.52112,
              0.6471,
              0.87432
            ],
            [
              0.3247,
              0.37173,
              0.40269,
              0.45065,
              0.52611,
              0.65206,
              0.8794
            ],
            [
              0.33218,
              0.3792,
              0.41013,
              0.45803,
              0.53355,
              0.65956,
              0.88671
            ],
            [
              0.34339,
              0.39035,
              0.42128,
              0.46918,
              0.5447,
              0.67073,
              0.89785
            ],
            [
              0.35971,
              0.40667,
              0.43758,
              0.48547,
              0.561,
              0.68704,
              0.91433
            ],
            [
              0.38303,
              0.42997,
              0.46086,
              0.50868,
              0.58435,
              0.71022,
              0.93756
            ],
            [
              0.41619,
              0.46311,
              0.49397,
              0.54184,
              0.61733,
              0.74338,
              0.97055
            ],
            [
              0.46408,
              0.51095,
              0.54179,
              0.5897,
              0.66539,
              0.79159,
              1.01859
            ],
            [
              0.52922,
              0.57782,
              0.60922,
              0.65762,
              0.73372,
              0.86012,
              1.08752
            ],
            [
              0.60747,
              0.65937,
              0.69297,
              0.74427,
              0.82377,
              0.95277,
              1.18107
            ],
            [
              0.7018,
              0.7579,
              0.7939,
              0.8487,
              0.9325,
              1.0664,
              1.2989
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.18324,
              0.24209,
              0.28279,
              0.35241,
              0.47969,
              0.72678,
              1.21727
            ],
            [
              0.18538,
              0.24424,
              0.28495,
              0.35457,
              0.48186,
              0.72894,
              1.21944
            ],
            [
              0.18799,
              0.24686,
              0.28758,
              0.35716,
              0.48447,
              0.73162,
              1.22222
            ],
            [
              0.19206,
              0.25093,
              0.29162,
              0.36129,
              0.48858,
              0.7356,
              1.22608
            ],
            [
              0.19839,
              0.25725,
              0.29794,
              0.36761,
              0.49491,
              0.74177,
              1.23201
            ],
            [
              0.20807,
              0.26694,
              0.30767,
              0.37733,
              0.50465,
              0.7518,
              1.24242
            ],
            [
              0.22288,
              0.28176,
              0.32247,
              0.39214,
              0.51947,
              0.76664,
              1.25723
            ],
            [
              0.24568,
              0.30451,
              0.34519,
              0.41478,
              0.54209,
              0.78907,
              1.27956
            ],
            [
              0.28024,
              0.33874,
              0.37933,
              0.44873,
              0.57606,
              0.82315,
              1.31355
            ],
            [
              0.32524,
              0.38519,
              0.42608,
              0.49567,
              0.62293,
              0.86999,
              1.36079
            ],
            [
              0.37881,
              0.44118,
              0.48302,
              0.55362,
              0.68152,
              0.92872,
              1.41912
            ],
            [
              0.44117,
              0.50767,
              0.55077,
              0.62227,
              0.75097,
              0.99867,
              1.48927
            ],
            [
              0.5116,
              0.5844,
              0.6297,
              0.7029,
              0.8321,
              1.0803,
              1.5707
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04011,
              0.07206,
              0.09551,
              0.13611,
              0.20853,
              0.34893,
              0.6341
            ],
            [
              0.04011,
              0.07207,
              0.09566,
              0.13605,
              0.20906,
              0.34881,
              0.63449
            ],
            [
              0.0401,
              0.07206,
              0.09543,
              0.13593,
              0.20895,
              0.3489,
              0.63434
            ],
            [
              0.04011,
              0.07211,
              0.09552,
              0.13612,
              0.20854,
              0.34893,
              0.63403
            ],
            [
              0.04011,
              0.07209,
              0.09551,
              0.13603,
              0.20904,
              0.34889,
              0.63448
            ],
            [
              0.0401,
              0.07211,
              0.09563,
              0.13604,
              0.20909,
              0.34889,
              0.63454
            ],
            [
              0.0401,
              0.07218,
              0.09553,
              0.13604,
              0.20907,
              0.34887,
              0.6341
            ],
            [
              0.0401,
              0.0721,
              0.09551,
              0.13591,
              0.20857,
              0.34873,
              0.63365
            ],
            [
              0.04011,
              0.07212,
              0.0955,
              0.13604,
              0.20863,
              0.34866,
              0.63452
            ],
            [
              0.04024,
              0.07237,
              0.09571,
              0.13634,
              0.20895,
              0.3488,
              0.6347
            ],
            [
              0.0439,
              0.0758,
              0.0985,
              0.1382,
              0.2098,
              0.3494,
              0.6348
            ],
            [
              0.0493,
              0.0828,
              0.1066,
              0.1469,
              0.2185,
              0.3552,
              0.6371
            ],
            [
              0.0568,
              0.0921,
              0.1167,
              0.1584,
              0.2303,
              0.3668,
              0.6449
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.0402,
              0.09108,
              0.13439,
              0.22089,
              0.399,
              0.76478,
              1.49971
            ],
            [
              0.04017,
              0.09108,
              0.13441,
              0.22088,
              0.39897,
              0.76518,
              1.49972
            ],
            [
              0.0402,
              0.09107,
              0.1347,
              0.22096,
              0.39912,
              0.76362,
              1.50039
            ],
            [
              0.04018,
              0.0912,
              0.13455,
              0.22073,
              0.39889,
              0.76558,
              1.49974
            ],
            [
              0.04021,
              0.09119,
              0.13474,
              0.22076,
              0.3988,
              0.76465,
              1.50069
            ],
            [
              0.04015,
              0.09106,
              0.13433,
              0.22085,
              0.39908,
              0.76383,
              1.50013
            ],
            [
              0.04009,
              0.09099,
              0.13436,
              0.22083,
              0.39907,
              0.7638,
              1.50009
            ],
            [
              0.04001,
              0.09096,
              0.13418,
              0.2207,
              0.39877,
              0.76495,
              1.49975
            ],
            [
              0.04008,
              0.09094,
              0.13461,
              0.22127,
              0.39893,
              0.76537,
              1.50063
            ],
            [
              0.04254,
              0.09327,
              0.13601,
              0.2215,
              0.399,
              0.76449,
              1.4996
            ],
            [
              0.04662,
              0.09716,
              0.13935,
              0.2248,
              0.4005,
              0.7643,
              1.4995
            ],
            [
              0.0527,
              0.1032,
              0.1445,
              0.2281,
              0.4034,
              0.7654,
              1.5002
            ],
            [
              0.0604,
              0.1126,
              0.1525,
              0.2339,
              0.4063,
              0.7671,
              1.5007
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.3462,
              0.39515,
              0.42695,
              0.47596,
              0.55288,
              0.68049,
              0.90904
            ],
            [
              0.34931,
              0.39829,
              0.43008,
              0.47914,
              0.55606,
              0.68362,
              0.91245
            ],
            [
              0.35282,
              0.40179,
              0.43358,
              0.48266,
              0.5596,
              0.6872,
              0.91591
            ],
            [
              0.35795,
              0.40692,
              0.43874,
              0.48778,
              0.56473,
              0.6923,
              0.92112
            ],
            [
              0.36557,
              0.41454,
              0.44634,
              0.4954,
              0.57235,
              0.69993,
              0.92875
            ],
            [
              0.3769,
              0.42584,
              0.45764,
              0.5067,
              0.58365,
              0.71123,
              0.94002
            ],
            [
              0.3933,
              0.44221,
              0.47397,
              0.52306,
              0.60002,
              0.72767,
              0.95633
            ],
            [
              0.41653,
              0.46543,
              0.49722,
              0.54626,
              0.62323,
              0.75084,
              0.97956
            ],
            [
              0.4495,
              0.49839,
              0.53014,
              0.57916,
              0.65613,
              0.78375,
              1.01255
            ],
            [
              0.49725,
              0.54611,
              0.57784,
              0.62685,
              0.70379,
              0.83149,
              1.06019
            ],
            [
              0.56552,
              0.61512,
              0.64702,
              0.69622,
              0.77332,
              0.90112,
              1.12982
            ],
            [
              0.64997,
              0.70317,
              0.73717,
              0.78887,
              0.86867,
              0.99817,
              1.22757
            ],
            [
              0.7528,
              0.8103,
              0.8467,
              0.9018,
              0.9858,
              1.1202,
              1.3531
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.19327,
              0.25854,
              0.30172,
              0.37383,
              0.50256,
              0.74979,
              1.24037
            ],
            [
              0.19534,
              0.26061,
              0.30376,
              0.37587,
              0.50481,
              0.75231,
              1.24304
            ],
            [
              0.19798,
              0.26324,
              0.30643,
              0.37848,
              0.50743,
              0.75455,
              1.24522
            ],
            [
              0.20205,
              0.26732,
              0.31048,
              0.38259,
              0.51157,
              0.75906,
              1.24978
            ],
            [
              0.20837,
              0.27365,
              0.31683,
              0.38902,
              0.51789,
              0.76541,
              1.25601
            ],
            [
              0.21808,
              0.28335,
              0.32655,
              0.39875,
              0.52752,
              0.77513,
              1.26552
            ],
            [
              0.23289,
              0.29816,
              0.34133,
              0.41348,
              0.54233,
              0.7897,
              1.27973
            ],
            [
              0.25569,
              0.32094,
              0.36409,
              0.43621,
              0.56508,
              0.81252,
              1.30306
            ],
            [
              0.29026,
              0.35518,
              0.3982,
              0.47019,
              0.59909,
              0.84625,
              1.33695
            ],
            [
              0.33676,
              0.4031,
              0.44636,
              0.51834,
              0.64709,
              0.89479,
              1.38499
            ],
            [
              0.3925,
              0.46202,
              0.50652,
              0.57972,
              0.70922,
              0.95642,
              1.44752
            ],
            [
              0.45787,
              0.53247,
              0.57857,
              0.65317,
              0.78397,
              1.03187,
              1.52217
            ],
            [
              0.5326,
              0.6141,
              0.6631,
              0.7398,
              0.8715,
              1.1206,
              1.6113
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04254,
              0.0751,
              0.09856,
              0.13917,
              0.21193,
              0.35229,
              0.63761
            ],
            [
              0.04254,
              0.0751,
              0.09859,
              0.13918,
              0.212,
              0.35202,
              0.63668
            ],
            [
              0.04254,
              0.07506,
              0.09861,
              0.13924,
              0.21224,
              0.35216,
              0.63736
            ],
            [
              0.04253,
              0.07508,
              0.09863,
              0.13904,
              0.21234,
              0.35203,
              0.63684
            ],
            [
              0.04254,
              0.07518,
              0.09876,
              0.13901,
              0.2123,
              0.35205,
              0.63664
            ],
            [
              0.04253,
              0.07522,
              0.09876,
              0.13907,
              0.21206,
              0.35205,
              0.63664
            ],
            [
              0.04254,
              0.07512,
              0.0986,
              0.13926,
              0.21224,
              0.35221,
              0.6374
            ],
            [
              0.04255,
              0.07524,
              0.09862,
              0.13905,
              0.21233,
              0.35227,
              0.63735
            ],
            [
              0.04252,
              0.07509,
              0.09864,
              0.13926,
              0.21241,
              0.35224,
              0.63729
            ],
            [
              0.04255,
              0.07516,
              0.09871,
              0.13915,
              0.21204,
              0.3523,
              0.6376
            ],
            [
              0.0449,
              0.0769,
              0.1,
              0.1401,
              0.2125,
              0.3526,
              0.6377
            ],
            [
              0.0503,
              0.0841,
              0.1078,
              0.1477,
              0.2191,
              0.3563,
              0.6392
            ],
            [
              0.0575,
              0.0933,
              0.1177,
              0.1587,
              0.2309,
              0.3676,
              0.6458
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04738,
              0.09794,
              0.14107,
              0.22642,
              0.40157,
              0.76449,
              1.49971
            ],
            [
              0.04741,
              0.09775,
              0.14057,
              0.22585,
              0.40174,
              0.76558,
              1.49932
            ],
            [
              0.0474,
              0.09795,
              0.14103,
              0.22597,
              0.40152,
              0.76448,
              1.4996
            ],
            [
              0.0474,
              0.09774,
              0.14094,
              0.22578,
              0.40175,
              0.76555,
              1.4993
            ],
            [
              0.04742,
              0.09775,
              0.14069,
              0.22603,
              0.40157,
              0.7654,
              1.49828
            ],
            [
              0.04738,
              0.09794,
              0.14066,
              0.22603,
              0.40135,
              0.76527,
              1.49899
            ],
            [
              0.0474,
              0.09772,
              0.14103,
              0.22641,
              0.40123,
              0.76468,
              1.50032
            ],
            [
              0.04733,
              0.09768,
              0.14061,
              0.22638,
              0.40147,
              0.76489,
              1.49899
            ],
            [
              0.04726,
              0.09774,
              0.14064,
              0.22583,
              0.40154,
              0.76449,
              1.49993
            ],
            [
              0.05041,
              0.10002,
              0.14216,
              0.22663,
              0.40171,
              0.76414,
              1.5044
            ],
            [
              0.05562,
              0.10503,
              0.14657,
              0.2302,
              0.4044,
              0.7649,
              1.5007
            ],
            [
              0.0631,
              0.1125,
              0.1531,
              0.2353,
              0.4073,
              0.766,
              1.5004
            ],
            [
              0.0727,
              0.1238,
              0.1629,
              0.242,
              0.4114,
              0.7694,
              1.501
            ]
          ]
        },
        "sdf_cond": "(A2&A3&B1&!B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.29989,
              0.34644,
              0.37724,
              0.42518,
              0.50103,
              0.62771,
              0.85584
            ],
            [
              0.30267,
              0.34924,
              0.38005,
              0.42798,
              0.50384,
              0.63056,
              0.85856
            ],
            [
              0.30602,
              0.3526,
              0.3834,
              0.43135,
              0.50721,
              0.6339,
              0.8621
            ],
            [
              0.31117,
              0.35774,
              0.3886,
              0.43652,
              0.51238,
              0.63913,
              0.8672
            ],
            [
              0.319,
              0.36557,
              0.3964,
              0.44435,
              0.52022,
              0.64694,
              0.87487
            ],
            [
              0.33081,
              0.37738,
              0.40819,
              0.45616,
              0.53202,
              0.65874,
              0.88693
            ],
            [
              0.34817,
              0.39477,
              0.42559,
              0.47353,
              0.54941,
              0.67615,
              0.90413
            ],
            [
              0.37332,
              0.41984,
              0.45066,
              0.4986,
              0.57449,
              0.70121,
              0.92936
            ],
            [
              0.40972,
              0.45624,
              0.487,
              0.53492,
              0.61082,
              0.73754,
              0.96555
            ],
            [
              0.46331,
              0.50975,
              0.5405,
              0.58843,
              0.66439,
              0.79119,
              1.01929
            ],
            [
              0.53842,
              0.58642,
              0.61762,
              0.66602,
              0.74232,
              0.86942,
              1.09752
            ],
            [
              0.63077,
              0.68287,
              0.71647,
              0.76797,
              0.84747,
              0.97677,
              1.20577
            ],
            [
              0.7413,
              0.7988,
              0.8355,
              0.891,
              0.9755,
              1.1102,
              1.343
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.21758,
              0.27661,
              0.31731,
              0.38686,
              0.51393,
              0.76051,
              1.25107
            ],
            [
              0.22004,
              0.27907,
              0.31975,
              0.3893,
              0.51637,
              0.76315,
              1.25364
            ],
            [
              0.22301,
              0.28204,
              0.32271,
              0.39224,
              0.51929,
              0.76632,
              1.25682
            ],
            [
              0.22725,
              0.28628,
              0.32698,
              0.39648,
              0.52346,
              0.77055,
              1.26107
            ],
            [
              0.2333,
              0.29233,
              0.33303,
              0.40261,
              0.52973,
              0.77613,
              1.26661
            ],
            [
              0.24213,
              0.30116,
              0.34184,
              0.41139,
              0.53851,
              0.78538,
              1.27582
            ],
            [
              0.25524,
              0.31428,
              0.355,
              0.42451,
              0.5517,
              0.79868,
              1.28833
            ],
            [
              0.27496,
              0.33399,
              0.37466,
              0.44422,
              0.5714,
              0.8183,
              1.30886
            ],
            [
              0.30471,
              0.36359,
              0.40421,
              0.47374,
              0.60098,
              0.84805,
              1.33805
            ],
            [
              0.346,
              0.40615,
              0.44699,
              0.51662,
              0.64379,
              0.89039,
              1.38109
            ],
            [
              0.39785,
              0.46062,
              0.50262,
              0.57312,
              0.70092,
              0.94812,
              1.43892
            ],
            [
              0.46117,
              0.52737,
              0.57077,
              0.64267,
              0.77147,
              1.01857,
              1.50947
            ],
            [
              0.5354,
              0.6066,
              0.652,
              0.7258,
              0.8554,
              1.1037,
              1.5942
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.0371,
              0.0696,
              0.09326,
              0.13419,
              0.20793,
              0.34802,
              0.63383
            ],
            [
              0.03708,
              0.06963,
              0.09326,
              0.13423,
              0.20778,
              0.34826,
              0.63409
            ],
            [
              0.03711,
              0.0696,
              0.09343,
              0.13406,
              0.20742,
              0.34832,
              0.63322
            ],
            [
              0.0371,
              0.06957,
              0.09327,
              0.13437,
              0.20732,
              0.34822,
              0.63385
            ],
            [
              0.03707,
              0.06963,
              0.09344,
              0.13411,
              0.20775,
              0.34828,
              0.63409
            ],
            [
              0.0371,
              0.06958,
              0.09342,
              0.13421,
              0.20737,
              0.3483,
              0.63319
            ],
            [
              0.03709,
              0.06959,
              0.09327,
              0.13429,
              0.20778,
              0.34821,
              0.63409
            ],
            [
              0.0371,
              0.06955,
              0.0933,
              0.13437,
              0.20783,
              0.34829,
              0.63307
            ],
            [
              0.03709,
              0.06962,
              0.0935,
              0.13438,
              0.20757,
              0.34816,
              0.63411
            ],
            [
              0.03717,
              0.06968,
              0.09343,
              0.13439,
              0.20746,
              0.34817,
              0.634
            ],
            [
              0.0405,
              0.0726,
              0.0958,
              0.1358,
              0.2089,
              0.3489,
              0.6343
            ],
            [
              0.0465,
              0.0805,
              0.1045,
              0.1449,
              0.2166,
              0.3538,
              0.6364
            ],
            [
              0.0551,
              0.0914,
              0.1163,
              0.158,
              0.2303,
              0.3658,
              0.6431
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04088,
              0.09185,
              0.13486,
              0.22095,
              0.39904,
              0.76389,
              1.49935
            ],
            [
              0.0409,
              0.09179,
              0.13499,
              0.22116,
              0.39899,
              0.7645,
              1.49873
            ],
            [
              0.0409,
              0.0916,
              0.13521,
              0.22113,
              0.39893,
              0.76429,
              1.49939
            ],
            [
              0.04089,
              0.09177,
              0.13493,
              0.22104,
              0.39881,
              0.76448,
              1.49928
            ],
            [
              0.04101,
              0.0916,
              0.13481,
              0.22105,
              0.39912,
              0.76411,
              1.50021
            ],
            [
              0.0409,
              0.09178,
              0.13511,
              0.22119,
              0.39893,
              0.76446,
              1.49878
            ],
            [
              0.04091,
              0.09161,
              0.13475,
              0.22116,
              0.39912,
              0.76441,
              1.50053
            ],
            [
              0.04088,
              0.09174,
              0.1349,
              0.22117,
              0.39896,
              0.76445,
              1.49893
            ],
            [
              0.04087,
              0.09169,
              0.1352,
              0.22115,
              0.39914,
              0.76444,
              1.50005
            ],
            [
              0.04288,
              0.09333,
              0.13576,
              0.22149,
              0.39896,
              0.76399,
              1.5
            ],
            [
              0.0459,
              0.09707,
              0.13946,
              0.2244,
              0.4014,
              0.7633,
              1.4997
            ],
            [
              0.0503,
              0.102,
              0.1441,
              0.2279,
              0.403,
              0.7646,
              1.4997
            ],
            [
              0.0563,
              0.1096,
              0.1511,
              0.2337,
              0.4062,
              0.7674,
              1.5005
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&!B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.36154,
              0.41132,
              0.44356,
              0.49323,
              0.571,
              0.69946,
              0.92903
            ],
            [
              0.36419,
              0.41399,
              0.44625,
              0.49589,
              0.57367,
              0.70212,
              0.93165
            ],
            [
              0.36742,
              0.41723,
              0.44949,
              0.49914,
              0.57692,
              0.70537,
              0.93487
            ],
            [
              0.37239,
              0.4222,
              0.45447,
              0.50413,
              0.58191,
              0.71039,
              0.93998
            ],
            [
              0.37998,
              0.42979,
              0.46206,
              0.51175,
              0.58954,
              0.71802,
              0.94755
            ],
            [
              0.39143,
              0.44123,
              0.47348,
              0.52318,
              0.60097,
              0.72944,
              0.95902
            ],
            [
              0.40807,
              0.45789,
              0.49015,
              0.53983,
              0.61763,
              0.74612,
              0.97563
            ],
            [
              0.43158,
              0.48134,
              0.51358,
              0.56325,
              0.64106,
              0.76955,
              0.99906
            ],
            [
              0.46462,
              0.51437,
              0.54657,
              0.59625,
              0.67404,
              0.80255,
              1.03215
            ],
            [
              0.512,
              0.56174,
              0.59392,
              0.64359,
              0.72139,
              0.84989,
              1.07949
            ],
            [
              0.57972,
              0.62992,
              0.66222,
              0.71192,
              0.78992,
              0.91862,
              1.14812
            ],
            [
              0.66397,
              0.71757,
              0.75167,
              0.80367,
              0.88387,
              1.01407,
              1.24437
            ],
            [
              0.7665,
              0.8242,
              0.8608,
              0.9161,
              1.0004,
              1.1352,
              1.3685
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.19672,
              0.25558,
              0.29627,
              0.36585,
              0.49294,
              0.7398,
              1.22997
            ],
            [
              0.19909,
              0.25795,
              0.29866,
              0.36822,
              0.49531,
              0.7422,
              1.23254
            ],
            [
              0.20197,
              0.26084,
              0.30153,
              0.37112,
              0.49823,
              0.74508,
              1.23532
            ],
            [
              0.20611,
              0.26498,
              0.30569,
              0.37522,
              0.50235,
              0.74926,
              1.23968
            ],
            [
              0.21207,
              0.27094,
              0.31163,
              0.38118,
              0.50831,
              0.75482,
              1.24461
            ],
            [
              0.22082,
              0.2797,
              0.32038,
              0.38992,
              0.51707,
              0.7636,
              1.25352
            ],
            [
              0.23392,
              0.29277,
              0.33348,
              0.40299,
              0.53017,
              0.77716,
              1.26753
            ],
            [
              0.25372,
              0.31251,
              0.35318,
              0.42269,
              0.54991,
              0.79695,
              1.28736
            ],
            [
              0.2833,
              0.34193,
              0.38253,
              0.45205,
              0.57925,
              0.82625,
              1.31615
            ],
            [
              0.32232,
              0.38285,
              0.42395,
              0.49362,
              0.6209,
              0.86799,
              1.35839
            ],
            [
              0.37088,
              0.4341,
              0.47632,
              0.54722,
              0.67502,
              0.92222,
              1.41202
            ],
            [
              0.42927,
              0.49627,
              0.53997,
              0.61217,
              0.74117,
              0.98867,
              1.47947
            ],
            [
              0.4966,
              0.5689,
              0.6148,
              0.689,
              0.819,
              1.0671,
              1.5573
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04432,
              0.07724,
              0.10088,
              0.14132,
              0.2145,
              0.35434,
              0.63846
            ],
            [
              0.04433,
              0.07716,
              0.10085,
              0.14134,
              0.2145,
              0.35446,
              0.63898
            ],
            [
              0.04432,
              0.07717,
              0.1007,
              0.14139,
              0.21445,
              0.35459,
              0.6391
            ],
            [
              0.04431,
              0.07714,
              0.10075,
              0.14131,
              0.21452,
              0.35427,
              0.63851
            ],
            [
              0.04432,
              0.07723,
              0.10084,
              0.1414,
              0.21484,
              0.35442,
              0.63876
            ],
            [
              0.04432,
              0.07719,
              0.1009,
              0.1414,
              0.21445,
              0.35426,
              0.63853
            ],
            [
              0.04432,
              0.07715,
              0.10073,
              0.14153,
              0.21476,
              0.35448,
              0.6389
            ],
            [
              0.04432,
              0.07723,
              0.10087,
              0.1414,
              0.2148,
              0.35438,
              0.639
            ],
            [
              0.04432,
              0.07719,
              0.10092,
              0.14146,
              0.21438,
              0.35449,
              0.63852
            ],
            [
              0.04433,
              0.07719,
              0.10099,
              0.1414,
              0.21474,
              0.3543,
              0.6387
            ],
            [
              0.0462,
              0.0784,
              0.1018,
              0.1422,
              0.2154,
              0.3547,
              0.6393
            ],
            [
              0.0515,
              0.0852,
              0.1089,
              0.1491,
              0.2207,
              0.3583,
              0.6403
            ],
            [
              0.0586,
              0.0942,
              0.1187,
              0.1598,
              0.2323,
              0.3688,
              0.6475
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04023,
              0.09125,
              0.13445,
              0.22087,
              0.39902,
              0.76448,
              1.50002
            ],
            [
              0.04017,
              0.09123,
              0.13435,
              0.22133,
              0.39914,
              0.76357,
              1.5009
            ],
            [
              0.04013,
              0.09128,
              0.13444,
              0.22079,
              0.39899,
              0.76483,
              1.49978
            ],
            [
              0.04024,
              0.09105,
              0.13449,
              0.22097,
              0.39913,
              0.76334,
              1.50087
            ],
            [
              0.04018,
              0.09106,
              0.13444,
              0.22086,
              0.39877,
              0.76417,
              1.50052
            ],
            [
              0.04021,
              0.09104,
              0.13444,
              0.22078,
              0.39875,
              0.76418,
              1.50053
            ],
            [
              0.04015,
              0.09099,
              0.13458,
              0.22095,
              0.39909,
              0.76319,
              1.50059
            ],
            [
              0.04003,
              0.09111,
              0.13431,
              0.22087,
              0.39909,
              0.76342,
              1.50091
            ],
            [
              0.04038,
              0.09113,
              0.13443,
              0.22061,
              0.39879,
              0.76553,
              1.50018
            ],
            [
              0.04278,
              0.09353,
              0.13608,
              0.22154,
              0.39898,
              0.7642,
              1.4999
            ],
            [
              0.046,
              0.09715,
              0.13985,
              0.2245,
              0.4003,
              0.7641,
              1.5006
            ],
            [
              0.0504,
              0.1028,
              0.1452,
              0.2283,
              0.4038,
              0.7651,
              1.4996
            ],
            [
              0.0568,
              0.1109,
              0.1523,
              0.2343,
              0.4064,
              0.7676,
              1.4999
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.38309,
              0.43407,
              0.46672,
              0.51669,
              0.59474,
              0.72355,
              0.9532
            ],
            [
              0.38587,
              0.43686,
              0.46945,
              0.51945,
              0.59753,
              0.7263,
              0.9563
            ],
            [
              0.38921,
              0.4402,
              0.47279,
              0.52281,
              0.60089,
              0.72965,
              0.95963
            ],
            [
              0.39432,
              0.44531,
              0.47795,
              0.52794,
              0.60601,
              0.73477,
              0.96471
            ],
            [
              0.40207,
              0.45306,
              0.48572,
              0.53572,
              0.61379,
              0.74254,
              0.97241
            ],
            [
              0.41371,
              0.4647,
              0.49736,
              0.54736,
              0.62542,
              0.75424,
              0.98392
            ],
            [
              0.4306,
              0.48158,
              0.51424,
              0.56423,
              0.6423,
              0.77112,
              1.00073
            ],
            [
              0.45439,
              0.50534,
              0.53796,
              0.58794,
              0.66604,
              0.79483,
              1.02476
            ],
            [
              0.48789,
              0.53882,
              0.57144,
              0.62138,
              0.69947,
              0.82835,
              1.05835
            ],
            [
              0.53621,
              0.58713,
              0.6197,
              0.66969,
              0.74779,
              0.87659,
              1.10669
            ],
            [
              0.60672,
              0.65762,
              0.69022,
              0.74032,
              0.81842,
              0.94742,
              1.17742
            ],
            [
              0.69787,
              0.75227,
              0.78647,
              0.83837,
              0.91817,
              1.04797,
              1.27817
            ],
            [
              0.8095,
              0.8682,
              0.9049,
              0.96,
              1.044,
              1.1783,
              1.4112
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.20682,
              0.27209,
              0.31527,
              0.38732,
              0.51595,
              0.76309,
              1.25287
            ],
            [
              0.2092,
              0.27446,
              0.31763,
              0.38974,
              0.51829,
              0.76559,
              1.25564
            ],
            [
              0.21206,
              0.27733,
              0.32051,
              0.39258,
              0.5213,
              0.76849,
              1.25822
            ],
            [
              0.21623,
              0.28149,
              0.32469,
              0.3968,
              0.52533,
              0.7724,
              1.26278
            ],
            [
              0.22219,
              0.28747,
              0.33063,
              0.40271,
              0.53139,
              0.77858,
              1.26861
            ],
            [
              0.23095,
              0.29622,
              0.33938,
              0.41145,
              0.54025,
              0.78751,
              1.27812
            ],
            [
              0.24403,
              0.3093,
              0.35246,
              0.42458,
              0.55332,
              0.80065,
              1.29093
            ],
            [
              0.2638,
              0.32901,
              0.37213,
              0.44423,
              0.57299,
              0.82028,
              1.31056
            ],
            [
              0.29344,
              0.35845,
              0.4015,
              0.47351,
              0.60238,
              0.84975,
              1.34025
            ],
            [
              0.33332,
              0.40017,
              0.44356,
              0.51564,
              0.64449,
              0.89169,
              1.38279
            ],
            [
              0.38314,
              0.45312,
              0.49792,
              0.57132,
              0.70092,
              0.94842,
              1.43872
            ],
            [
              0.44357,
              0.51787,
              0.56447,
              0.63957,
              0.77047,
              1.01827,
              1.50897
            ],
            [
              0.5142,
              0.5942,
              0.6434,
              0.721,
              0.8534,
              1.1025,
              1.593
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04547,
              0.07848,
              0.10184,
              0.14254,
              0.21523,
              0.35509,
              0.64014
            ],
            [
              0.04547,
              0.0784,
              0.10198,
              0.14224,
              0.21509,
              0.35478,
              0.63941
            ],
            [
              0.04546,
              0.07838,
              0.10198,
              0.14222,
              0.21505,
              0.35487,
              0.6395
            ],
            [
              0.04546,
              0.07838,
              0.10177,
              0.14224,
              0.21503,
              0.355,
              0.6397
            ],
            [
              0.04546,
              0.0784,
              0.10182,
              0.14252,
              0.21497,
              0.35513,
              0.63996
            ],
            [
              0.04547,
              0.07848,
              0.10183,
              0.14255,
              0.2149,
              0.35516,
              0.64019
            ],
            [
              0.04547,
              0.07848,
              0.10184,
              0.14256,
              0.21523,
              0.35508,
              0.64013
            ],
            [
              0.04553,
              0.07838,
              0.10181,
              0.14221,
              0.21539,
              0.35484,
              0.63961
            ],
            [
              0.04546,
              0.07842,
              0.10186,
              0.14228,
              0.21517,
              0.35483,
              0.6392
            ],
            [
              0.04546,
              0.07846,
              0.10196,
              0.14245,
              0.2153,
              0.3549,
              0.6396
            ],
            [
              0.0462,
              0.0791,
              0.1024,
              0.1426,
              0.2152,
              0.3548,
              0.6399
            ],
            [
              0.0517,
              0.0854,
              0.1086,
              0.1487,
              0.2199,
              0.3575,
              0.6411
            ],
            [
              0.0588,
              0.0943,
              0.1184,
              0.159,
              0.2312,
              0.3671,
              0.646
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.0474,
              0.09795,
              0.1407,
              0.22642,
              0.40134,
              0.76482,
              1.50036
            ],
            [
              0.0474,
              0.09795,
              0.14108,
              0.22607,
              0.40144,
              0.76508,
              1.49952
            ],
            [
              0.0474,
              0.09779,
              0.14068,
              0.22645,
              0.40169,
              0.76383,
              1.50016
            ],
            [
              0.0474,
              0.09794,
              0.14107,
              0.22605,
              0.40167,
              0.76446,
              1.49957
            ],
            [
              0.0474,
              0.09776,
              0.14102,
              0.22639,
              0.40131,
              0.76489,
              1.50001
            ],
            [
              0.04741,
              0.09779,
              0.14055,
              0.22586,
              0.4017,
              0.7653,
              1.49875
            ],
            [
              0.04739,
              0.09793,
              0.14064,
              0.22603,
              0.40161,
              0.7654,
              1.50046
            ],
            [
              0.04729,
              0.09775,
              0.1411,
              0.22603,
              0.40154,
              0.76498,
              1.49895
            ],
            [
              0.04748,
              0.09786,
              0.14086,
              0.22627,
              0.40183,
              0.76518,
              1.49828
            ],
            [
              0.05035,
              0.1,
              0.14236,
              0.22736,
              0.4021,
              0.76456,
              1.5044
            ],
            [
              0.05419,
              0.10466,
              0.14653,
              0.2302,
              0.4046,
              0.7647,
              1.4998
            ],
            [
              0.0595,
              0.1112,
              0.1527,
              0.2357,
              0.4069,
              0.7654,
              1.4999
            ],
            [
              0.0673,
              0.1206,
              0.1615,
              0.2417,
              0.4111,
              0.7692,
              1.5003
            ]
          ]
        },
        "sdf_cond": "(A1&A3&B1&!B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.31958,
              0.36668,
              0.39758,
              0.44548,
              0.52138,
              0.64835,
              0.87675
            ],
            [
              0.32206,
              0.36916,
              0.40006,
              0.44799,
              0.52389,
              0.65081,
              0.87935
            ],
            [
              0.3253,
              0.37243,
              0.40332,
              0.45125,
              0.52717,
              0.65413,
              0.88245
            ],
            [
              0.33041,
              0.37755,
              0.40846,
              0.45638,
              0.53229,
              0.65926,
              0.88785
            ],
            [
              0.33833,
              0.38546,
              0.41638,
              0.46434,
              0.54027,
              0.6672,
              0.89574
            ],
            [
              0.3503,
              0.39742,
              0.42835,
              0.47632,
              0.55225,
              0.6792,
              0.90767
            ],
            [
              0.36786,
              0.41496,
              0.44588,
              0.49386,
              0.56983,
              0.69679,
              0.92523
            ],
            [
              0.39317,
              0.44026,
              0.47118,
              0.51916,
              0.59513,
              0.72207,
              0.95076
            ],
            [
              0.42973,
              0.4768,
              0.50768,
              0.5557,
              0.63173,
              0.75875,
              0.98715
            ],
            [
              0.48345,
              0.53046,
              0.56133,
              0.60938,
              0.68549,
              0.81249,
              1.04119
            ],
            [
              0.56082,
              0.60872,
              0.63982,
              0.68812,
              0.76442,
              0.89162,
              1.12032
            ],
            [
              0.65727,
              0.70937,
              0.74277,
              0.79377,
              0.87287,
              1.00177,
              1.23097
            ],
            [
              0.7737,
              0.831,
              0.8673,
              0.9223,
              1.0063,
              1.1405,
              1.3731
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.22525,
              0.28428,
              0.32496,
              0.39448,
              0.52142,
              0.76796,
              1.25827
            ],
            [
              0.22787,
              0.2869,
              0.32759,
              0.39713,
              0.52411,
              0.77029,
              1.26044
            ],
            [
              0.2309,
              0.28993,
              0.33064,
              0.40017,
              0.52716,
              0.7735,
              1.26312
            ],
            [
              0.23505,
              0.29407,
              0.33477,
              0.40432,
              0.53133,
              0.77789,
              1.26768
            ],
            [
              0.2409,
              0.29993,
              0.3406,
              0.41011,
              0.53711,
              0.78392,
              1.27411
            ],
            [
              0.24903,
              0.30806,
              0.34874,
              0.41825,
              0.54514,
              0.792,
              1.28222
            ],
            [
              0.26054,
              0.31957,
              0.36024,
              0.42974,
              0.55682,
              0.80363,
              1.29343
            ],
            [
              0.27716,
              0.3362,
              0.37686,
              0.44636,
              0.57335,
              0.82025,
              1.31056
            ],
            [
              0.30169,
              0.3606,
              0.40125,
              0.47076,
              0.59773,
              0.84475,
              1.33515
            ],
            [
              0.33499,
              0.39525,
              0.43618,
              0.50584,
              0.63309,
              0.87949,
              1.37019
            ],
            [
              0.3765,
              0.43931,
              0.48142,
              0.55222,
              0.67992,
              0.92712,
              1.41712
            ],
            [
              0.42757,
              0.49367,
              0.53727,
              0.60957,
              0.73847,
              0.98577,
              1.47647
            ],
            [
              0.4887,
              0.5591,
              0.6047,
              0.679,
              0.8093,
              1.0575,
              1.5472
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03863,
              0.0713,
              0.09512,
              0.13623,
              0.20943,
              0.35011,
              0.63578
            ],
            [
              0.03857,
              0.07129,
              0.09528,
              0.13615,
              0.20989,
              0.34989,
              0.63547
            ],
            [
              0.03857,
              0.07137,
              0.09514,
              0.13627,
              0.2098,
              0.35016,
              0.63585
            ],
            [
              0.03863,
              0.07137,
              0.09512,
              0.13622,
              0.20945,
              0.35023,
              0.63511
            ],
            [
              0.03857,
              0.07134,
              0.09528,
              0.13614,
              0.20983,
              0.34995,
              0.63554
            ],
            [
              0.03858,
              0.07128,
              0.09527,
              0.13618,
              0.20986,
              0.35008,
              0.63567
            ],
            [
              0.03857,
              0.07135,
              0.0953,
              0.13604,
              0.20979,
              0.35005,
              0.63568
            ],
            [
              0.03858,
              0.07127,
              0.09512,
              0.1362,
              0.20959,
              0.35012,
              0.63505
            ],
            [
              0.03863,
              0.07139,
              0.09526,
              0.13615,
              0.20973,
              0.35003,
              0.63582
            ],
            [
              0.03859,
              0.07143,
              0.0952,
              0.13626,
              0.20978,
              0.35,
              0.6348
            ],
            [
              0.0411,
              0.0731,
              0.0967,
              0.137,
              0.2103,
              0.3502,
              0.6357
            ],
            [
              0.047,
              0.081,
              0.1048,
              0.1449,
              0.2164,
              0.3541,
              0.6375
            ],
            [
              0.0553,
              0.0914,
              0.1161,
              0.1574,
              0.2297,
              0.3659,
              0.6442
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04089,
              0.09178,
              0.13502,
              0.22119,
              0.399,
              0.7645,
              1.49845
            ],
            [
              0.04096,
              0.09188,
              0.13494,
              0.22099,
              0.39911,
              0.76422,
              1.50046
            ],
            [
              0.04091,
              0.09164,
              0.13476,
              0.22121,
              0.39925,
              0.76485,
              1.50126
            ],
            [
              0.04091,
              0.09188,
              0.13484,
              0.22114,
              0.39937,
              0.76524,
              1.50008
            ],
            [
              0.04089,
              0.0916,
              0.13492,
              0.22111,
              0.39887,
              0.76341,
              1.49872
            ],
            [
              0.0409,
              0.09177,
              0.13492,
              0.22119,
              0.39871,
              0.76455,
              1.49877
            ],
            [
              0.04093,
              0.09164,
              0.13491,
              0.22178,
              0.39905,
              0.76419,
              1.49947
            ],
            [
              0.0409,
              0.09171,
              0.13488,
              0.22119,
              0.39861,
              0.76451,
              1.49847
            ],
            [
              0.04093,
              0.09178,
              0.13497,
              0.2212,
              0.39889,
              0.76444,
              1.49924
            ],
            [
              0.04285,
              0.09333,
              0.13584,
              0.22155,
              0.39939,
              0.76418,
              1.4983
            ],
            [
              0.04542,
              0.09695,
              0.13935,
              0.2247,
              0.4003,
              0.7646,
              1.5007
            ],
            [
              0.0488,
              0.1016,
              0.1443,
              0.2282,
              0.4037,
              0.7649,
              1.5015
            ],
            [
              0.0536,
              0.1079,
              0.1506,
              0.2337,
              0.4067,
              0.7676,
              1.4989
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&!B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.38945,
              0.44013,
              0.47261,
              0.52244,
              0.60038,
              0.72915,
              0.95921
            ],
            [
              0.39174,
              0.44243,
              0.4749,
              0.52475,
              0.60271,
              0.73153,
              0.96157
            ],
            [
              0.3948,
              0.44552,
              0.47801,
              0.5279,
              0.60583,
              0.7346,
              0.96457
            ],
            [
              0.39972,
              0.45047,
              0.48296,
              0.53285,
              0.61081,
              0.73957,
              0.96957
            ],
            [
              0.40745,
              0.45816,
              0.4907,
              0.54057,
              0.61852,
              0.74738,
              0.97741
            ],
            [
              0.41909,
              0.46981,
              0.5023,
              0.55219,
              0.63019,
              0.75902,
              0.98912
            ],
            [
              0.43596,
              0.48665,
              0.51915,
              0.56906,
              0.64707,
              0.7759,
              1.00603
            ],
            [
              0.45967,
              0.51035,
              0.54284,
              0.59276,
              0.67079,
              0.79963,
              1.02976
            ],
            [
              0.49286,
              0.54351,
              0.576,
              0.6259,
              0.70396,
              0.83285,
              1.06285
            ],
            [
              0.54028,
              0.5909,
              0.62336,
              0.67329,
              0.75139,
              0.88029,
              1.11039
            ],
            [
              0.60902,
              0.65972,
              0.69222,
              0.74212,
              0.82042,
              0.94942,
              1.17962
            ],
            [
              0.69707,
              0.75107,
              0.78517,
              0.83707,
              0.91697,
              1.04697,
              1.27737
            ],
            [
              0.8045,
              0.8625,
              0.899,
              0.954,
              1.038,
              1.1726,
              1.4059
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.20439,
              0.26325,
              0.30396,
              0.37348,
              0.50043,
              0.74707,
              1.23707
            ],
            [
              0.20693,
              0.26579,
              0.3065,
              0.37603,
              0.50299,
              0.74963,
              1.23964
            ],
            [
              0.20986,
              0.26874,
              0.30947,
              0.37891,
              0.50587,
              0.75258,
              1.24272
            ],
            [
              0.21391,
              0.27278,
              0.31351,
              0.38298,
              0.50989,
              0.7566,
              1.24687
            ],
            [
              0.21967,
              0.27854,
              0.31921,
              0.38876,
              0.51575,
              0.76217,
              1.25181
            ],
            [
              0.22774,
              0.28661,
              0.32731,
              0.39686,
              0.52382,
              0.77056,
              1.26072
            ],
            [
              0.23922,
              0.29808,
              0.33877,
              0.40831,
              0.53535,
              0.78208,
              1.27213
            ],
            [
              0.25592,
              0.31473,
              0.3554,
              0.42487,
              0.55187,
              0.79858,
              1.28876
            ],
            [
              0.28029,
              0.33902,
              0.37967,
              0.4491,
              0.57624,
              0.82315,
              1.31355
            ],
            [
              0.31184,
              0.37245,
              0.41359,
              0.48336,
              0.61063,
              0.85739,
              1.34699
            ],
            [
              0.35091,
              0.41417,
              0.45652,
              0.52762,
              0.65532,
              0.90252,
              1.39292
            ],
            [
              0.39857,
              0.46517,
              0.50917,
              0.58177,
              0.71087,
              0.95807,
              1.44907
            ],
            [
              0.4547,
              0.5258,
              0.5719,
              0.6467,
              0.7771,
              1.0255,
              1.5157
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04641,
              0.07943,
              0.10317,
              0.14382,
              0.21714,
              0.35693,
              0.6414
            ],
            [
              0.04639,
              0.0794,
              0.10304,
              0.1438,
              0.21699,
              0.35684,
              0.64123
            ],
            [
              0.0464,
              0.07944,
              0.10309,
              0.14403,
              0.21685,
              0.35677,
              0.64152
            ],
            [
              0.0464,
              0.07945,
              0.1031,
              0.14403,
              0.21685,
              0.35677,
              0.64149
            ],
            [
              0.0464,
              0.07937,
              0.10315,
              0.14384,
              0.21687,
              0.35697,
              0.64135
            ],
            [
              0.04636,
              0.07939,
              0.10303,
              0.14382,
              0.21695,
              0.35666,
              0.64114
            ],
            [
              0.04636,
              0.07939,
              0.10302,
              0.14382,
              0.21691,
              0.35669,
              0.64116
            ],
            [
              0.04638,
              0.07939,
              0.10306,
              0.14408,
              0.21686,
              0.35678,
              0.64089
            ],
            [
              0.0464,
              0.0795,
              0.10318,
              0.14385,
              0.21721,
              0.35684,
              0.6415
            ],
            [
              0.04636,
              0.07945,
              0.10322,
              0.14373,
              0.2169,
              0.3567,
              0.6413
            ],
            [
              0.0472,
              0.08,
              0.1036,
              0.1442,
              0.2172,
              0.3566,
              0.6412
            ],
            [
              0.0528,
              0.0864,
              0.11,
              0.1502,
              0.2218,
              0.3595,
              0.6426
            ],
            [
              0.0597,
              0.0949,
              0.1192,
              0.1605,
              0.2327,
              0.3692,
              0.6478
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04017,
              0.09126,
              0.13427,
              0.22135,
              0.39911,
              0.76423,
              1.50007
            ],
            [
              0.04017,
              0.09107,
              0.13429,
              0.22134,
              0.3991,
              0.76424,
              1.50008
            ],
            [
              0.04015,
              0.09129,
              0.13471,
              0.22139,
              0.39878,
              0.76368,
              1.50055
            ],
            [
              0.04017,
              0.09117,
              0.13453,
              0.22139,
              0.39888,
              0.76276,
              1.49839
            ],
            [
              0.04022,
              0.09098,
              0.13472,
              0.22083,
              0.39884,
              0.76479,
              1.50155
            ],
            [
              0.04012,
              0.09106,
              0.13426,
              0.22075,
              0.39911,
              0.7635,
              1.50084
            ],
            [
              0.04015,
              0.09105,
              0.13427,
              0.22089,
              0.39908,
              0.76427,
              1.49999
            ],
            [
              0.04013,
              0.091,
              0.13438,
              0.22092,
              0.39869,
              0.76348,
              1.49958
            ],
            [
              0.04047,
              0.09116,
              0.13433,
              0.2214,
              0.3991,
              0.76361,
              1.49962
            ],
            [
              0.04257,
              0.0934,
              0.13626,
              0.22171,
              0.39923,
              0.76647,
              1.5
            ],
            [
              0.04526,
              0.0971,
              0.13973,
              0.22475,
              0.4003,
              0.7637,
              1.4998
            ],
            [
              0.0488,
              0.1019,
              0.1448,
              0.2294,
              0.4034,
              0.7673,
              1.5013
            ],
            [
              0.0537,
              0.1089,
              0.1514,
              0.2347,
              0.4072,
              0.768,
              1.4991
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.40898,
              0.46085,
              0.49367,
              0.54383,
              0.62197,
              0.75095,
              0.98121
            ],
            [
              0.41135,
              0.46324,
              0.49606,
              0.54619,
              0.62437,
              0.75338,
              0.98385
            ],
            [
              0.41452,
              0.4664,
              0.49923,
              0.54939,
              0.62755,
              0.75655,
              0.98692
            ],
            [
              0.41955,
              0.47146,
              0.5043,
              0.55446,
              0.63262,
              0.76162,
              0.99198
            ],
            [
              0.42741,
              0.4793,
              0.51215,
              0.56229,
              0.6405,
              0.76954,
              1.00001
            ],
            [
              0.43919,
              0.49107,
              0.52392,
              0.57409,
              0.65231,
              0.78134,
              1.01182
            ],
            [
              0.45627,
              0.50813,
              0.54098,
              0.59117,
              0.66939,
              0.79842,
              1.02883
            ],
            [
              0.48026,
              0.53212,
              0.56497,
              0.61517,
              0.69339,
              0.82245,
              1.05266
            ],
            [
              0.51396,
              0.56582,
              0.59865,
              0.64881,
              0.72709,
              0.85615,
              1.08665
            ],
            [
              0.56236,
              0.61418,
              0.64699,
              0.69719,
              0.77549,
              0.90469,
              1.13509
            ],
            [
              0.63322,
              0.68502,
              0.71782,
              0.76802,
              0.84652,
              0.97572,
              1.20592
            ],
            [
              0.72787,
              0.78267,
              0.81687,
              0.86847,
              0.94807,
              1.07787,
              1.30867
            ],
            [
              0.8438,
              0.9029,
              0.9395,
              0.9944,
              1.0781,
              1.2121,
              1.4449
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.21448,
              0.27976,
              0.32293,
              0.39494,
              0.52351,
              0.77054,
              1.26057
            ],
            [
              0.21703,
              0.2823,
              0.32548,
              0.39755,
              0.52602,
              0.77307,
              1.26304
            ],
            [
              0.21997,
              0.28524,
              0.32841,
              0.40044,
              0.52899,
              0.77587,
              1.26542
            ],
            [
              0.22404,
              0.2893,
              0.33248,
              0.40453,
              0.53295,
              0.77977,
              1.26998
            ],
            [
              0.22979,
              0.29506,
              0.33822,
              0.41026,
              0.53883,
              0.78581,
              1.27631
            ],
            [
              0.23786,
              0.30313,
              0.34631,
              0.4184,
              0.54687,
              0.79401,
              1.28402
            ],
            [
              0.24934,
              0.31461,
              0.35777,
              0.42977,
              0.55835,
              0.80553,
              1.29533
            ],
            [
              0.26601,
              0.33123,
              0.37437,
              0.44642,
              0.57506,
              0.82215,
              1.31236
            ],
            [
              0.29045,
              0.35552,
              0.39859,
              0.47059,
              0.59936,
              0.84655,
              1.33645
            ],
            [
              0.32267,
              0.38959,
              0.43308,
              0.50527,
              0.63419,
              0.88149,
              1.37159
            ],
            [
              0.36268,
              0.43258,
              0.47752,
              0.55102,
              0.68062,
              0.92792,
              1.41882
            ],
            [
              0.41167,
              0.48537,
              0.53207,
              0.60747,
              0.73867,
              0.98667,
              1.47737
            ],
            [
              0.47,
              0.5486,
              0.5977,
              0.6756,
              0.8086,
              1.0578,
              1.5476
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04756,
              0.08072,
              0.10413,
              0.14472,
              0.21764,
              0.35739,
              0.64217
            ],
            [
              0.04757,
              0.08073,
              0.10416,
              0.1446,
              0.21739,
              0.35705,
              0.64137
            ],
            [
              0.04747,
              0.08072,
              0.10414,
              0.14472,
              0.21736,
              0.35737,
              0.64209
            ],
            [
              0.04747,
              0.08073,
              0.10416,
              0.1447,
              0.21736,
              0.35739,
              0.64218
            ],
            [
              0.04744,
              0.08065,
              0.10424,
              0.14449,
              0.21745,
              0.35702,
              0.6415
            ],
            [
              0.04746,
              0.08065,
              0.1041,
              0.14459,
              0.21737,
              0.35713,
              0.64175
            ],
            [
              0.04748,
              0.08066,
              0.10412,
              0.14486,
              0.21732,
              0.35727,
              0.64195
            ],
            [
              0.04747,
              0.08075,
              0.10415,
              0.1447,
              0.2176,
              0.3574,
              0.64218
            ],
            [
              0.04747,
              0.08067,
              0.10409,
              0.1446,
              0.21742,
              0.35697,
              0.6418
            ],
            [
              0.04748,
              0.08076,
              0.10413,
              0.14481,
              0.2175,
              0.3573,
              0.6419
            ],
            [
              0.0478,
              0.081,
              0.1045,
              0.1447,
              0.2175,
              0.357,
              0.6421
            ],
            [
              0.053,
              0.0866,
              0.1097,
              0.149,
              0.2208,
              0.3589,
              0.642
            ],
            [
              0.0599,
              0.0954,
              0.1194,
              0.1595,
              0.2313,
              0.3677,
              0.648
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04744,
              0.0978,
              0.14069,
              0.22643,
              0.40224,
              0.76548,
              1.50035
            ],
            [
              0.04737,
              0.09795,
              0.14069,
              0.22608,
              0.40142,
              0.76527,
              1.49908
            ],
            [
              0.04739,
              0.09795,
              0.14081,
              0.22647,
              0.40149,
              0.76479,
              1.50035
            ],
            [
              0.0474,
              0.09795,
              0.14069,
              0.22603,
              0.4017,
              0.76458,
              1.49949
            ],
            [
              0.0474,
              0.09778,
              0.14081,
              0.22643,
              0.40145,
              0.76501,
              1.49878
            ],
            [
              0.0474,
              0.09793,
              0.14068,
              0.22607,
              0.40133,
              0.7652,
              1.4991
            ],
            [
              0.04739,
              0.09776,
              0.14078,
              0.22604,
              0.40128,
              0.7653,
              1.49972
            ],
            [
              0.04734,
              0.09791,
              0.14067,
              0.22606,
              0.40159,
              0.76502,
              1.49856
            ],
            [
              0.04757,
              0.09792,
              0.14098,
              0.22631,
              0.40208,
              0.76507,
              1.50017
            ],
            [
              0.05012,
              0.10011,
              0.14231,
              0.22676,
              0.40183,
              0.76401,
              1.5006
            ],
            [
              0.05327,
              0.10428,
              0.14649,
              0.2303,
              0.4035,
              0.7651,
              1.4984
            ],
            [
              0.0575,
              0.1101,
              0.1522,
              0.2354,
              0.4076,
              0.7661,
              1.5007
            ],
            [
              0.0633,
              0.1178,
              0.1599,
              0.2415,
              0.4116,
              0.7697,
              1.4991
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&!B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.18298,
              0.22176,
              0.24745,
              0.28791,
              0.35408,
              0.47035,
              0.69096
            ],
            [
              0.1853,
              0.22411,
              0.24982,
              0.29028,
              0.35646,
              0.47288,
              0.69386
            ],
            [
              0.18812,
              0.22693,
              0.25266,
              0.29309,
              0.35927,
              0.47574,
              0.69649
            ],
            [
              0.19246,
              0.23131,
              0.25703,
              0.29751,
              0.36371,
              0.48011,
              0.70086
            ],
            [
              0.19933,
              0.23815,
              0.26386,
              0.30434,
              0.37055,
              0.4868,
              0.70764
            ],
            [
              0.21019,
              0.24881,
              0.2745,
              0.31498,
              0.38119,
              0.4977,
              0.71842
            ],
            [
              0.22707,
              0.26573,
              0.2914,
              0.33186,
              0.39813,
              0.51463,
              0.73559
            ],
            [
              0.25331,
              0.2919,
              0.31753,
              0.358,
              0.42428,
              0.54088,
              0.76186
            ],
            [
              0.29372,
              0.33205,
              0.35765,
              0.39816,
              0.46451,
              0.58113,
              0.80215
            ],
            [
              0.35091,
              0.39043,
              0.41626,
              0.45702,
              0.52362,
              0.64029,
              0.86149
            ],
            [
              0.42023,
              0.46302,
              0.49052,
              0.53322,
              0.60172,
              0.71932,
              0.94052
            ],
            [
              0.50267,
              0.54997,
              0.57957,
              0.62467,
              0.69577,
              0.81647,
              1.03887
            ],
            [
              0.6002,
              0.6533,
              0.6858,
              0.7343,
              0.8088,
              0.932,
              1.157
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.11705,
              0.16567,
              0.20164,
              0.26633,
              0.3897,
              0.63425,
              1.12127
            ],
            [
              0.11957,
              0.1681,
              0.20412,
              0.26887,
              0.3922,
              0.63675,
              1.12384
            ],
            [
              0.12263,
              0.17119,
              0.20722,
              0.27189,
              0.39546,
              0.63962,
              1.12732
            ],
            [
              0.12723,
              0.17578,
              0.21177,
              0.27653,
              0.3999,
              0.64446,
              1.13157
            ],
            [
              0.13419,
              0.18273,
              0.21871,
              0.2834,
              0.40705,
              0.65147,
              1.13911
            ],
            [
              0.14479,
              0.19328,
              0.2292,
              0.29386,
              0.41757,
              0.66207,
              1.14962
            ],
            [
              0.16087,
              0.20913,
              0.24496,
              0.30964,
              0.43333,
              0.67793,
              1.16583
            ],
            [
              0.18393,
              0.23227,
              0.26806,
              0.33274,
              0.45633,
              0.70118,
              1.18876
            ],
            [
              0.21238,
              0.26262,
              0.29882,
              0.36363,
              0.48735,
              0.73214,
              1.22005
            ],
            [
              0.24597,
              0.29884,
              0.33599,
              0.40157,
              0.5255,
              0.77049,
              1.25859
            ],
            [
              0.28482,
              0.3417,
              0.37999,
              0.44642,
              0.57122,
              0.81612,
              1.30422
            ],
            [
              0.32867,
              0.39127,
              0.43147,
              0.49917,
              0.62427,
              0.86957,
              1.35667
            ],
            [
              0.3767,
              0.4471,
              0.4902,
              0.56,
              0.6858,
              0.931,
              1.4187
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.02913,
              0.05674,
              0.07771,
              0.11502,
              0.18536,
              0.32723,
              0.61999
            ],
            [
              0.02913,
              0.05664,
              0.07748,
              0.11502,
              0.18538,
              0.32719,
              0.61971
            ],
            [
              0.02912,
              0.05674,
              0.07749,
              0.11496,
              0.18553,
              0.32721,
              0.62032
            ],
            [
              0.02909,
              0.05663,
              0.07749,
              0.11485,
              0.18537,
              0.32719,
              0.62011
            ],
            [
              0.0291,
              0.05673,
              0.07753,
              0.11483,
              0.18542,
              0.32726,
              0.61958
            ],
            [
              0.02908,
              0.05664,
              0.07764,
              0.11494,
              0.18551,
              0.32708,
              0.62022
            ],
            [
              0.02908,
              0.05668,
              0.07772,
              0.11488,
              0.18553,
              0.32718,
              0.62031
            ],
            [
              0.02911,
              0.05671,
              0.07777,
              0.11492,
              0.18544,
              0.32707,
              0.62018
            ],
            [
              0.02911,
              0.05689,
              0.07783,
              0.11522,
              0.18554,
              0.32719,
              0.62022
            ],
            [
              0.03239,
              0.05921,
              0.07954,
              0.11633,
              0.18627,
              0.32755,
              0.62024
            ],
            [
              0.0385,
              0.06589,
              0.0861,
              0.1224,
              0.1909,
              0.3299,
              0.6211
            ],
            [
              0.0467,
              0.0749,
              0.0951,
              0.1312,
              0.1993,
              0.3361,
              0.6241
            ],
            [
              0.057,
              0.0871,
              0.1076,
              0.1429,
              0.2091,
              0.3448,
              0.6289
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03004,
              0.07642,
              0.11952,
              0.20808,
              0.38898,
              0.75499,
              1.49064
            ],
            [
              0.03004,
              0.07632,
              0.11959,
              0.20804,
              0.38886,
              0.75483,
              1.49057
            ],
            [
              0.03003,
              0.07666,
              0.11965,
              0.20789,
              0.38888,
              0.75554,
              1.48977
            ],
            [
              0.03004,
              0.07639,
              0.11979,
              0.20803,
              0.38888,
              0.75496,
              1.49063
            ],
            [
              0.03005,
              0.07646,
              0.11956,
              0.20796,
              0.38885,
              0.75524,
              1.48987
            ],
            [
              0.03005,
              0.07652,
              0.11961,
              0.20764,
              0.3891,
              0.75526,
              1.48939
            ],
            [
              0.03007,
              0.07644,
              0.11967,
              0.20769,
              0.38884,
              0.7552,
              1.49062
            ],
            [
              0.03102,
              0.07694,
              0.1199,
              0.20786,
              0.38899,
              0.75528,
              1.49052
            ],
            [
              0.03368,
              0.07946,
              0.12144,
              0.20852,
              0.38881,
              0.75478,
              1.48882
            ],
            [
              0.03734,
              0.08306,
              0.12484,
              0.21085,
              0.39008,
              0.75574,
              1.4888
            ],
            [
              0.04257,
              0.08824,
              0.12896,
              0.21392,
              0.39195,
              0.7556,
              1.4899
            ],
            [
              0.0492,
              0.0958,
              0.1351,
              0.2178,
              0.3939,
              0.7581,
              1.4907
            ],
            [
              0.0572,
              0.107,
              0.1454,
              0.2242,
              0.3973,
              0.7593,
              1.4905
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.20533,
              0.24675,
              0.2741,
              0.3169,
              0.38589,
              0.50501,
              0.72745
            ],
            [
              0.20748,
              0.24893,
              0.27631,
              0.3191,
              0.38815,
              0.50741,
              0.72952
            ],
            [
              0.2101,
              0.25155,
              0.27895,
              0.32174,
              0.39078,
              0.50998,
              0.73215
            ],
            [
              0.21421,
              0.25565,
              0.28303,
              0.32587,
              0.39493,
              0.51418,
              0.73626
            ],
            [
              0.22067,
              0.2621,
              0.28945,
              0.33233,
              0.40137,
              0.52045,
              0.74287
            ],
            [
              0.23085,
              0.27221,
              0.29958,
              0.3424,
              0.41145,
              0.53068,
              0.75275
            ],
            [
              0.24704,
              0.28834,
              0.31568,
              0.3585,
              0.42757,
              0.54685,
              0.76895
            ],
            [
              0.27224,
              0.31347,
              0.34077,
              0.38357,
              0.45268,
              0.57199,
              0.79421
            ],
            [
              0.31134,
              0.35238,
              0.37962,
              0.42243,
              0.4916,
              0.61089,
              0.83315
            ],
            [
              0.36923,
              0.41045,
              0.43771,
              0.48058,
              0.5499,
              0.66939,
              0.89199
            ],
            [
              0.44104,
              0.48532,
              0.51402,
              0.55852,
              0.62922,
              0.74932,
              0.97212
            ],
            [
              0.52667,
              0.57537,
              0.60587,
              0.65257,
              0.72597,
              0.84917,
              1.07327
            ],
            [
              0.6282,
              0.6825,
              0.716,
              0.7658,
              0.8424,
              0.9681,
              1.1951
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.11716,
              0.16581,
              0.20193,
              0.26685,
              0.39082,
              0.63605,
              1.12547
            ],
            [
              0.11971,
              0.16839,
              0.20444,
              0.2694,
              0.39321,
              0.6384,
              1.12764
            ],
            [
              0.1228,
              0.17149,
              0.20758,
              0.27256,
              0.3964,
              0.64174,
              1.13092
            ],
            [
              0.12746,
              0.17613,
              0.21224,
              0.2772,
              0.40098,
              0.64629,
              1.13538
            ],
            [
              0.13447,
              0.18312,
              0.2192,
              0.28414,
              0.40818,
              0.65334,
              1.14281
            ],
            [
              0.14513,
              0.19376,
              0.22975,
              0.29464,
              0.4188,
              0.66417,
              1.15302
            ],
            [
              0.16121,
              0.20964,
              0.24558,
              0.31047,
              0.43464,
              0.68009,
              1.16963
            ],
            [
              0.18439,
              0.23279,
              0.2687,
              0.33356,
              0.45766,
              0.70338,
              1.19216
            ],
            [
              0.21283,
              0.26316,
              0.29945,
              0.36447,
              0.48864,
              0.73429,
              1.22355
            ],
            [
              0.24637,
              0.29933,
              0.33655,
              0.40235,
              0.52682,
              0.77259,
              1.26249
            ],
            [
              0.28513,
              0.3421,
              0.38047,
              0.44712,
              0.57232,
              0.81822,
              1.30762
            ],
            [
              0.32867,
              0.39147,
              0.43177,
              0.49967,
              0.62527,
              0.87147,
              1.36027
            ],
            [
              0.3762,
              0.4467,
              0.4899,
              0.56,
              0.6863,
              0.9326,
              1.422
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03239,
              0.06132,
              0.08309,
              0.1213,
              0.1924,
              0.33327,
              0.62317
            ],
            [
              0.03239,
              0.06132,
              0.083,
              0.12131,
              0.19222,
              0.3329,
              0.62394
            ],
            [
              0.03241,
              0.06131,
              0.08298,
              0.12129,
              0.19218,
              0.33305,
              0.62325
            ],
            [
              0.03241,
              0.0614,
              0.08298,
              0.12124,
              0.19215,
              0.33281,
              0.6239
            ],
            [
              0.03241,
              0.06137,
              0.08297,
              0.12122,
              0.19231,
              0.33318,
              0.6233
            ],
            [
              0.03238,
              0.06142,
              0.08297,
              0.12129,
              0.19222,
              0.33277,
              0.62387
            ],
            [
              0.03238,
              0.06142,
              0.08296,
              0.12131,
              0.19235,
              0.33278,
              0.62385
            ],
            [
              0.03239,
              0.06145,
              0.08316,
              0.12146,
              0.19239,
              0.33277,
              0.62391
            ],
            [
              0.03232,
              0.0614,
              0.08314,
              0.12139,
              0.19238,
              0.3333,
              0.62386
            ],
            [
              0.0344,
              0.06266,
              0.08407,
              0.12208,
              0.19267,
              0.33338,
              0.62351
            ],
            [
              0.04048,
              0.069,
              0.0901,
              0.1274,
              0.1966,
              0.3352,
              0.6238
            ],
            [
              0.0488,
              0.0778,
              0.0987,
              0.1357,
              0.2051,
              0.3416,
              0.6271
            ],
            [
              0.0592,
              0.09,
              0.111,
              0.1471,
              0.2148,
              0.3505,
              0.6331
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03013,
              0.07662,
              0.11985,
              0.20832,
              0.39043,
              0.75728,
              1.49486
            ],
            [
              0.0301,
              0.07659,
              0.11997,
              0.20863,
              0.39012,
              0.75823,
              1.49571
            ],
            [
              0.03007,
              0.07654,
              0.11996,
              0.20866,
              0.39016,
              0.75756,
              1.49549
            ],
            [
              0.03008,
              0.07665,
              0.11983,
              0.20838,
              0.39004,
              0.75806,
              1.49554
            ],
            [
              0.03009,
              0.07668,
              0.11986,
              0.20828,
              0.39039,
              0.75764,
              1.49456
            ],
            [
              0.0301,
              0.07661,
              0.11983,
              0.20847,
              0.39068,
              0.75764,
              1.4946
            ],
            [
              0.03012,
              0.07661,
              0.11999,
              0.20832,
              0.39036,
              0.75773,
              1.4944
            ],
            [
              0.03101,
              0.07729,
              0.12055,
              0.20844,
              0.39021,
              0.75767,
              1.4955
            ],
            [
              0.03371,
              0.07975,
              0.1217,
              0.20917,
              0.39016,
              0.75917,
              1.49534
            ],
            [
              0.03737,
              0.08319,
              0.12504,
              0.21144,
              0.39178,
              0.75821,
              1.495
            ],
            [
              0.04259,
              0.08836,
              0.12929,
              0.21457,
              0.39305,
              0.7594,
              1.4959
            ],
            [
              0.0492,
              0.096,
              0.1356,
              0.2184,
              0.3952,
              0.7608,
              1.4955
            ],
            [
              0.0574,
              0.1073,
              0.1458,
              0.2251,
              0.3986,
              0.762,
              1.4949
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.19819,
              0.23878,
              0.26561,
              0.30763,
              0.37571,
              0.49401,
              0.71538
            ],
            [
              0.20037,
              0.24101,
              0.26784,
              0.30988,
              0.37796,
              0.49625,
              0.71748
            ],
            [
              0.20301,
              0.24367,
              0.27051,
              0.31257,
              0.38065,
              0.49894,
              0.72037
            ],
            [
              0.20716,
              0.2478,
              0.27466,
              0.3167,
              0.38481,
              0.50299,
              0.72486
            ],
            [
              0.21373,
              0.25433,
              0.2812,
              0.32326,
              0.39137,
              0.50968,
              0.73108
            ],
            [
              0.22405,
              0.26461,
              0.29144,
              0.33347,
              0.40156,
              0.51985,
              0.7417
            ],
            [
              0.24049,
              0.28098,
              0.30778,
              0.34982,
              0.41795,
              0.53629,
              0.75818
            ],
            [
              0.26602,
              0.30643,
              0.33318,
              0.37523,
              0.44341,
              0.56174,
              0.78362
            ],
            [
              0.30555,
              0.34574,
              0.37245,
              0.4145,
              0.48274,
              0.60118,
              0.82315
            ],
            [
              0.36327,
              0.40395,
              0.43071,
              0.4729,
              0.54129,
              0.65979,
              0.88159
            ],
            [
              0.4342,
              0.47812,
              0.50632,
              0.55032,
              0.62022,
              0.73952,
              0.96142
            ],
            [
              0.51867,
              0.56707,
              0.59737,
              0.64357,
              0.71617,
              0.83847,
              1.06207
            ],
            [
              0.6189,
              0.673,
              0.7061,
              0.7555,
              0.8314,
              0.9563,
              1.1826
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.1171,
              0.1657,
              0.20171,
              0.26647,
              0.39009,
              0.63444,
              1.12277
            ],
            [
              0.1196,
              0.1682,
              0.20425,
              0.26905,
              0.3925,
              0.6371,
              1.12524
            ],
            [
              0.12272,
              0.17133,
              0.20736,
              0.27217,
              0.39562,
              0.64035,
              1.12802
            ],
            [
              0.12737,
              0.17594,
              0.21196,
              0.27677,
              0.4003,
              0.64502,
              1.13248
            ],
            [
              0.13439,
              0.18295,
              0.21895,
              0.28372,
              0.40743,
              0.65184,
              1.14011
            ],
            [
              0.14502,
              0.19355,
              0.22948,
              0.29421,
              0.41799,
              0.66238,
              1.15072
            ],
            [
              0.16106,
              0.20941,
              0.24528,
              0.31003,
              0.43371,
              0.67815,
              1.16673
            ],
            [
              0.18423,
              0.23257,
              0.26838,
              0.33309,
              0.45688,
              0.70189,
              1.18966
            ],
            [
              0.21266,
              0.26291,
              0.29911,
              0.36395,
              0.48771,
              0.73278,
              1.22035
            ],
            [
              0.24621,
              0.29908,
              0.33624,
              0.40185,
              0.52595,
              0.77109,
              1.25959
            ],
            [
              0.28499,
              0.34188,
              0.38018,
              0.44672,
              0.57152,
              0.81672,
              1.30492
            ],
            [
              0.32857,
              0.39127,
              0.43147,
              0.49927,
              0.62447,
              0.86997,
              1.35747
            ],
            [
              0.3762,
              0.4466,
              0.4898,
              0.5597,
              0.6856,
              0.9309,
              1.4191
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03141,
              0.05998,
              0.08132,
              0.11939,
              0.19011,
              0.33073,
              0.62231
            ],
            [
              0.0314,
              0.05996,
              0.08135,
              0.11944,
              0.19011,
              0.3309,
              0.62258
            ],
            [
              0.0314,
              0.0599,
              0.08129,
              0.11941,
              0.1901,
              0.33095,
              0.62235
            ],
            [
              0.0314,
              0.06,
              0.08155,
              0.11935,
              0.19022,
              0.33131,
              0.62194
            ],
            [
              0.03138,
              0.06002,
              0.08155,
              0.11935,
              0.19006,
              0.33076,
              0.62219
            ],
            [
              0.0314,
              0.05997,
              0.08147,
              0.11941,
              0.19014,
              0.33126,
              0.62163
            ],
            [
              0.03136,
              0.05996,
              0.08153,
              0.1194,
              0.19,
              0.33098,
              0.62233
            ],
            [
              0.03139,
              0.05999,
              0.08145,
              0.11936,
              0.19026,
              0.33124,
              0.6218
            ],
            [
              0.03136,
              0.06016,
              0.0815,
              0.11948,
              0.19026,
              0.33079,
              0.62196
            ],
            [
              0.03387,
              0.06164,
              0.08288,
              0.12028,
              0.19073,
              0.33142,
              0.62238
            ],
            [
              0.03996,
              0.06813,
              0.0892,
              0.1261,
              0.195,
              0.3333,
              0.6232
            ],
            [
              0.0484,
              0.0771,
              0.0978,
              0.1344,
              0.2033,
              0.3401,
              0.6264
            ],
            [
              0.0587,
              0.0894,
              0.1101,
              0.1459,
              0.2132,
              0.3486,
              0.6322
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03011,
              0.07649,
              0.11974,
              0.20786,
              0.38915,
              0.75605,
              1.49044
            ],
            [
              0.03005,
              0.07644,
              0.11967,
              0.20804,
              0.38906,
              0.75612,
              1.49125
            ],
            [
              0.03005,
              0.07649,
              0.11965,
              0.20812,
              0.38921,
              0.75546,
              1.49196
            ],
            [
              0.03005,
              0.07644,
              0.11969,
              0.20819,
              0.38925,
              0.75518,
              1.49194
            ],
            [
              0.03005,
              0.07655,
              0.11969,
              0.20779,
              0.3892,
              0.75593,
              1.49061
            ],
            [
              0.03008,
              0.07643,
              0.12,
              0.20777,
              0.38903,
              0.7562,
              1.49127
            ],
            [
              0.03009,
              0.07657,
              0.11974,
              0.20818,
              0.38884,
              0.7564,
              1.49042
            ],
            [
              0.03097,
              0.07696,
              0.12036,
              0.20799,
              0.3893,
              0.75604,
              1.49043
            ],
            [
              0.03368,
              0.07939,
              0.12144,
              0.20863,
              0.38906,
              0.75715,
              1.49143
            ],
            [
              0.03734,
              0.08309,
              0.12487,
              0.211,
              0.3901,
              0.75637,
              1.4917
            ],
            [
              0.04257,
              0.08824,
              0.12909,
              0.21403,
              0.39213,
              0.7562,
              1.4921
            ],
            [
              0.0492,
              0.0959,
              0.1353,
              0.2178,
              0.3943,
              0.7589,
              1.4918
            ],
            [
              0.0573,
              0.1071,
              0.1454,
              0.2243,
              0.3975,
              0.76,
              1.4919
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.25587,
              0.30291,
              0.33382,
              0.38173,
              0.45726,
              0.5833,
              0.81
            ],
            [
              0.25771,
              0.30481,
              0.33574,
              0.38366,
              0.45921,
              0.58527,
              0.81212
            ],
            [
              0.2599,
              0.30702,
              0.33797,
              0.3859,
              0.46146,
              0.58751,
              0.81422
            ],
            [
              0.26338,
              0.3105,
              0.34143,
              0.38937,
              0.46494,
              0.59103,
              0.81807
            ],
            [
              0.26901,
              0.31607,
              0.34703,
              0.39499,
              0.47055,
              0.59665,
              0.82366
            ],
            [
              0.27809,
              0.32507,
              0.35599,
              0.4039,
              0.47949,
              0.60552,
              0.83269
            ],
            [
              0.29263,
              0.33961,
              0.37052,
              0.41843,
              0.49398,
              0.62002,
              0.84741
            ],
            [
              0.31587,
              0.36278,
              0.39364,
              0.44153,
              0.51712,
              0.64322,
              0.87036
            ],
            [
              0.35233,
              0.39916,
              0.42996,
              0.47782,
              0.55343,
              0.67961,
              0.90695
            ],
            [
              0.40884,
              0.45527,
              0.48595,
              0.53377,
              0.60942,
              0.73559,
              0.96289
            ],
            [
              0.48592,
              0.53412,
              0.56552,
              0.61392,
              0.69002,
              0.81662,
              1.04402
            ],
            [
              0.57847,
              0.63037,
              0.66317,
              0.71357,
              0.79227,
              0.92147,
              1.15007
            ],
            [
              0.6886,
              0.7459,
              0.7814,
              0.8344,
              0.9157,
              1.0476,
              1.2798
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.11721,
              0.1659,
              0.20199,
              0.26689,
              0.39087,
              0.63599,
              1.12557
            ],
            [
              0.11982,
              0.16851,
              0.20464,
              0.26955,
              0.39343,
              0.63879,
              1.12764
            ],
            [
              0.12296,
              0.17168,
              0.20777,
              0.27272,
              0.39651,
              0.64175,
              1.13122
            ],
            [
              0.12771,
              0.17638,
              0.21246,
              0.27743,
              0.40125,
              0.6466,
              1.13558
            ],
            [
              0.1348,
              0.18347,
              0.21953,
              0.2844,
              0.40854,
              0.65377,
              1.14331
            ],
            [
              0.14557,
              0.19421,
              0.2302,
              0.29509,
              0.41925,
              0.66461,
              1.15392
            ],
            [
              0.16174,
              0.21018,
              0.24614,
              0.311,
              0.4352,
              0.68061,
              1.16993
            ],
            [
              0.18502,
              0.23346,
              0.26937,
              0.33422,
              0.45821,
              0.70401,
              1.19266
            ],
            [
              0.21359,
              0.2639,
              0.30017,
              0.36515,
              0.48934,
              0.73498,
              1.22425
            ],
            [
              0.24714,
              0.30005,
              0.33735,
              0.40314,
              0.52757,
              0.77339,
              1.26329
            ],
            [
              0.28571,
              0.34263,
              0.381,
              0.44762,
              0.57282,
              0.81872,
              1.30822
            ],
            [
              0.32877,
              0.39157,
              0.43187,
              0.49967,
              0.62517,
              0.87147,
              1.36037
            ],
            [
              0.3752,
              0.4458,
              0.489,
              0.5592,
              0.6852,
              0.9319,
              1.4212
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04011,
              0.07209,
              0.09565,
              0.13596,
              0.20858,
              0.34882,
              0.63473
            ],
            [
              0.04008,
              0.07206,
              0.09565,
              0.13614,
              0.20861,
              0.3488,
              0.63462
            ],
            [
              0.0401,
              0.07206,
              0.09565,
              0.13609,
              0.20865,
              0.3488,
              0.63474
            ],
            [
              0.04011,
              0.07216,
              0.09549,
              0.13596,
              0.20896,
              0.34873,
              0.63463
            ],
            [
              0.04012,
              0.07208,
              0.09551,
              0.13596,
              0.20889,
              0.34872,
              0.63465
            ],
            [
              0.04012,
              0.07209,
              0.09568,
              0.13603,
              0.20893,
              0.34886,
              0.6346
            ],
            [
              0.04011,
              0.0721,
              0.09552,
              0.13601,
              0.20869,
              0.34867,
              0.63383
            ],
            [
              0.04011,
              0.07208,
              0.09555,
              0.13602,
              0.20844,
              0.34882,
              0.63464
            ],
            [
              0.04003,
              0.07209,
              0.09558,
              0.13606,
              0.20847,
              0.34879,
              0.63387
            ],
            [
              0.03984,
              0.07218,
              0.09589,
              0.13637,
              0.20904,
              0.34872,
              0.6345
            ],
            [
              0.0453,
              0.0765,
              0.0995,
              0.1391,
              0.2106,
              0.3497,
              0.6349
            ],
            [
              0.0538,
              0.085,
              0.1076,
              0.1472,
              0.2187,
              0.3561,
              0.6375
            ],
            [
              0.0647,
              0.0971,
              0.1192,
              0.1579,
              0.2282,
              0.3652,
              0.6447
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03007,
              0.07662,
              0.11984,
              0.20829,
              0.3902,
              0.75753,
              1.4938
            ],
            [
              0.03007,
              0.07651,
              0.11987,
              0.2087,
              0.39031,
              0.75788,
              1.49567
            ],
            [
              0.03008,
              0.07658,
              0.11985,
              0.20848,
              0.38998,
              0.7584,
              1.49538
            ],
            [
              0.03008,
              0.07657,
              0.1199,
              0.20861,
              0.39013,
              0.7582,
              1.49565
            ],
            [
              0.03013,
              0.07653,
              0.12015,
              0.20829,
              0.3904,
              0.75717,
              1.49518
            ],
            [
              0.03009,
              0.0766,
              0.11979,
              0.20852,
              0.39075,
              0.75749,
              1.49478
            ],
            [
              0.03016,
              0.07673,
              0.11994,
              0.20828,
              0.39026,
              0.75726,
              1.49389
            ],
            [
              0.03102,
              0.07711,
              0.12025,
              0.2089,
              0.39008,
              0.75734,
              1.4953
            ],
            [
              0.03355,
              0.07942,
              0.1217,
              0.209,
              0.38999,
              0.75992,
              1.49538
            ],
            [
              0.0373,
              0.08309,
              0.12504,
              0.21139,
              0.39098,
              0.75811,
              1.4948
            ],
            [
              0.04253,
              0.08829,
              0.12923,
              0.21453,
              0.39302,
              0.7581,
              1.4959
            ],
            [
              0.0493,
              0.0962,
              0.1355,
              0.2185,
              0.3953,
              0.7606,
              1.4955
            ],
            [
              0.0574,
              0.1074,
              0.1455,
              0.2257,
              0.3982,
              0.7619,
              1.4947
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.23611,
              0.27886,
              0.30675,
              0.35025,
              0.42011,
              0.54017,
              0.7634
            ],
            [
              0.23838,
              0.28116,
              0.30905,
              0.35256,
              0.42244,
              0.54255,
              0.76545
            ],
            [
              0.24108,
              0.28387,
              0.31178,
              0.3553,
              0.42518,
              0.54529,
              0.7682
            ],
            [
              0.24526,
              0.28801,
              0.31594,
              0.35946,
              0.42935,
              0.54946,
              0.77263
            ],
            [
              0.25174,
              0.29449,
              0.3224,
              0.36593,
              0.43583,
              0.55594,
              0.77892
            ],
            [
              0.26202,
              0.30476,
              0.33266,
              0.37621,
              0.44612,
              0.56625,
              0.78926
            ],
            [
              0.27805,
              0.32075,
              0.34864,
              0.39217,
              0.46209,
              0.58213,
              0.80532
            ],
            [
              0.3031,
              0.34573,
              0.37359,
              0.4171,
              0.48703,
              0.60708,
              0.83023
            ],
            [
              0.3419,
              0.38444,
              0.41226,
              0.45577,
              0.52571,
              0.64592,
              0.86915
            ],
            [
              0.40121,
              0.44352,
              0.47128,
              0.51477,
              0.58479,
              0.70509,
              0.92839
            ],
            [
              0.48032,
              0.52522,
              0.55392,
              0.59832,
              0.66902,
              0.78952,
              1.01302
            ],
            [
              0.57477,
              0.62407,
              0.65467,
              0.70137,
              0.77477,
              0.89787,
              1.12217
            ],
            [
              0.6868,
              0.742,
              0.7754,
              0.8252,
              0.9016,
              1.0274,
              1.2545
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.12359,
              0.17686,
              0.21455,
              0.28072,
              0.40492,
              0.64966,
              1.13767
            ],
            [
              0.12615,
              0.1794,
              0.21716,
              0.28331,
              0.40753,
              0.65196,
              1.13954
            ],
            [
              0.12926,
              0.18256,
              0.22029,
              0.28648,
              0.41069,
              0.65519,
              1.14242
            ],
            [
              0.1339,
              0.1872,
              0.22487,
              0.29111,
              0.41536,
              0.66002,
              1.14758
            ],
            [
              0.14094,
              0.19421,
              0.2319,
              0.29808,
              0.42226,
              0.6671,
              1.15501
            ],
            [
              0.15159,
              0.20481,
              0.24243,
              0.30861,
              0.43289,
              0.67768,
              1.16462
            ],
            [
              0.16766,
              0.22069,
              0.25826,
              0.32437,
              0.44869,
              0.69324,
              1.18083
            ],
            [
              0.19107,
              0.24402,
              0.28158,
              0.34767,
              0.47211,
              0.71708,
              1.20436
            ],
            [
              0.22062,
              0.27564,
              0.31347,
              0.37964,
              0.50414,
              0.74903,
              1.23715
            ],
            [
              0.25558,
              0.31411,
              0.3532,
              0.42024,
              0.54495,
              0.78989,
              1.27819
            ],
            [
              0.29618,
              0.35976,
              0.40034,
              0.46882,
              0.59432,
              0.83962,
              1.32752
            ],
            [
              0.34227,
              0.41267,
              0.45567,
              0.52597,
              0.65237,
              0.89787,
              1.38577
            ],
            [
              0.3935,
              0.4724,
              0.519,
              0.592,
              0.7197,
              0.9658,
              1.4537
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03464,
              0.06379,
              0.08564,
              0.12371,
              0.1947,
              0.3354,
              0.62483
            ],
            [
              0.0347,
              0.06381,
              0.08569,
              0.12387,
              0.19475,
              0.33503,
              0.62573
            ],
            [
              0.03465,
              0.06388,
              0.08543,
              0.1237,
              0.19474,
              0.33507,
              0.62566
            ],
            [
              0.03467,
              0.06385,
              0.0855,
              0.12369,
              0.19452,
              0.33514,
              0.62559
            ],
            [
              0.03464,
              0.06385,
              0.08543,
              0.12374,
              0.19465,
              0.33515,
              0.62557
            ],
            [
              0.03468,
              0.06379,
              0.08565,
              0.12387,
              0.1947,
              0.33493,
              0.62572
            ],
            [
              0.03463,
              0.06386,
              0.0855,
              0.1237,
              0.19466,
              0.3354,
              0.62534
            ],
            [
              0.03463,
              0.06384,
              0.08545,
              0.12372,
              0.19428,
              0.33538,
              0.62556
            ],
            [
              0.03462,
              0.06387,
              0.0857,
              0.12372,
              0.1945,
              0.33502,
              0.62525
            ],
            [
              0.03495,
              0.06423,
              0.0858,
              0.12421,
              0.19488,
              0.33519,
              0.6256
            ],
            [
              0.0407,
              0.0694,
              0.0903,
              0.1274,
              0.1969,
              0.3364,
              0.6251
            ],
            [
              0.0491,
              0.078,
              0.0987,
              0.1357,
              0.2047,
              0.3419,
              0.6275
            ],
            [
              0.0596,
              0.0902,
              0.1107,
              0.1467,
              0.2145,
              0.3504,
              0.6339
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03494,
              0.08103,
              0.1235,
              0.21085,
              0.3905,
              0.75647,
              1.4911
            ],
            [
              0.03504,
              0.08092,
              0.12359,
              0.21084,
              0.39059,
              0.75626,
              1.49155
            ],
            [
              0.03503,
              0.08094,
              0.12342,
              0.21059,
              0.3906,
              0.7561,
              1.49138
            ],
            [
              0.03496,
              0.08094,
              0.1235,
              0.21068,
              0.39063,
              0.75837,
              1.49123
            ],
            [
              0.03494,
              0.08088,
              0.12345,
              0.21082,
              0.38994,
              0.75726,
              1.48963
            ],
            [
              0.03495,
              0.08105,
              0.12355,
              0.21071,
              0.39057,
              0.75551,
              1.49213
            ],
            [
              0.03502,
              0.08108,
              0.12364,
              0.21092,
              0.39027,
              0.75595,
              1.49117
            ],
            [
              0.03586,
              0.08161,
              0.124,
              0.21085,
              0.39009,
              0.75606,
              1.49151
            ],
            [
              0.0394,
              0.08404,
              0.12574,
              0.21171,
              0.3906,
              0.75614,
              1.49041
            ],
            [
              0.04429,
              0.08859,
              0.12946,
              0.21398,
              0.39116,
              0.75663,
              1.4903
            ],
            [
              0.05082,
              0.0951,
              0.13497,
              0.21791,
              0.3935,
              0.7572,
              1.4917
            ],
            [
              0.0589,
              0.1045,
              0.143,
              0.2238,
              0.3967,
              0.759,
              1.4915
            ],
            [
              0.0691,
              0.1177,
              0.1546,
              0.2316,
              0.4007,
              0.7607,
              1.4923
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.30642,
              0.35626,
              0.38852,
              0.43816,
              0.51595,
              0.64445,
              0.87375
            ],
            [
              0.30841,
              0.35828,
              0.39054,
              0.44018,
              0.51796,
              0.64644,
              0.87599
            ],
            [
              0.31071,
              0.36061,
              0.3929,
              0.44253,
              0.52033,
              0.64884,
              0.8781
            ],
            [
              0.31424,
              0.36413,
              0.39637,
              0.44607,
              0.52387,
              0.65238,
              0.88182
            ],
            [
              0.31986,
              0.3697,
              0.40201,
              0.45169,
              0.5295,
              0.65803,
              0.88747
            ],
            [
              0.32881,
              0.37864,
              0.41093,
              0.46057,
              0.53838,
              0.66693,
              0.89618
            ],
            [
              0.34311,
              0.3929,
              0.42516,
              0.47481,
              0.55261,
              0.68111,
              0.91063
            ],
            [
              0.36583,
              0.41558,
              0.4478,
              0.49745,
              0.57525,
              0.70375,
              0.93306
            ],
            [
              0.40157,
              0.45129,
              0.48347,
              0.53311,
              0.61091,
              0.73942,
              0.96895
            ],
            [
              0.45717,
              0.50678,
              0.53891,
              0.58853,
              0.66639,
              0.79489,
              1.02439
            ],
            [
              0.54032,
              0.59022,
              0.62232,
              0.67192,
              0.74982,
              0.87852,
              1.10822
            ],
            [
              0.64367,
              0.69717,
              0.73077,
              0.78217,
              0.86227,
              0.99237,
              1.22257
            ],
            [
              0.767,
              0.826,
              0.862,
              0.9158,
              0.9983,
              1.1317,
              1.3652
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.12362,
              0.17693,
              0.21471,
              0.28102,
              0.40554,
              0.65051,
              1.13977
            ],
            [
              0.12625,
              0.17958,
              0.21741,
              0.28367,
              0.40818,
              0.65324,
              1.14204
            ],
            [
              0.12942,
              0.18275,
              0.22053,
              0.28687,
              0.4115,
              0.65658,
              1.14572
            ],
            [
              0.13417,
              0.18749,
              0.22526,
              0.29161,
              0.41622,
              0.66165,
              1.15028
            ],
            [
              0.14125,
              0.19457,
              0.23232,
              0.29864,
              0.42327,
              0.6686,
              1.15741
            ],
            [
              0.15205,
              0.20532,
              0.24304,
              0.30935,
              0.43405,
              0.67948,
              1.16842
            ],
            [
              0.16825,
              0.22132,
              0.25896,
              0.32526,
              0.45001,
              0.69506,
              1.18463
            ],
            [
              0.19179,
              0.24478,
              0.28237,
              0.34866,
              0.47346,
              0.71868,
              1.20866
            ],
            [
              0.22146,
              0.27649,
              0.3144,
              0.38074,
              0.50548,
              0.75097,
              1.24095
            ],
            [
              0.25649,
              0.31497,
              0.35409,
              0.42129,
              0.54636,
              0.79189,
              1.28199
            ],
            [
              0.29677,
              0.36029,
              0.40094,
              0.46952,
              0.59542,
              0.84112,
              1.33072
            ],
            [
              0.34237,
              0.41277,
              0.45577,
              0.52607,
              0.65297,
              0.89917,
              1.38847
            ],
            [
              0.3923,
              0.4712,
              0.5179,
              0.5912,
              0.7193,
              0.9659,
              1.4558
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.0444,
              0.0772,
              0.10083,
              0.14156,
              0.21479,
              0.35457,
              0.63943
            ],
            [
              0.04432,
              0.0772,
              0.10088,
              0.14137,
              0.21456,
              0.35437,
              0.63889
            ],
            [
              0.0443,
              0.07716,
              0.10072,
              0.14175,
              0.21467,
              0.35456,
              0.63939
            ],
            [
              0.0443,
              0.07716,
              0.1008,
              0.14168,
              0.21472,
              0.35453,
              0.6392
            ],
            [
              0.0443,
              0.07722,
              0.10074,
              0.1415,
              0.21468,
              0.35454,
              0.63917
            ],
            [
              0.04432,
              0.0772,
              0.1007,
              0.14151,
              0.21441,
              0.35464,
              0.63944
            ],
            [
              0.04432,
              0.07721,
              0.10086,
              0.14141,
              0.21492,
              0.35434,
              0.63888
            ],
            [
              0.04432,
              0.0772,
              0.10076,
              0.1414,
              0.21443,
              0.35458,
              0.6394
            ],
            [
              0.04431,
              0.07717,
              0.10089,
              0.14143,
              0.21436,
              0.35439,
              0.63903
            ],
            [
              0.0442,
              0.07722,
              0.10096,
              0.14158,
              0.21465,
              0.35422,
              0.6394
            ],
            [
              0.0468,
              0.0788,
              0.1022,
              0.1424,
              0.2151,
              0.3548,
              0.6392
            ],
            [
              0.0549,
              0.0868,
              0.1097,
              0.1496,
              0.2217,
              0.3589,
              0.641
            ],
            [
              0.0659,
              0.0987,
              0.121,
              0.1596,
              0.231,
              0.3681,
              0.6479
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.0349,
              0.08122,
              0.12366,
              0.21128,
              0.39122,
              0.75817,
              1.49484
            ],
            [
              0.03491,
              0.08103,
              0.12368,
              0.21122,
              0.39116,
              0.75828,
              1.49565
            ],
            [
              0.03492,
              0.08104,
              0.1237,
              0.21083,
              0.39159,
              0.75826,
              1.49481
            ],
            [
              0.03493,
              0.08103,
              0.12372,
              0.21128,
              0.39131,
              0.75772,
              1.49681
            ],
            [
              0.03491,
              0.08104,
              0.12406,
              0.21119,
              0.39127,
              0.758,
              1.49555
            ],
            [
              0.03487,
              0.08109,
              0.12369,
              0.21131,
              0.39151,
              0.75899,
              1.49485
            ],
            [
              0.03494,
              0.08135,
              0.1242,
              0.21125,
              0.39153,
              0.7582,
              1.4951
            ],
            [
              0.03578,
              0.08162,
              0.12415,
              0.21121,
              0.39166,
              0.75836,
              1.49474
            ],
            [
              0.03925,
              0.08397,
              0.1257,
              0.2121,
              0.39145,
              0.75853,
              1.49486
            ],
            [
              0.04407,
              0.08856,
              0.12956,
              0.21444,
              0.39182,
              0.75863,
              1.4945
            ],
            [
              0.05059,
              0.09507,
              0.13492,
              0.21837,
              0.39453,
              0.759,
              1.4957
            ],
            [
              0.0587,
              0.1045,
              0.1429,
              0.2236,
              0.3978,
              0.761,
              1.4953
            ],
            [
              0.0688,
              0.1178,
              0.155,
              0.2321,
              0.4022,
              0.7628,
              1.4987
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.33435,
              0.38505,
              0.41759,
              0.46757,
              0.54585,
              0.67498,
              0.90503
            ],
            [
              0.33642,
              0.38716,
              0.41972,
              0.46971,
              0.54798,
              0.67715,
              0.90723
            ],
            [
              0.33882,
              0.3896,
              0.42212,
              0.47215,
              0.55043,
              0.67959,
              0.90975
            ],
            [
              0.34247,
              0.39326,
              0.42578,
              0.47585,
              0.55412,
              0.68331,
              0.91334
            ],
            [
              0.34825,
              0.39899,
              0.43157,
              0.4816,
              0.55991,
              0.68907,
              0.91944
            ],
            [
              0.35733,
              0.40804,
              0.44059,
              0.49065,
              0.56897,
              0.69811,
              0.92842
            ],
            [
              0.37165,
              0.42234,
              0.4549,
              0.50493,
              0.58327,
              0.71246,
              0.94253
            ],
            [
              0.3943,
              0.44497,
              0.47749,
              0.52753,
              0.60585,
              0.73502,
              0.96536
            ],
            [
              0.42996,
              0.48062,
              0.51312,
              0.56299,
              0.6413,
              0.77045,
              1.00085
            ],
            [
              0.48529,
              0.53589,
              0.56836,
              0.61836,
              0.69669,
              0.82589,
              1.05629
            ],
            [
              0.57022,
              0.62042,
              0.65282,
              0.70272,
              0.78102,
              0.91022,
              1.14042
            ],
            [
              0.68067,
              0.73417,
              0.76777,
              0.81907,
              0.89887,
              1.02887,
              1.25947
            ],
            [
              0.8126,
              0.8714,
              0.9072,
              0.9607,
              1.043,
              1.1764,
              1.4097
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.12379,
              0.18351,
              0.22373,
              0.29203,
              0.41758,
              0.66274,
              1.15237
            ],
            [
              0.12643,
              0.18617,
              0.22638,
              0.29466,
              0.42025,
              0.66538,
              1.15504
            ],
            [
              0.1296,
              0.18934,
              0.22952,
              0.29788,
              0.42341,
              0.66854,
              1.15792
            ],
            [
              0.13436,
              0.19409,
              0.2343,
              0.3026,
              0.42823,
              0.67336,
              1.16298
            ],
            [
              0.14145,
              0.20117,
              0.24136,
              0.30966,
              0.4353,
              0.68047,
              1.17011
            ],
            [
              0.15225,
              0.21192,
              0.25204,
              0.32033,
              0.44602,
              0.69122,
              1.18072
            ],
            [
              0.16845,
              0.22791,
              0.26793,
              0.33622,
              0.46197,
              0.70727,
              1.19703
            ],
            [
              0.19192,
              0.25128,
              0.29128,
              0.35956,
              0.4854,
              0.73093,
              1.22066
            ],
            [
              0.2216,
              0.28315,
              0.3235,
              0.3919,
              0.51768,
              0.76365,
              1.25335
            ],
            [
              0.25663,
              0.32254,
              0.36436,
              0.43372,
              0.55974,
              0.80559,
              1.29559
            ],
            [
              0.29694,
              0.36908,
              0.41299,
              0.48422,
              0.61132,
              0.85752,
              1.34712
            ],
            [
              0.34267,
              0.42317,
              0.47017,
              0.54377,
              0.67217,
              0.91897,
              1.40857
            ],
            [
              0.3928,
              0.4835,
              0.5353,
              0.6127,
              0.7431,
              0.9904,
              1.48
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04637,
              0.07937,
              0.10298,
              0.14366,
              0.21677,
              0.35642,
              0.64153
            ],
            [
              0.04639,
              0.07947,
              0.103,
              0.14373,
              0.21668,
              0.35679,
              0.64141
            ],
            [
              0.0464,
              0.07938,
              0.10318,
              0.14401,
              0.21666,
              0.35679,
              0.64142
            ],
            [
              0.04637,
              0.07947,
              0.10309,
              0.14404,
              0.21688,
              0.35674,
              0.64144
            ],
            [
              0.04639,
              0.0794,
              0.1031,
              0.14386,
              0.21711,
              0.35652,
              0.64077
            ],
            [
              0.04638,
              0.07941,
              0.10308,
              0.14366,
              0.21672,
              0.35636,
              0.6409
            ],
            [
              0.04637,
              0.07944,
              0.103,
              0.14398,
              0.21683,
              0.3567,
              0.64143
            ],
            [
              0.04637,
              0.07938,
              0.10314,
              0.14373,
              0.21707,
              0.3564,
              0.64081
            ],
            [
              0.04641,
              0.07936,
              0.10298,
              0.14362,
              0.21704,
              0.35651,
              0.64055
            ],
            [
              0.04636,
              0.07933,
              0.103,
              0.14399,
              0.21685,
              0.3565,
              0.6408
            ],
            [
              0.0471,
              0.0797,
              0.1033,
              0.1442,
              0.2169,
              0.3566,
              0.6415
            ],
            [
              0.055,
              0.0869,
              0.1099,
              0.1499,
              0.2213,
              0.3589,
              0.6422
            ],
            [
              0.0661,
              0.0985,
              0.1207,
              0.1594,
              0.2307,
              0.3683,
              0.6478
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03656,
              0.08772,
              0.12939,
              0.21497,
              0.39325,
              0.75878,
              1.49464
            ],
            [
              0.03655,
              0.0876,
              0.12939,
              0.21501,
              0.39321,
              0.75877,
              1.49463
            ],
            [
              0.03658,
              0.08764,
              0.12958,
              0.21495,
              0.39314,
              0.75887,
              1.49496
            ],
            [
              0.03654,
              0.08762,
              0.12983,
              0.21502,
              0.39321,
              0.75883,
              1.49458
            ],
            [
              0.03654,
              0.08772,
              0.12942,
              0.215,
              0.39321,
              0.75877,
              1.49463
            ],
            [
              0.03657,
              0.08767,
              0.12987,
              0.21508,
              0.39322,
              0.75881,
              1.4953
            ],
            [
              0.03657,
              0.08798,
              0.12981,
              0.21513,
              0.39325,
              0.75878,
              1.49465
            ],
            [
              0.0373,
              0.08841,
              0.13021,
              0.2154,
              0.39341,
              0.75887,
              1.49476
            ],
            [
              0.04081,
              0.09111,
              0.13162,
              0.21656,
              0.39345,
              0.75843,
              1.49393
            ],
            [
              0.0458,
              0.09665,
              0.13609,
              0.21885,
              0.3942,
              0.75892,
              1.4936
            ],
            [
              0.05257,
              0.10486,
              0.14316,
              0.22384,
              0.3969,
              0.7589,
              1.4955
            ],
            [
              0.0611,
              0.1167,
              0.1535,
              0.2312,
              0.4013,
              0.7618,
              1.4945
            ],
            [
              0.0721,
              0.1329,
              0.1683,
              0.2414,
              0.4068,
              0.7638,
              1.4963
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B2)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.19583,
              0.23513,
              0.26103,
              0.30177,
              0.36835,
              0.48525,
              0.70673
            ],
            [
              0.19796,
              0.23728,
              0.26318,
              0.30393,
              0.3705,
              0.48748,
              0.70884
            ],
            [
              0.20071,
              0.24004,
              0.26597,
              0.30672,
              0.37328,
              0.49026,
              0.71172
            ],
            [
              0.20511,
              0.24446,
              0.27036,
              0.31111,
              0.37768,
              0.49468,
              0.7161
            ],
            [
              0.212,
              0.25133,
              0.27724,
              0.31801,
              0.38459,
              0.50157,
              0.72286
            ],
            [
              0.22264,
              0.26195,
              0.28786,
              0.32862,
              0.3952,
              0.51222,
              0.73362
            ],
            [
              0.23928,
              0.27854,
              0.30421,
              0.34497,
              0.41159,
              0.52847,
              0.74972
            ],
            [
              0.2647,
              0.3039,
              0.32976,
              0.3705,
              0.43714,
              0.55409,
              0.77552
            ],
            [
              0.30349,
              0.34255,
              0.36837,
              0.40914,
              0.47584,
              0.59294,
              0.81445
            ],
            [
              0.35921,
              0.39892,
              0.42488,
              0.46583,
              0.53271,
              0.64989,
              0.87139
            ],
            [
              0.42668,
              0.46952,
              0.49692,
              0.53962,
              0.60802,
              0.72602,
              0.94772
            ],
            [
              0.50517,
              0.55257,
              0.58187,
              0.62677,
              0.69767,
              0.81817,
              1.04127
            ],
            [
              0.5957,
              0.6488,
              0.6809,
              0.7288,
              0.8028,
              0.9258,
              1.1509
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.12414,
              0.17271,
              0.20874,
              0.27344,
              0.39688,
              0.64136,
              1.12827
            ],
            [
              0.1271,
              0.17569,
              0.21169,
              0.27638,
              0.39997,
              0.64437,
              1.13214
            ],
            [
              0.13038,
              0.179,
              0.21497,
              0.2797,
              0.40323,
              0.64766,
              1.13442
            ],
            [
              0.13492,
              0.18351,
              0.21954,
              0.28425,
              0.40773,
              0.65216,
              1.13918
            ],
            [
              0.14133,
              0.18989,
              0.22588,
              0.29065,
              0.41408,
              0.65864,
              1.14571
            ],
            [
              0.15067,
              0.19918,
              0.23515,
              0.29986,
              0.42348,
              0.66799,
              1.15552
            ],
            [
              0.16452,
              0.21291,
              0.24883,
              0.31358,
              0.43721,
              0.68177,
              1.16923
            ],
            [
              0.18455,
              0.23303,
              0.26889,
              0.33359,
              0.45717,
              0.70196,
              1.18886
            ],
            [
              0.21041,
              0.26065,
              0.29691,
              0.36174,
              0.48541,
              0.7302,
              1.21695
            ],
            [
              0.24246,
              0.29535,
              0.33263,
              0.39815,
              0.52218,
              0.76669,
              1.25429
            ],
            [
              0.28154,
              0.33792,
              0.37647,
              0.44316,
              0.56762,
              0.81252,
              1.30082
            ],
            [
              0.32807,
              0.38917,
              0.42957,
              0.49787,
              0.62327,
              0.86807,
              1.35497
            ],
            [
              0.3819,
              0.4495,
              0.4926,
              0.5633,
              0.6898,
              0.9354,
              1.4223
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.02998,
              0.05766,
              0.07856,
              0.11579,
              0.18626,
              0.32809,
              0.62061
            ],
            [
              0.02996,
              0.05756,
              0.07836,
              0.11572,
              0.18622,
              0.32785,
              0.62116
            ],
            [
              0.02996,
              0.05754,
              0.07856,
              0.11563,
              0.18626,
              0.32796,
              0.62102
            ],
            [
              0.02995,
              0.05763,
              0.07838,
              0.1157,
              0.18612,
              0.32777,
              0.62129
            ],
            [
              0.02998,
              0.05756,
              0.07844,
              0.11591,
              0.18628,
              0.32795,
              0.62123
            ],
            [
              0.02998,
              0.05757,
              0.07858,
              0.11564,
              0.18625,
              0.32778,
              0.6213
            ],
            [
              0.02998,
              0.05758,
              0.07858,
              0.1158,
              0.18631,
              0.32805,
              0.6209
            ],
            [
              0.02997,
              0.0576,
              0.07861,
              0.11569,
              0.18629,
              0.3281,
              0.6204
            ],
            [
              0.02999,
              0.05779,
              0.0786,
              0.11574,
              0.18631,
              0.32764,
              0.62069
            ],
            [
              0.03242,
              0.05934,
              0.07985,
              0.11672,
              0.18669,
              0.32833,
              0.62127
            ],
            [
              0.03818,
              0.06544,
              0.0858,
              0.1223,
              0.191,
              0.3303,
              0.622
            ],
            [
              0.0461,
              0.074,
              0.0941,
              0.1301,
              0.1985,
              0.3359,
              0.6244
            ],
            [
              0.056,
              0.0856,
              0.1056,
              0.1409,
              0.2078,
              0.3439,
              0.6288
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03005,
              0.07638,
              0.11952,
              0.20809,
              0.38938,
              0.75506,
              1.49063
            ],
            [
              0.03003,
              0.07636,
              0.11958,
              0.20759,
              0.38899,
              0.75528,
              1.49069
            ],
            [
              0.03004,
              0.07642,
              0.11986,
              0.20803,
              0.39003,
              0.75535,
              1.4905
            ],
            [
              0.03004,
              0.07632,
              0.11953,
              0.20809,
              0.38941,
              0.75463,
              1.49061
            ],
            [
              0.03003,
              0.07637,
              0.11963,
              0.20807,
              0.38902,
              0.75504,
              1.49062
            ],
            [
              0.03005,
              0.07651,
              0.11959,
              0.20792,
              0.38995,
              0.75542,
              1.48915
            ],
            [
              0.03008,
              0.07658,
              0.11959,
              0.20781,
              0.3887,
              0.75526,
              1.48962
            ],
            [
              0.03083,
              0.07677,
              0.1199,
              0.20813,
              0.38891,
              0.75482,
              1.49052
            ],
            [
              0.03303,
              0.07878,
              0.12107,
              0.20877,
              0.38907,
              0.75471,
              1.49033
            ],
            [
              0.03582,
              0.08219,
              0.12427,
              0.21018,
              0.39058,
              0.75602,
              1.4904
            ],
            [
              0.03968,
              0.08698,
              0.12835,
              0.21323,
              0.39181,
              0.7552,
              1.4907
            ],
            [
              0.0449,
              0.0935,
              0.1341,
              0.2176,
              0.3932,
              0.7572,
              1.49
            ],
            [
              0.0519,
              0.1025,
              0.1429,
              0.2239,
              0.3969,
              0.7584,
              1.4889
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B1)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.22224,
              0.2646,
              0.29235,
              0.3357,
              0.4054,
              0.52535,
              0.74851
            ],
            [
              0.22418,
              0.26655,
              0.29431,
              0.33765,
              0.40735,
              0.52732,
              0.7502
            ],
            [
              0.22677,
              0.26913,
              0.29689,
              0.34024,
              0.40995,
              0.52988,
              0.75302
            ],
            [
              0.23089,
              0.27326,
              0.30103,
              0.3444,
              0.41409,
              0.53409,
              0.75701
            ],
            [
              0.23738,
              0.27974,
              0.30753,
              0.35089,
              0.42057,
              0.54054,
              0.76372
            ],
            [
              0.24748,
              0.28981,
              0.31759,
              0.36096,
              0.43068,
              0.55066,
              0.77359
            ],
            [
              0.26336,
              0.30566,
              0.33342,
              0.37677,
              0.44648,
              0.56647,
              0.78966
            ],
            [
              0.28771,
              0.32998,
              0.35771,
              0.40104,
              0.47078,
              0.59081,
              0.81397
            ],
            [
              0.32513,
              0.3673,
              0.39498,
              0.43832,
              0.5081,
              0.62817,
              0.85135
            ],
            [
              0.38104,
              0.42313,
              0.45081,
              0.49419,
              0.56408,
              0.68429,
              0.90759
            ],
            [
              0.45142,
              0.49622,
              0.52502,
              0.56972,
              0.64072,
              0.76142,
              0.98482
            ],
            [
              0.53377,
              0.58277,
              0.61327,
              0.65997,
              0.73347,
              0.85677,
              1.08167
            ],
            [
              0.629,
              0.6837,
              0.7169,
              0.7664,
              0.8427,
              0.9685,
              1.1959
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.12425,
              0.17298,
              0.20905,
              0.27397,
              0.39795,
              0.64324,
              1.13187
            ],
            [
              0.12726,
              0.17595,
              0.21205,
              0.27703,
              0.40083,
              0.64584,
              1.13534
            ],
            [
              0.13059,
              0.17929,
              0.21541,
              0.28037,
              0.40413,
              0.64945,
              1.13842
            ],
            [
              0.13518,
              0.18388,
              0.21999,
              0.28493,
              0.40892,
              0.65422,
              1.14318
            ],
            [
              0.14165,
              0.19031,
              0.22643,
              0.29137,
              0.41544,
              0.66069,
              1.15001
            ],
            [
              0.15103,
              0.19971,
              0.23574,
              0.30068,
              0.4248,
              0.67012,
              1.15942
            ],
            [
              0.16492,
              0.21342,
              0.24946,
              0.31442,
              0.43838,
              0.68369,
              1.17333
            ],
            [
              0.18501,
              0.23356,
              0.26951,
              0.33444,
              0.45853,
              0.70416,
              1.19296
            ],
            [
              0.21086,
              0.26119,
              0.29756,
              0.36261,
              0.48677,
              0.7323,
              1.22135
            ],
            [
              0.24289,
              0.29587,
              0.33327,
              0.39895,
              0.52347,
              0.76919,
              1.25829
            ],
            [
              0.28191,
              0.33837,
              0.37702,
              0.44392,
              0.56892,
              0.81472,
              1.30472
            ],
            [
              0.32827,
              0.38947,
              0.42997,
              0.49847,
              0.62437,
              0.87007,
              1.35897
            ],
            [
              0.3817,
              0.4495,
              0.4927,
              0.5637,
              0.6907,
              0.9373,
              1.4259
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.0337,
              0.06283,
              0.08439,
              0.12271,
              0.19369,
              0.33471,
              0.62434
            ],
            [
              0.03369,
              0.0628,
              0.08457,
              0.12269,
              0.19389,
              0.33443,
              0.62522
            ],
            [
              0.0337,
              0.06281,
              0.08441,
              0.12273,
              0.19377,
              0.33475,
              0.62464
            ],
            [
              0.03369,
              0.06278,
              0.08465,
              0.12269,
              0.19371,
              0.33428,
              0.62533
            ],
            [
              0.03369,
              0.06283,
              0.08461,
              0.12292,
              0.19368,
              0.33465,
              0.6246
            ],
            [
              0.0337,
              0.06279,
              0.08463,
              0.12293,
              0.19387,
              0.33438,
              0.62527
            ],
            [
              0.0337,
              0.06286,
              0.0844,
              0.12273,
              0.19367,
              0.33466,
              0.62448
            ],
            [
              0.03369,
              0.06284,
              0.0845,
              0.12274,
              0.19384,
              0.33432,
              0.62507
            ],
            [
              0.03363,
              0.06295,
              0.08476,
              0.12302,
              0.1939,
              0.33455,
              0.62444
            ],
            [
              0.03476,
              0.06357,
              0.08515,
              0.12345,
              0.19416,
              0.33439,
              0.62467
            ],
            [
              0.04042,
              0.0691,
              0.0903,
              0.1278,
              0.1973,
              0.3364,
              0.6256
            ],
            [
              0.0483,
              0.0773,
              0.0982,
              0.1355,
              0.2045,
              0.342,
              0.628
            ],
            [
              0.0584,
              0.0889,
              0.1094,
              0.146,
              0.2137,
              0.3501,
              0.6335
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03008,
              0.07659,
              0.12018,
              0.20869,
              0.39042,
              0.75729,
              1.4955
            ],
            [
              0.03008,
              0.07656,
              0.11997,
              0.20848,
              0.38995,
              0.75835,
              1.49548
            ],
            [
              0.03008,
              0.0765,
              0.11992,
              0.20859,
              0.39009,
              0.75797,
              1.49562
            ],
            [
              0.03008,
              0.07651,
              0.11993,
              0.20871,
              0.39036,
              0.75741,
              1.49542
            ],
            [
              0.03008,
              0.07668,
              0.11975,
              0.20824,
              0.39044,
              0.75739,
              1.49471
            ],
            [
              0.03008,
              0.0766,
              0.11989,
              0.20825,
              0.3907,
              0.75769,
              1.49504
            ],
            [
              0.0301,
              0.07663,
              0.1199,
              0.20859,
              0.39015,
              0.75782,
              1.49398
            ],
            [
              0.03084,
              0.077,
              0.12024,
              0.20874,
              0.39019,
              0.75749,
              1.49559
            ],
            [
              0.03307,
              0.07897,
              0.12134,
              0.20892,
              0.39031,
              0.75762,
              1.49563
            ],
            [
              0.03588,
              0.0824,
              0.12444,
              0.21149,
              0.39194,
              0.75764,
              1.4954
            ],
            [
              0.0397,
              0.08713,
              0.12871,
              0.21393,
              0.39245,
              0.7578,
              1.4953
            ],
            [
              0.0449,
              0.0935,
              0.1348,
              0.2183,
              0.3946,
              0.7599,
              1.4965
            ],
            [
              0.0519,
              0.1029,
              0.1432,
              0.2252,
              0.3986,
              0.761,
              1.4947
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B1)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.2144,
              0.25584,
              0.28303,
              0.32556,
              0.39426,
              0.51327,
              0.73576
            ],
            [
              0.21635,
              0.25781,
              0.285,
              0.32752,
              0.39624,
              0.51518,
              0.7377
            ],
            [
              0.21898,
              0.26045,
              0.28765,
              0.33018,
              0.39889,
              0.51791,
              0.74014
            ],
            [
              0.22315,
              0.26462,
              0.29183,
              0.33437,
              0.40308,
              0.52206,
              0.74462
            ],
            [
              0.22974,
              0.27122,
              0.2984,
              0.34095,
              0.40968,
              0.52866,
              0.75123
            ],
            [
              0.23996,
              0.28143,
              0.30861,
              0.35116,
              0.4199,
              0.53887,
              0.76143
            ],
            [
              0.25606,
              0.29748,
              0.32447,
              0.36701,
              0.43577,
              0.55474,
              0.7771
            ],
            [
              0.28072,
              0.32208,
              0.34923,
              0.39176,
              0.46052,
              0.57947,
              0.80194
            ],
            [
              0.31855,
              0.35981,
              0.38692,
              0.42945,
              0.49824,
              0.61728,
              0.83975
            ],
            [
              0.37455,
              0.4159,
              0.44301,
              0.48563,
              0.55456,
              0.67379,
              0.89619
            ],
            [
              0.44399,
              0.48822,
              0.51662,
              0.56072,
              0.63082,
              0.75062,
              0.97362
            ],
            [
              0.52517,
              0.57377,
              0.60387,
              0.65007,
              0.72267,
              0.84507,
              1.06937
            ],
            [
              0.6189,
              0.6732,
              0.7061,
              0.7551,
              0.8307,
              0.9556,
              1.1822
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.1242,
              0.17279,
              0.20884,
              0.27361,
              0.39716,
              0.6415,
              1.12977
            ],
            [
              0.12721,
              0.1758,
              0.21184,
              0.27663,
              0.40023,
              0.64436,
              1.13284
            ],
            [
              0.13052,
              0.17911,
              0.21516,
              0.27991,
              0.40364,
              0.64821,
              1.13572
            ],
            [
              0.13509,
              0.18371,
              0.21976,
              0.28454,
              0.40814,
              0.65284,
              1.14058
            ],
            [
              0.14155,
              0.19013,
              0.22615,
              0.29097,
              0.41457,
              0.65932,
              1.14681
            ],
            [
              0.15091,
              0.19946,
              0.23544,
              0.30022,
              0.424,
              0.66866,
              1.15652
            ],
            [
              0.16478,
              0.2132,
              0.24915,
              0.31386,
              0.43775,
              0.68224,
              1.17033
            ],
            [
              0.18483,
              0.23333,
              0.26923,
              0.33395,
              0.45775,
              0.70267,
              1.19026
            ],
            [
              0.21069,
              0.26093,
              0.29722,
              0.36205,
              0.48598,
              0.73063,
              1.21905
            ],
            [
              0.24273,
              0.29562,
              0.33293,
              0.39846,
              0.52263,
              0.76759,
              1.25549
            ],
            [
              0.28176,
              0.33814,
              0.37671,
              0.44343,
              0.56802,
              0.81312,
              1.30192
            ],
            [
              0.32807,
              0.38927,
              0.42967,
              0.49797,
              0.62347,
              0.86847,
              1.35597
            ],
            [
              0.3817,
              0.4493,
              0.4924,
              0.5632,
              0.6897,
              0.9356,
              1.4229
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03266,
              0.0614,
              0.08281,
              0.12076,
              0.19155,
              0.33239,
              0.62395
            ],
            [
              0.03267,
              0.06144,
              0.08277,
              0.12078,
              0.19157,
              0.33274,
              0.62331
            ],
            [
              0.03266,
              0.0614,
              0.0829,
              0.12076,
              0.1916,
              0.33223,
              0.62394
            ],
            [
              0.03266,
              0.06138,
              0.08273,
              0.12075,
              0.19149,
              0.33271,
              0.62301
            ],
            [
              0.03266,
              0.06133,
              0.0828,
              0.12076,
              0.19152,
              0.3327,
              0.62386
            ],
            [
              0.03266,
              0.06138,
              0.08282,
              0.12077,
              0.19149,
              0.33272,
              0.62311
            ],
            [
              0.03267,
              0.06144,
              0.0828,
              0.12078,
              0.19167,
              0.33264,
              0.62403
            ],
            [
              0.03266,
              0.06148,
              0.08302,
              0.12079,
              0.19164,
              0.33277,
              0.62372
            ],
            [
              0.03265,
              0.06143,
              0.08301,
              0.1208,
              0.19152,
              0.33278,
              0.6238
            ],
            [
              0.0342,
              0.06246,
              0.08365,
              0.1214,
              0.19198,
              0.33253,
              0.62383
            ],
            [
              0.03993,
              0.0682,
              0.0892,
              0.1262,
              0.1955,
              0.3346,
              0.6238
            ],
            [
              0.048,
              0.0766,
              0.0972,
              0.1341,
              0.203,
              0.3404,
              0.6275
            ],
            [
              0.058,
              0.0883,
              0.1086,
              0.1447,
              0.212,
              0.3482,
              0.6326
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03005,
              0.07651,
              0.11962,
              0.20793,
              0.38874,
              0.7564,
              1.49133
            ],
            [
              0.03005,
              0.0765,
              0.11963,
              0.20791,
              0.38893,
              0.75635,
              1.49102
            ],
            [
              0.03006,
              0.07654,
              0.11961,
              0.20806,
              0.38967,
              0.75576,
              1.49142
            ],
            [
              0.03005,
              0.07637,
              0.11963,
              0.20827,
              0.38929,
              0.7559,
              1.49232
            ],
            [
              0.03005,
              0.07643,
              0.11974,
              0.20824,
              0.38927,
              0.75588,
              1.49159
            ],
            [
              0.03005,
              0.07641,
              0.11993,
              0.20812,
              0.38947,
              0.7556,
              1.49052
            ],
            [
              0.03007,
              0.0765,
              0.11968,
              0.20794,
              0.38968,
              0.75633,
              1.49147
            ],
            [
              0.03085,
              0.07686,
              0.11999,
              0.20824,
              0.38929,
              0.75607,
              1.49082
            ],
            [
              0.03303,
              0.07888,
              0.1211,
              0.20882,
              0.38935,
              0.75646,
              1.49059
            ],
            [
              0.03579,
              0.08227,
              0.12431,
              0.21104,
              0.39097,
              0.75584,
              1.4918
            ],
            [
              0.03966,
              0.08699,
              0.12853,
              0.2134,
              0.39175,
              0.7559,
              1.4912
            ],
            [
              0.0449,
              0.0933,
              0.1345,
              0.2178,
              0.3936,
              0.758,
              1.4913
            ],
            [
              0.0518,
              0.1027,
              0.1428,
              0.2246,
              0.3976,
              0.759,
              1.4901
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B1)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.28299,
              0.33192,
              0.36371,
              0.41269,
              0.48963,
              0.61724,
              0.84604
            ],
            [
              0.28456,
              0.3335,
              0.36528,
              0.41425,
              0.49118,
              0.61877,
              0.84762
            ],
            [
              0.28673,
              0.33568,
              0.36747,
              0.41645,
              0.49339,
              0.62099,
              0.84979
            ],
            [
              0.29032,
              0.3393,
              0.3711,
              0.42009,
              0.497,
              0.6246,
              0.85328
            ],
            [
              0.29605,
              0.34501,
              0.37677,
              0.42581,
              0.50276,
              0.63037,
              0.85909
            ],
            [
              0.30515,
              0.35407,
              0.38588,
              0.43487,
              0.51182,
              0.63937,
              0.86821
            ],
            [
              0.31949,
              0.36839,
              0.40017,
              0.44919,
              0.52614,
              0.65376,
              0.88255
            ],
            [
              0.34187,
              0.39063,
              0.42251,
              0.47151,
              0.54845,
              0.67611,
              0.90486
            ],
            [
              0.37658,
              0.42545,
              0.45715,
              0.50612,
              0.58308,
              0.71069,
              0.93945
            ],
            [
              0.43017,
              0.47883,
              0.51047,
              0.55942,
              0.63639,
              0.76419,
              0.99309
            ],
            [
              0.50592,
              0.55562,
              0.58762,
              0.63682,
              0.71412,
              0.84202,
              1.07112
            ],
            [
              0.59657,
              0.64957,
              0.68277,
              0.73377,
              0.81337,
              0.94347,
              1.17347
            ],
            [
              0.7023,
              0.7605,
              0.7961,
              0.8494,
              0.9313,
              1.0639,
              1.2971
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.12432,
              0.17303,
              0.20914,
              0.27408,
              0.39782,
              0.6432,
              1.13227
            ],
            [
              0.12741,
              0.1761,
              0.21222,
              0.27717,
              0.40104,
              0.64607,
              1.13564
            ],
            [
              0.13081,
              0.17951,
              0.21562,
              0.28053,
              0.40456,
              0.64973,
              1.13922
            ],
            [
              0.13548,
              0.18416,
              0.22029,
              0.28521,
              0.40927,
              0.65441,
              1.14398
            ],
            [
              0.14207,
              0.19074,
              0.22683,
              0.29183,
              0.41572,
              0.66111,
              1.14981
            ],
            [
              0.15157,
              0.20024,
              0.23627,
              0.3012,
              0.42533,
              0.67064,
              1.15992
            ],
            [
              0.16555,
              0.21408,
              0.25009,
              0.31502,
              0.43916,
              0.68452,
              1.17403
            ],
            [
              0.1857,
              0.23426,
              0.27022,
              0.33519,
              0.45939,
              0.70488,
              1.19376
            ],
            [
              0.21166,
              0.26196,
              0.29829,
              0.36338,
              0.48751,
              0.73285,
              1.22255
            ],
            [
              0.24372,
              0.29666,
              0.33403,
              0.39973,
              0.52423,
              0.76949,
              1.25949
            ],
            [
              0.28264,
              0.33905,
              0.37768,
              0.44452,
              0.56952,
              0.81532,
              1.30542
            ],
            [
              0.32857,
              0.38977,
              0.43027,
              0.49877,
              0.62467,
              0.87047,
              1.35917
            ],
            [
              0.3812,
              0.449,
              0.4922,
              0.5632,
              0.6902,
              0.9368,
              1.4255
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04254,
              0.07507,
              0.09859,
              0.13932,
              0.21225,
              0.35221,
              0.63672
            ],
            [
              0.04254,
              0.0752,
              0.09862,
              0.13924,
              0.21239,
              0.35197,
              0.63671
            ],
            [
              0.04253,
              0.07519,
              0.09862,
              0.13932,
              0.2123,
              0.35222,
              0.63703
            ],
            [
              0.04254,
              0.07507,
              0.09858,
              0.13944,
              0.21191,
              0.3523,
              0.63754
            ],
            [
              0.04261,
              0.07519,
              0.09865,
              0.13945,
              0.21225,
              0.35217,
              0.63736
            ],
            [
              0.04251,
              0.07507,
              0.09857,
              0.13916,
              0.21192,
              0.35228,
              0.63721
            ],
            [
              0.04254,
              0.0751,
              0.09863,
              0.13942,
              0.21224,
              0.35221,
              0.63716
            ],
            [
              0.04261,
              0.07507,
              0.09877,
              0.13921,
              0.21187,
              0.35221,
              0.63745
            ],
            [
              0.04252,
              0.07516,
              0.0988,
              0.13914,
              0.21197,
              0.35227,
              0.63762
            ],
            [
              0.04234,
              0.07512,
              0.09876,
              0.13957,
              0.21233,
              0.35231,
              0.6371
            ],
            [
              0.0462,
              0.0783,
              0.1013,
              0.1414,
              0.2137,
              0.3526,
              0.6373
            ],
            [
              0.0541,
              0.0856,
              0.1084,
              0.1486,
              0.2205,
              0.3582,
              0.6404
            ],
            [
              0.0646,
              0.0971,
              0.1193,
              0.1578,
              0.2287,
              0.3665,
              0.6474
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03008,
              0.07648,
              0.11993,
              0.20858,
              0.39007,
              0.75821,
              1.49569
            ],
            [
              0.03008,
              0.07651,
              0.11986,
              0.20841,
              0.38972,
              0.75849,
              1.49529
            ],
            [
              0.03008,
              0.07654,
              0.11984,
              0.20822,
              0.39028,
              0.7573,
              1.49593
            ],
            [
              0.03007,
              0.07667,
              0.11989,
              0.20822,
              0.3903,
              0.75744,
              1.49391
            ],
            [
              0.03008,
              0.07656,
              0.11997,
              0.20866,
              0.39023,
              0.75791,
              1.49555
            ],
            [
              0.03009,
              0.07653,
              0.11976,
              0.20855,
              0.39072,
              0.75722,
              1.50034
            ],
            [
              0.03012,
              0.0766,
              0.11985,
              0.20869,
              0.39064,
              0.7574,
              1.494
            ],
            [
              0.03082,
              0.07696,
              0.12026,
              0.20886,
              0.39036,
              0.75787,
              1.49478
            ],
            [
              0.033,
              0.07891,
              0.12142,
              0.20918,
              0.39035,
              0.75829,
              1.49418
            ],
            [
              0.03577,
              0.08234,
              0.12436,
              0.21075,
              0.39196,
              0.75856,
              1.4942
            ],
            [
              0.03963,
              0.08707,
              0.12861,
              0.21384,
              0.39278,
              0.7576,
              1.4947
            ],
            [
              0.0449,
              0.0935,
              0.1344,
              0.2182,
              0.3946,
              0.76,
              1.4951
            ],
            [
              0.0519,
              0.1028,
              0.1431,
              0.2252,
              0.3987,
              0.761,
              1.4942
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B1)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.24502,
              0.28815,
              0.3161,
              0.35955,
              0.42941,
              0.54952,
              0.77301
            ],
            [
              0.24703,
              0.29017,
              0.31812,
              0.36158,
              0.43144,
              0.55155,
              0.77503
            ],
            [
              0.24969,
              0.29284,
              0.3208,
              0.36425,
              0.43411,
              0.55421,
              0.77773
            ],
            [
              0.25389,
              0.29706,
              0.32498,
              0.36847,
              0.43833,
              0.55848,
              0.78183
            ],
            [
              0.26047,
              0.30362,
              0.33156,
              0.37507,
              0.44492,
              0.56501,
              0.78861
            ],
            [
              0.27066,
              0.3138,
              0.34176,
              0.38524,
              0.4551,
              0.57529,
              0.79879
            ],
            [
              0.28664,
              0.32976,
              0.35767,
              0.40117,
              0.47106,
              0.59104,
              0.81427
            ],
            [
              0.31108,
              0.35416,
              0.38208,
              0.42556,
              0.49544,
              0.61566,
              0.83916
            ],
            [
              0.34859,
              0.39161,
              0.41948,
              0.46295,
              0.53286,
              0.65304,
              0.87655
            ],
            [
              0.40553,
              0.44837,
              0.4762,
              0.51968,
              0.58965,
              0.70999,
              0.93349
            ],
            [
              0.48162,
              0.52662,
              0.55532,
              0.59962,
              0.67012,
              0.79072,
              1.01452
            ],
            [
              0.57097,
              0.62027,
              0.65077,
              0.69717,
              0.77017,
              0.89297,
              1.11767
            ],
            [
              0.6745,
              0.7297,
              0.7628,
              0.812,
              0.8879,
              1.0132,
              1.2402
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.13064,
              0.18392,
              0.22164,
              0.28782,
              0.41205,
              0.6566,
              1.14427
            ],
            [
              0.13364,
              0.18693,
              0.22468,
              0.29085,
              0.4151,
              0.65978,
              1.14774
            ],
            [
              0.13697,
              0.19026,
              0.22801,
              0.29421,
              0.41841,
              0.66274,
              1.15082
            ],
            [
              0.14156,
              0.19486,
              0.23258,
              0.29879,
              0.42305,
              0.66756,
              1.15568
            ],
            [
              0.14802,
              0.2013,
              0.23901,
              0.30521,
              0.42949,
              0.67405,
              1.16181
            ],
            [
              0.15741,
              0.21065,
              0.24831,
              0.31449,
              0.43865,
              0.68357,
              1.17092
            ],
            [
              0.17127,
              0.2244,
              0.26204,
              0.32819,
              0.45255,
              0.69735,
              1.18523
            ],
            [
              0.19142,
              0.24455,
              0.28211,
              0.34833,
              0.4726,
              0.71756,
              1.20496
            ],
            [
              0.21786,
              0.27282,
              0.31076,
              0.37702,
              0.50142,
              0.74641,
              1.23455
            ],
            [
              0.25068,
              0.30881,
              0.34792,
              0.41494,
              0.53972,
              0.78449,
              1.27309
            ],
            [
              0.29085,
              0.35309,
              0.39377,
              0.46232,
              0.58772,
              0.83292,
              1.32162
            ],
            [
              0.33897,
              0.40667,
              0.44947,
              0.51997,
              0.64677,
              0.89177,
              1.37977
            ],
            [
              0.3952,
              0.4701,
              0.516,
              0.5895,
              0.7177,
              0.9635,
              1.4512
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03513,
              0.06416,
              0.08556,
              0.12367,
              0.19456,
              0.3354,
              0.62548
            ],
            [
              0.03514,
              0.06416,
              0.08556,
              0.12364,
              0.19455,
              0.33542,
              0.62552
            ],
            [
              0.03513,
              0.0642,
              0.08556,
              0.12369,
              0.19457,
              0.33543,
              0.62534
            ],
            [
              0.03514,
              0.0642,
              0.08578,
              0.12363,
              0.19457,
              0.33529,
              0.62618
            ],
            [
              0.03514,
              0.06425,
              0.08576,
              0.12363,
              0.19433,
              0.33531,
              0.62562
            ],
            [
              0.03514,
              0.06425,
              0.08563,
              0.12364,
              0.19432,
              0.33499,
              0.62583
            ],
            [
              0.03514,
              0.06416,
              0.08583,
              0.12366,
              0.19456,
              0.33516,
              0.62611
            ],
            [
              0.03519,
              0.06419,
              0.08575,
              0.12387,
              0.19455,
              0.33486,
              0.62588
            ],
            [
              0.03512,
              0.06425,
              0.08564,
              0.12367,
              0.19453,
              0.33534,
              0.62549
            ],
            [
              0.03536,
              0.0645,
              0.08606,
              0.12394,
              0.19462,
              0.33513,
              0.6256
            ],
            [
              0.0404,
              0.0689,
              0.0898,
              0.1269,
              0.1966,
              0.3361,
              0.626
            ],
            [
              0.0484,
              0.0772,
              0.0978,
              0.1347,
              0.2035,
              0.341,
              0.628
            ],
            [
              0.0586,
              0.0889,
              0.1089,
              0.145,
              0.2124,
              0.3493,
              0.6337
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03501,
              0.08096,
              0.12344,
              0.21076,
              0.39062,
              0.75786,
              1.49123
            ],
            [
              0.03503,
              0.08096,
              0.12342,
              0.21083,
              0.39062,
              0.75564,
              1.49063
            ],
            [
              0.03503,
              0.08098,
              0.12343,
              0.21053,
              0.39054,
              0.75602,
              1.49073
            ],
            [
              0.03503,
              0.08102,
              0.12343,
              0.21064,
              0.39063,
              0.75858,
              1.48967
            ],
            [
              0.03499,
              0.08092,
              0.12343,
              0.21082,
              0.39062,
              0.75569,
              1.49127
            ],
            [
              0.03492,
              0.08104,
              0.12349,
              0.21081,
              0.39006,
              0.75532,
              1.49157
            ],
            [
              0.03505,
              0.08102,
              0.1238,
              0.21084,
              0.39019,
              0.75644,
              1.4902
            ],
            [
              0.03571,
              0.08137,
              0.12384,
              0.21078,
              0.3901,
              0.75849,
              1.49287
            ],
            [
              0.03841,
              0.08327,
              0.12514,
              0.21125,
              0.39043,
              0.75608,
              1.49007
            ],
            [
              0.04186,
              0.08751,
              0.12849,
              0.2132,
              0.39123,
              0.75706,
              1.4912
            ],
            [
              0.04657,
              0.09301,
              0.13345,
              0.21719,
              0.39298,
              0.7579,
              1.4929
            ],
            [
              0.0529,
              0.1003,
              0.1404,
              0.2222,
              0.3961,
              0.7588,
              1.4905
            ],
            [
              0.0613,
              0.111,
              0.1505,
              0.2302,
              0.4009,
              0.7599,
              1.491
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B1)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.32191,
              0.37287,
              0.40549,
              0.45552,
              0.53354,
              0.66233,
              0.8923
            ],
            [
              0.32353,
              0.3745,
              0.40712,
              0.45715,
              0.53517,
              0.66397,
              0.89385
            ],
            [
              0.32579,
              0.37678,
              0.40944,
              0.45946,
              0.53743,
              0.66624,
              0.89603
            ],
            [
              0.32947,
              0.38045,
              0.41308,
              0.46314,
              0.54114,
              0.66997,
              0.89965
            ],
            [
              0.33525,
              0.38624,
              0.41888,
              0.46888,
              0.54696,
              0.67578,
              0.90565
            ],
            [
              0.34435,
              0.39532,
              0.42796,
              0.47797,
              0.55604,
              0.68486,
              0.91457
            ],
            [
              0.35866,
              0.40962,
              0.44227,
              0.49219,
              0.57028,
              0.69909,
              0.92883
            ],
            [
              0.38071,
              0.43165,
              0.46425,
              0.51425,
              0.59233,
              0.72131,
              0.95126
            ],
            [
              0.41523,
              0.46615,
              0.49874,
              0.54872,
              0.62681,
              0.75565,
              0.98565
            ],
            [
              0.46835,
              0.5192,
              0.55173,
              0.60169,
              0.67979,
              0.80869,
              1.03849
            ],
            [
              0.54782,
              0.59872,
              0.63122,
              0.68112,
              0.75932,
              0.88832,
              1.11852
            ],
            [
              0.64667,
              0.70087,
              0.73467,
              0.78617,
              0.86617,
              0.99647,
              1.22707
            ],
            [
              0.7623,
              0.8219,
              0.8579,
              0.9116,
              0.9939,
              1.1271,
              1.3607
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.13067,
              0.18401,
              0.22181,
              0.28809,
              0.41269,
              0.6577,
              1.14657
            ],
            [
              0.13375,
              0.18709,
              0.22489,
              0.29119,
              0.41567,
              0.66123,
              1.15014
            ],
            [
              0.13715,
              0.19049,
              0.22838,
              0.29464,
              0.41917,
              0.66448,
              1.15372
            ],
            [
              0.14183,
              0.19517,
              0.23297,
              0.29931,
              0.42378,
              0.66902,
              1.15828
            ],
            [
              0.14842,
              0.20175,
              0.23954,
              0.30591,
              0.43056,
              0.67589,
              1.16451
            ],
            [
              0.15794,
              0.21122,
              0.24898,
              0.31531,
              0.43991,
              0.68508,
              1.17372
            ],
            [
              0.17191,
              0.22508,
              0.26275,
              0.32909,
              0.45381,
              0.69925,
              1.18873
            ],
            [
              0.19218,
              0.24531,
              0.283,
              0.34934,
              0.47394,
              0.71978,
              1.20916
            ],
            [
              0.21868,
              0.27364,
              0.31165,
              0.37808,
              0.50293,
              0.74848,
              1.23795
            ],
            [
              0.25151,
              0.30963,
              0.34881,
              0.41598,
              0.54114,
              0.78689,
              1.27589
            ],
            [
              0.29157,
              0.35377,
              0.39448,
              0.46322,
              0.58892,
              0.83492,
              1.32502
            ],
            [
              0.33927,
              0.40697,
              0.44987,
              0.52057,
              0.64747,
              0.89337,
              1.38277
            ],
            [
              0.3946,
              0.4695,
              0.5155,
              0.5892,
              0.7179,
              0.9645,
              1.4538
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04546,
              0.07841,
              0.10193,
              0.14219,
              0.21535,
              0.35498,
              0.63952
            ],
            [
              0.04546,
              0.07843,
              0.10188,
              0.14219,
              0.21551,
              0.35506,
              0.63989
            ],
            [
              0.04547,
              0.07841,
              0.10194,
              0.14247,
              0.21499,
              0.35519,
              0.64013
            ],
            [
              0.04547,
              0.07841,
              0.10194,
              0.14247,
              0.21492,
              0.35513,
              0.64011
            ],
            [
              0.04547,
              0.07841,
              0.10184,
              0.14255,
              0.2152,
              0.35506,
              0.63993
            ],
            [
              0.04547,
              0.0784,
              0.10195,
              0.1425,
              0.2149,
              0.35516,
              0.64012
            ],
            [
              0.04547,
              0.07841,
              0.10193,
              0.14226,
              0.21498,
              0.35517,
              0.64018
            ],
            [
              0.04547,
              0.07844,
              0.10182,
              0.14217,
              0.21533,
              0.35505,
              0.63951
            ],
            [
              0.04546,
              0.07847,
              0.10195,
              0.14214,
              0.21544,
              0.3549,
              0.63942
            ],
            [
              0.04538,
              0.07849,
              0.10184,
              0.14254,
              0.21523,
              0.3548,
              0.6401
            ],
            [
              0.0472,
              0.0795,
              0.1029,
              0.143,
              0.2155,
              0.3551,
              0.6394
            ],
            [
              0.0547,
              0.0868,
              0.1096,
              0.1493,
              0.221,
              0.3589,
              0.6417
            ],
            [
              0.0653,
              0.0979,
              0.12,
              0.1585,
              0.2296,
              0.3671,
              0.6478
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03492,
              0.08103,
              0.12364,
              0.21118,
              0.39131,
              0.75828,
              1.49564
            ],
            [
              0.03491,
              0.08103,
              0.12406,
              0.21118,
              0.39116,
              0.75812,
              1.49553
            ],
            [
              0.03493,
              0.08094,
              0.12375,
              0.21125,
              0.391,
              0.75839,
              1.4948
            ],
            [
              0.03494,
              0.08103,
              0.12369,
              0.21128,
              0.39119,
              0.75815,
              1.49456
            ],
            [
              0.03491,
              0.08104,
              0.12367,
              0.21109,
              0.39155,
              0.75994,
              1.49566
            ],
            [
              0.03493,
              0.08098,
              0.12368,
              0.21127,
              0.39117,
              0.75819,
              1.49567
            ],
            [
              0.03499,
              0.08111,
              0.12381,
              0.21084,
              0.39084,
              0.75808,
              1.4955
            ],
            [
              0.03562,
              0.08147,
              0.12398,
              0.21114,
              0.39126,
              0.7576,
              1.49499
            ],
            [
              0.0383,
              0.08331,
              0.12532,
              0.2117,
              0.39174,
              0.7574,
              1.4945
            ],
            [
              0.04173,
              0.08759,
              0.12869,
              0.21359,
              0.39225,
              0.75801,
              1.4953
            ],
            [
              0.04634,
              0.09302,
              0.13373,
              0.21766,
              0.39395,
              0.7601,
              1.4971
            ],
            [
              0.0528,
              0.1005,
              0.1405,
              0.2234,
              0.3971,
              0.7607,
              1.4946
            ],
            [
              0.0611,
              0.1111,
              0.1506,
              0.2312,
              0.402,
              0.7619,
              1.4956
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B1)",
        "timing_sense": "positive_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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.34785,
              0.39968,
              0.43257,
              0.48282,
              0.56131,
              0.69066,
              0.92125
            ],
            [
              0.34949,
              0.40138,
              0.43423,
              0.48452,
              0.56302,
              0.69238,
              0.92312
            ],
            [
              0.35179,
              0.40366,
              0.43655,
              0.48681,
              0.56532,
              0.69468,
              0.92535
            ],
            [
              0.35552,
              0.4074,
              0.44028,
              0.49056,
              0.56907,
              0.69844,
              0.92915
            ],
            [
              0.36138,
              0.41326,
              0.44615,
              0.49643,
              0.57496,
              0.70432,
              0.935
            ],
            [
              0.37055,
              0.4224,
              0.4553,
              0.50562,
              0.58414,
              0.71353,
              0.94422
            ],
            [
              0.38493,
              0.43678,
              0.46967,
              0.51997,
              0.5985,
              0.72789,
              0.95863
            ],
            [
              0.40717,
              0.459,
              0.49189,
              0.54216,
              0.62068,
              0.75006,
              0.98066
            ],
            [
              0.44153,
              0.49335,
              0.52622,
              0.57654,
              0.65505,
              0.78435,
              1.01485
            ],
            [
              0.49449,
              0.54629,
              0.57913,
              0.62941,
              0.70789,
              0.83729,
              1.06779
            ],
            [
              0.57532,
              0.62682,
              0.65952,
              0.70972,
              0.78822,
              0.91772,
              1.14852
            ],
            [
              0.68037,
              0.73477,
              0.76857,
              0.82007,
              0.89987,
              1.03007,
              1.26107
            ],
            [
              0.8037,
              0.8633,
              0.8991,
              0.9527,
              1.0348,
              1.168,
              1.4015
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.13085,
              0.1906,
              0.23082,
              0.29911,
              0.4247,
              0.6699,
              1.15917
            ],
            [
              0.13393,
              0.19369,
              0.23396,
              0.30221,
              0.4278,
              0.67293,
              1.16254
            ],
            [
              0.13734,
              0.1971,
              0.23731,
              0.30563,
              0.43123,
              0.67635,
              1.16602
            ],
            [
              0.14203,
              0.20178,
              0.24199,
              0.31032,
              0.43594,
              0.68107,
              1.17068
            ],
            [
              0.14862,
              0.20835,
              0.24855,
              0.31688,
              0.44252,
              0.6876,
              1.17691
            ],
            [
              0.15813,
              0.21782,
              0.25798,
              0.32631,
              0.45199,
              0.69716,
              1.18682
            ],
            [
              0.17209,
              0.23166,
              0.27176,
              0.34008,
              0.46582,
              0.71115,
              1.20073
            ],
            [
              0.1923,
              0.25184,
              0.29196,
              0.36025,
              0.48608,
              0.73145,
              1.22106
            ],
            [
              0.21881,
              0.28027,
              0.32062,
              0.38912,
              0.51499,
              0.76045,
              1.24975
            ],
            [
              0.25165,
              0.31679,
              0.35852,
              0.42784,
              0.55406,
              0.79999,
              1.28939
            ],
            [
              0.29171,
              0.36161,
              0.40531,
              0.47652,
              0.60342,
              0.84932,
              1.33942
            ],
            [
              0.33947,
              0.41567,
              0.46207,
              0.53577,
              0.66427,
              0.91067,
              1.40017
            ],
            [
              0.3949,
              0.4794,
              0.5296,
              0.6067,
              0.7376,
              0.985,
              1.4739
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.04747,
              0.08073,
              0.10407,
              0.14478,
              0.21718,
              0.35718,
              0.64196
            ],
            [
              0.04756,
              0.08061,
              0.10426,
              0.14446,
              0.21721,
              0.35685,
              0.64153
            ],
            [
              0.04748,
              0.08063,
              0.10403,
              0.14448,
              0.21719,
              0.35699,
              0.64172
            ],
            [
              0.04747,
              0.08072,
              0.10404,
              0.14448,
              0.2172,
              0.35685,
              0.64154
            ],
            [
              0.04748,
              0.08062,
              0.10401,
              0.14446,
              0.21719,
              0.35696,
              0.64168
            ],
            [
              0.04748,
              0.08068,
              0.10418,
              0.14459,
              0.21761,
              0.357,
              0.64154
            ],
            [
              0.04746,
              0.08062,
              0.10412,
              0.14462,
              0.21756,
              0.35691,
              0.6416
            ],
            [
              0.04746,
              0.08062,
              0.10401,
              0.14445,
              0.2172,
              0.35707,
              0.64194
            ],
            [
              0.04745,
              0.08071,
              0.10407,
              0.14455,
              0.21727,
              0.35713,
              0.64212
            ],
            [
              0.04742,
              0.08062,
              0.10415,
              0.14437,
              0.21721,
              0.3571,
              0.6421
            ],
            [
              0.0479,
              0.0809,
              0.1044,
              0.1448,
              0.2173,
              0.3572,
              0.6412
            ],
            [
              0.0552,
              0.0874,
              0.1102,
              0.1501,
              0.2217,
              0.3596,
              0.6429
            ],
            [
              0.0658,
              0.0982,
              0.1202,
              0.159,
              0.23,
              0.3678,
              0.6481
            ]
          ]
        },
        "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.00662,
            0.01324,
            0.02649,
            0.05298,
            0.10597,
            0.21193
          ],
          "values": [
            [
              0.03656,
              0.08784,
              0.12938,
              0.21498,
              0.39326,
              0.75886,
              1.50027
            ],
            [
              0.03654,
              0.0877,
              0.12936,
              0.21499,
              0.39323,
              0.75883,
              1.4946
            ],
            [
              0.03657,
              0.0876,
              0.12982,
              0.21499,
              0.3932,
              0.75878,
              1.49465
            ],
            [
              0.03654,
              0.08759,
              0.12981,
              0.21501,
              0.39322,
              0.75883,
              1.49461
            ],
            [
              0.03656,
              0.08761,
              0.12938,
              0.21497,
              0.39322,
              0.75878,
              1.49552
            ],
            [
              0.03657,
              0.08776,
              0.12982,
              0.21504,
              0.39322,
              0.75877,
              1.49463
            ],
            [
              0.03657,
              0.08796,
              0.12983,
              0.2151,
              0.39322,
              0.75889,
              1.49478
            ],
            [
              0.03718,
              0.08821,
              0.1299,
              0.21529,
              0.39326,
              0.75897,
              1.49425
            ],
            [
              0.03986,
              0.09036,
              0.13118,
              0.21571,
              0.3935,
              0.75878,
              1.49534
            ],
            [
              0.04336,
              0.09511,
              0.13517,
              0.21788,
              0.39406,
              0.759,
              1.4959
            ],
            [
              0.04798,
              0.10156,
              0.14116,
              0.22278,
              0.3963,
              0.7593,
              1.4962
            ],
            [
              0.0545,
              0.1105,
              0.1497,
              0.2293,
              0.4001,
              0.7622,
              1.4934
            ],
            [
              0.0634,
              0.123,
              0.1613,
              0.2382,
              0.406,
              0.763,
              1.4954
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}