{
  "area": 14.3856,
  "cell_footprint": "sky130_fd_sc_ls__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.00291,
    "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.00269,
          0.00243,
          0.0026,
          0.00254,
          0.00248,
          0.00244,
          0.00245,
          0.00244,
          0.00245,
          0.00267,
          0.00269,
          0.00299,
          0.00301
        ]
      },
      "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.00312,
          0.00319,
          0.00281,
          0.00286,
          0.00286,
          0.00283,
          0.00281,
          0.00283,
          0.00285,
          0.00314,
          0.00322,
          0.00362,
          0.00386
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00271,
    "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.00291,
          0.00277,
          0.00268,
          0.00261,
          0.00257,
          0.00255,
          0.00255,
          0.00254,
          0.00256,
          0.00281,
          0.00287,
          0.0032,
          0.00339
        ]
      },
      "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.00234,
          0.00226,
          0.00227,
          0.00219,
          0.00219,
          0.00217,
          0.00217,
          0.00219,
          0.00219,
          0.00238,
          0.0024,
          0.00263,
          0.00271
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "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.00418,
          0.00364,
          0.00381,
          0.00367,
          0.00363,
          0.00358,
          0.00356,
          0.00357,
          0.00358,
          0.00394,
          0.00402,
          0.00447,
          0.0047
        ]
      },
      "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.00225,
          0.00233,
          0.00193,
          0.00211,
          0.0021,
          0.00209,
          0.00209,
          0.0021,
          0.0021,
          0.00227,
          0.00227,
          0.00252,
          0.00247
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00283,
    "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.00231,
          0.00228,
          0.00218,
          0.00208,
          0.00213,
          0.0021,
          0.0021,
          0.00211,
          0.0021,
          0.00227,
          0.00227,
          0.00245,
          0.00249
        ]
      },
      "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.00352,
          0.00339,
          0.00335,
          0.00327,
          0.00321,
          0.00317,
          0.00317,
          0.00318,
          0.00321,
          0.00356,
          0.00367,
          0.00415,
          0.00446
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00264,
    "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.0034,
          0.00351,
          0.00333,
          0.00333,
          0.00328,
          0.00326,
          0.00327,
          0.00328,
          0.00332,
          0.00367,
          0.00378,
          0.00425,
          0.00454
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00212,
          0.00207,
          0.00202,
          0.00192,
          0.00197,
          0.00195,
          0.00194,
          0.00194,
          0.00193,
          0.00209,
          0.00209,
          0.00226,
          0.00228
        ]
      }
    },
    "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03325,
              0.02628,
              0.01921,
              0.00482,
              -0.02448,
              -0.0837,
              -0.20258
            ],
            [
              0.03325,
              0.02628,
              0.01922,
              0.00483,
              -0.02448,
              -0.0837,
              -0.20258
            ],
            [
              0.03326,
              0.02628,
              0.01922,
              0.00483,
              -0.02447,
              -0.08369,
              -0.20257
            ],
            [
              0.03322,
              0.02624,
              0.01918,
              0.0048,
              -0.02451,
              -0.08373,
              -0.20261
            ],
            [
              0.03316,
              0.02617,
              0.01912,
              0.00473,
              -0.02457,
              -0.0838,
              -0.20267
            ],
            [
              0.03307,
              0.02608,
              0.01901,
              0.00463,
              -0.02467,
              -0.08389,
              -0.20277
            ],
            [
              0.03297,
              0.02597,
              0.01891,
              0.00453,
              -0.02478,
              -0.08399,
              -0.20287
            ],
            [
              0.03285,
              0.02586,
              0.01879,
              0.0044,
              -0.0249,
              -0.08412,
              -0.20299
            ],
            [
              0.03274,
              0.02575,
              0.01867,
              0.00427,
              -0.02503,
              -0.08423,
              -0.20311
            ],
            [
              0.03263,
              0.02563,
              0.01855,
              0.00413,
              -0.02517,
              -0.08436,
              -0.20323
            ],
            [
              0.03255,
              0.02551,
              0.0184,
              0.00397,
              -0.02533,
              -0.0845,
              -0.20333
            ],
            [
              0.0325,
              0.02541,
              0.01826,
              0.0038,
              -0.02548,
              -0.08463,
              -0.20343
            ],
            [
              0.03253,
              0.02532,
              0.01811,
              0.00361,
              -0.02567,
              -0.08477,
              -0.20353
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.01559,
              0.02329,
              0.03084,
              0.04578,
              0.07547,
              0.13472,
              0.25264
            ],
            [
              0.01561,
              0.02331,
              0.03085,
              0.0458,
              0.0755,
              0.13473,
              0.25302
            ],
            [
              0.01557,
              0.02327,
              0.03081,
              0.04581,
              0.07548,
              0.13464,
              0.25282
            ],
            [
              0.01555,
              0.02324,
              0.03079,
              0.04578,
              0.0755,
              0.13467,
              0.25294
            ],
            [
              0.0155,
              0.0232,
              0.03078,
              0.04572,
              0.07541,
              0.13469,
              0.25296
            ],
            [
              0.01545,
              0.02316,
              0.03071,
              0.04566,
              0.07539,
              0.13464,
              0.25273
            ],
            [
              0.01538,
              0.02308,
              0.03063,
              0.04564,
              0.07535,
              0.13454,
              0.25246
            ],
            [
              0.01529,
              0.023,
              0.03054,
              0.0455,
              0.07519,
              0.13454,
              0.25252
            ],
            [
              0.01519,
              0.02289,
              0.03043,
              0.04541,
              0.07507,
              0.13446,
              0.25256
            ],
            [
              0.01509,
              0.02276,
              0.03028,
              0.04522,
              0.07494,
              0.13415,
              0.25207
            ],
            [
              0.01502,
              0.02262,
              0.03014,
              0.04503,
              0.07471,
              0.13402,
              0.25202
            ],
            [
              0.015,
              0.02257,
              0.03007,
              0.04494,
              0.07458,
              0.13367,
              0.25178
            ],
            [
              0.01504,
              0.02253,
              0.03005,
              0.045,
              0.07463,
              0.13369,
              0.25209
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03605,
              0.02897,
              0.02186,
              0.00746,
              -0.02183,
              -0.08099,
              -0.19982
            ],
            [
              0.03602,
              0.02896,
              0.02183,
              0.00743,
              -0.02186,
              -0.08102,
              -0.19985
            ],
            [
              0.03598,
              0.02891,
              0.0218,
              0.00738,
              -0.02191,
              -0.08106,
              -0.19989
            ],
            [
              0.03595,
              0.02886,
              0.02175,
              0.00734,
              -0.02194,
              -0.0811,
              -0.19993
            ],
            [
              0.03588,
              0.02882,
              0.0217,
              0.00729,
              -0.02199,
              -0.08116,
              -0.19998
            ],
            [
              0.03581,
              0.02875,
              0.02163,
              0.00722,
              -0.02206,
              -0.08122,
              -0.20005
            ],
            [
              0.03574,
              0.02866,
              0.02155,
              0.00714,
              -0.02214,
              -0.0813,
              -0.20013
            ],
            [
              0.03566,
              0.02859,
              0.02146,
              0.00705,
              -0.02223,
              -0.08138,
              -0.20022
            ],
            [
              0.03556,
              0.02849,
              0.02137,
              0.00695,
              -0.02233,
              -0.08149,
              -0.20031
            ],
            [
              0.03548,
              0.0284,
              0.02129,
              0.00685,
              -0.02244,
              -0.08159,
              -0.2004
            ],
            [
              0.03541,
              0.02832,
              0.02117,
              0.00672,
              -0.02256,
              -0.0817,
              -0.2005
            ],
            [
              0.03537,
              0.02822,
              0.02106,
              0.00658,
              -0.02271,
              -0.08183,
              -0.20059
            ],
            [
              0.03538,
              0.02814,
              0.02092,
              0.00642,
              -0.02287,
              -0.08195,
              -0.20069
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.01566,
              0.02335,
              0.0309,
              0.04585,
              0.0755,
              0.13468,
              0.25277
            ],
            [
              0.01563,
              0.02333,
              0.03087,
              0.04583,
              0.07544,
              0.13483,
              0.25252
            ],
            [
              0.0156,
              0.0233,
              0.03084,
              0.04582,
              0.07546,
              0.13472,
              0.25249
            ],
            [
              0.01557,
              0.02327,
              0.03082,
              0.04577,
              0.07543,
              0.13463,
              0.25262
            ],
            [
              0.01551,
              0.0232,
              0.03075,
              0.04572,
              0.07538,
              0.13455,
              0.25272
            ],
            [
              0.01547,
              0.02318,
              0.03074,
              0.0457,
              0.07536,
              0.13444,
              0.2525
            ],
            [
              0.01541,
              0.02312,
              0.03065,
              0.04562,
              0.07529,
              0.13446,
              0.25232
            ],
            [
              0.01535,
              0.02305,
              0.0306,
              0.04553,
              0.07522,
              0.13452,
              0.25228
            ],
            [
              0.01526,
              0.02296,
              0.03051,
              0.04543,
              0.07508,
              0.13428,
              0.25234
            ],
            [
              0.01518,
              0.02285,
              0.03037,
              0.04532,
              0.07497,
              0.1342,
              0.25224
            ],
            [
              0.0151,
              0.02271,
              0.03024,
              0.04516,
              0.07482,
              0.13415,
              0.25211
            ],
            [
              0.01505,
              0.02267,
              0.03018,
              0.04504,
              0.07468,
              0.13374,
              0.25186
            ],
            [
              0.01502,
              0.02257,
              0.03009,
              0.04508,
              0.0747,
              0.13372,
              0.25214
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03851,
              0.03131,
              0.02409,
              0.00948,
              -0.02008,
              -0.07952,
              -0.19855
            ],
            [
              0.03846,
              0.03126,
              0.02405,
              0.00943,
              -0.02013,
              -0.07957,
              -0.1986
            ],
            [
              0.03841,
              0.03123,
              0.024,
              0.00939,
              -0.02018,
              -0.0796,
              -0.19865
            ],
            [
              0.03838,
              0.03117,
              0.02396,
              0.00934,
              -0.02022,
              -0.07965,
              -0.19869
            ],
            [
              0.03833,
              0.03112,
              0.0239,
              0.00929,
              -0.02027,
              -0.0797,
              -0.19874
            ],
            [
              0.03825,
              0.03107,
              0.02384,
              0.00922,
              -0.02033,
              -0.07976,
              -0.19879
            ],
            [
              0.0382,
              0.031,
              0.02378,
              0.00917,
              -0.02039,
              -0.07981,
              -0.19884
            ],
            [
              0.03813,
              0.03094,
              0.02371,
              0.0091,
              -0.02045,
              -0.07986,
              -0.19889
            ],
            [
              0.03805,
              0.03086,
              0.02364,
              0.00902,
              -0.02052,
              -0.07993,
              -0.19896
            ],
            [
              0.038,
              0.0308,
              0.02357,
              0.00896,
              -0.02058,
              -0.07999,
              -0.199
            ],
            [
              0.03794,
              0.03074,
              0.0235,
              0.00887,
              -0.02064,
              -0.08003,
              -0.19903
            ],
            [
              0.03789,
              0.03066,
              0.0234,
              0.00879,
              -0.02072,
              -0.08007,
              -0.19904
            ],
            [
              0.03789,
              0.03059,
              0.02331,
              0.00868,
              -0.0208,
              -0.0801,
              -0.19906
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.01566,
              0.02336,
              0.0309,
              0.04587,
              0.0755,
              0.13464,
              0.25257
            ],
            [
              0.01563,
              0.02333,
              0.03087,
              0.04582,
              0.07543,
              0.13466,
              0.2525
            ],
            [
              0.0156,
              0.0233,
              0.03084,
              0.04582,
              0.07547,
              0.13452,
              0.25242
            ],
            [
              0.01554,
              0.02324,
              0.0308,
              0.04574,
              0.07538,
              0.13459,
              0.25246
            ],
            [
              0.01551,
              0.0232,
              0.03077,
              0.04572,
              0.07535,
              0.13451,
              0.25236
            ],
            [
              0.01546,
              0.02316,
              0.03071,
              0.04566,
              0.07532,
              0.13442,
              0.25228
            ],
            [
              0.0154,
              0.0231,
              0.03065,
              0.04561,
              0.07524,
              0.13434,
              0.25234
            ],
            [
              0.01532,
              0.02302,
              0.03056,
              0.04551,
              0.07515,
              0.13428,
              0.25248
            ],
            [
              0.01523,
              0.02292,
              0.03047,
              0.04537,
              0.07503,
              0.1343,
              0.25205
            ],
            [
              0.01514,
              0.0228,
              0.03033,
              0.04529,
              0.07494,
              0.1341,
              0.25204
            ],
            [
              0.01504,
              0.02267,
              0.03019,
              0.04514,
              0.07482,
              0.13407,
              0.2517
            ],
            [
              0.01496,
              0.0226,
              0.03014,
              0.04503,
              0.07459,
              0.13379,
              0.25189
            ],
            [
              0.0149,
              0.02249,
              0.03001,
              0.04502,
              0.07464,
              0.13357,
              0.25148
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.02186,
              0.01487,
              0.00779,
              -0.00666,
              -0.03605,
              -0.09532,
              -0.21422
            ],
            [
              0.02184,
              0.01486,
              0.00778,
              -0.00668,
              -0.03606,
              -0.09533,
              -0.21424
            ],
            [
              0.0218,
              0.01482,
              0.00774,
              -0.00672,
              -0.03609,
              -0.09537,
              -0.21427
            ],
            [
              0.02177,
              0.01478,
              0.0077,
              -0.00675,
              -0.03613,
              -0.09541,
              -0.21431
            ],
            [
              0.02169,
              0.0147,
              0.00761,
              -0.00684,
              -0.03622,
              -0.09549,
              -0.21439
            ],
            [
              0.0216,
              0.0146,
              0.00751,
              -0.00695,
              -0.03632,
              -0.09559,
              -0.2145
            ],
            [
              0.02147,
              0.01447,
              0.00738,
              -0.00708,
              -0.03645,
              -0.09571,
              -0.21462
            ],
            [
              0.02134,
              0.01435,
              0.00724,
              -0.00722,
              -0.0366,
              -0.09585,
              -0.21475
            ],
            [
              0.02122,
              0.01421,
              0.00709,
              -0.00738,
              -0.03675,
              -0.09599,
              -0.21488
            ],
            [
              0.02114,
              0.01408,
              0.00694,
              -0.00756,
              -0.03692,
              -0.09613,
              -0.21499
            ],
            [
              0.02108,
              0.01397,
              0.0068,
              -0.00772,
              -0.03707,
              -0.09626,
              -0.21509
            ],
            [
              0.02112,
              0.01392,
              0.00671,
              -0.00783,
              -0.03719,
              -0.09635,
              -0.21514
            ],
            [
              0.02134,
              0.01402,
              0.00674,
              -0.00786,
              -0.03725,
              -0.09637,
              -0.21511
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.01188,
              0.01983,
              0.02757,
              0.04269,
              0.07249,
              0.13174,
              0.24968
            ],
            [
              0.01184,
              0.0198,
              0.02752,
              0.04265,
              0.07244,
              0.13162,
              0.24977
            ],
            [
              0.01183,
              0.01978,
              0.02752,
              0.04263,
              0.07251,
              0.13175,
              0.2497
            ],
            [
              0.01181,
              0.01977,
              0.02748,
              0.04261,
              0.0725,
              0.13179,
              0.24988
            ],
            [
              0.0118,
              0.01976,
              0.02747,
              0.04259,
              0.07245,
              0.13161,
              0.24976
            ],
            [
              0.01173,
              0.01968,
              0.02738,
              0.04248,
              0.07239,
              0.13173,
              0.24974
            ],
            [
              0.01165,
              0.01959,
              0.02728,
              0.04238,
              0.07219,
              0.13154,
              0.24936
            ],
            [
              0.01154,
              0.01941,
              0.02706,
              0.04218,
              0.072,
              0.13127,
              0.24949
            ],
            [
              0.0114,
              0.0192,
              0.02682,
              0.04188,
              0.07182,
              0.13114,
              0.24919
            ],
            [
              0.01128,
              0.01901,
              0.0266,
              0.04164,
              0.07154,
              0.13076,
              0.24899
            ],
            [
              0.0112,
              0.01889,
              0.02644,
              0.04142,
              0.07117,
              0.13056,
              0.24836
            ],
            [
              0.0112,
              0.01881,
              0.02638,
              0.04138,
              0.07109,
              0.13012,
              0.24891
            ],
            [
              0.01128,
              0.0188,
              0.0263,
              0.04137,
              0.07116,
              0.12999,
              0.24837
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.02457,
              0.01753,
              0.01042,
              -0.00406,
              -0.03343,
              -0.09267,
              -0.21155
            ],
            [
              0.02454,
              0.0175,
              0.01038,
              -0.00409,
              -0.03346,
              -0.0927,
              -0.21158
            ],
            [
              0.0245,
              0.01745,
              0.01033,
              -0.00414,
              -0.03351,
              -0.09275,
              -0.21163
            ],
            [
              0.02447,
              0.01742,
              0.01031,
              -0.00417,
              -0.03353,
              -0.09278,
              -0.21166
            ],
            [
              0.02442,
              0.01738,
              0.01026,
              -0.00421,
              -0.03358,
              -0.09282,
              -0.21171
            ],
            [
              0.02436,
              0.01732,
              0.0102,
              -0.00427,
              -0.03364,
              -0.09288,
              -0.21176
            ],
            [
              0.0243,
              0.01725,
              0.01014,
              -0.00434,
              -0.03371,
              -0.09294,
              -0.21183
            ],
            [
              0.02422,
              0.01718,
              0.01005,
              -0.00443,
              -0.0338,
              -0.09303,
              -0.21191
            ],
            [
              0.02415,
              0.01709,
              0.00995,
              -0.00454,
              -0.03391,
              -0.09313,
              -0.212
            ],
            [
              0.02408,
              0.017,
              0.00985,
              -0.00466,
              -0.03403,
              -0.09323,
              -0.21208
            ],
            [
              0.02405,
              0.01692,
              0.00974,
              -0.00479,
              -0.03415,
              -0.09333,
              -0.21215
            ],
            [
              0.02413,
              0.01691,
              0.00969,
              -0.00486,
              -0.03423,
              -0.09339,
              -0.21217
            ],
            [
              0.02436,
              0.01703,
              0.00975,
              -0.00487,
              -0.03426,
              -0.09339,
              -0.21212
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.01176,
              0.01971,
              0.02745,
              0.04257,
              0.07236,
              0.13168,
              0.24968
            ],
            [
              0.01181,
              0.01977,
              0.02749,
              0.04261,
              0.07239,
              0.13168,
              0.24952
            ],
            [
              0.0118,
              0.01975,
              0.02748,
              0.04259,
              0.0724,
              0.13164,
              0.24942
            ],
            [
              0.01179,
              0.01975,
              0.02748,
              0.04262,
              0.0724,
              0.13161,
              0.24957
            ],
            [
              0.01175,
              0.01971,
              0.02744,
              0.04257,
              0.07241,
              0.13157,
              0.24984
            ],
            [
              0.01171,
              0.01966,
              0.02737,
              0.04249,
              0.07243,
              0.13164,
              0.24968
            ],
            [
              0.01164,
              0.01957,
              0.02728,
              0.04239,
              0.07231,
              0.13156,
              0.24961
            ],
            [
              0.01153,
              0.01944,
              0.02712,
              0.04222,
              0.07205,
              0.13135,
              0.24929
            ],
            [
              0.01139,
              0.01925,
              0.02692,
              0.042,
              0.07189,
              0.13105,
              0.24921
            ],
            [
              0.01126,
              0.01905,
              0.02669,
              0.04174,
              0.07165,
              0.13083,
              0.24898
            ],
            [
              0.01116,
              0.01892,
              0.02649,
              0.0415,
              0.07129,
              0.13069,
              0.24897
            ],
            [
              0.01109,
              0.01877,
              0.02638,
              0.0414,
              0.07114,
              0.13024,
              0.24899
            ],
            [
              0.01107,
              0.01865,
              0.0262,
              0.04131,
              0.0711,
              0.13,
              0.24828
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.1224,
    "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.32633,
              0.37337,
              0.40426,
              0.45203,
              0.52713,
              0.65203,
              0.87794
            ],
            [
              0.32985,
              0.37692,
              0.40783,
              0.4556,
              0.53071,
              0.65561,
              0.88153
            ],
            [
              0.33392,
              0.38102,
              0.41199,
              0.45955,
              0.53481,
              0.65998,
              0.88569
            ],
            [
              0.33986,
              0.38694,
              0.41792,
              0.46568,
              0.54058,
              0.66573,
              0.89133
            ],
            [
              0.34879,
              0.39583,
              0.42676,
              0.47457,
              0.54968,
              0.67459,
              0.90049
            ],
            [
              0.36231,
              0.40936,
              0.44032,
              0.48808,
              0.56296,
              0.68814,
              0.91387
            ],
            [
              0.38293,
              0.42992,
              0.46086,
              0.50861,
              0.58352,
              0.70869,
              0.93433
            ],
            [
              0.41394,
              0.46088,
              0.49181,
              0.53952,
              0.61447,
              0.7396,
              0.96516
            ],
            [
              0.45972,
              0.50666,
              0.53757,
              0.5852,
              0.66036,
              0.78555,
              1.01115
            ],
            [
              0.52731,
              0.57422,
              0.60509,
              0.65279,
              0.72799,
              0.85329,
              1.07879
            ],
            [
              0.62752,
              0.67442,
              0.70532,
              0.75312,
              0.82842,
              0.95382,
              1.17982
            ],
            [
              0.76697,
              0.81707,
              0.84927,
              0.89827,
              0.97447,
              1.10047,
              1.32667
            ],
            [
              0.9477,
              1.0032,
              1.0386,
              1.0917,
              1.1726,
              1.3024,
              1.5303
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.24334,
              0.30155,
              0.34354,
              0.4164,
              0.55049,
              0.81152,
              1.32867
            ],
            [
              0.24586,
              0.30408,
              0.34607,
              0.41884,
              0.55289,
              0.81366,
              1.33244
            ],
            [
              0.24895,
              0.30717,
              0.34918,
              0.42202,
              0.55603,
              0.81708,
              1.33512
            ],
            [
              0.25376,
              0.31185,
              0.35391,
              0.42675,
              0.56076,
              0.82183,
              1.33998
            ],
            [
              0.26094,
              0.31915,
              0.36114,
              0.43392,
              0.56804,
              0.8287,
              1.34761
            ],
            [
              0.27189,
              0.3301,
              0.37211,
              0.44498,
              0.57904,
              0.84013,
              1.35802
            ],
            [
              0.28853,
              0.34674,
              0.38873,
              0.46161,
              0.59578,
              0.85677,
              1.37503
            ],
            [
              0.3135,
              0.37172,
              0.41371,
              0.48651,
              0.62069,
              0.88146,
              1.40026
            ],
            [
              0.35173,
              0.40993,
              0.45189,
              0.52471,
              0.65883,
              0.91985,
              1.43795
            ],
            [
              0.40931,
              0.46729,
              0.50918,
              0.58185,
              0.71599,
              0.97699,
              1.49529
            ],
            [
              0.48562,
              0.54502,
              0.58762,
              0.66072,
              0.79482,
              1.05552,
              1.57402
            ],
            [
              0.57917,
              0.64097,
              0.68427,
              0.75837,
              0.89337,
              1.15487,
              1.67337
            ],
            [
              0.69,
              0.7566,
              0.8011,
              0.8759,
              1.0116,
              1.2738,
              1.7919
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04206,
              0.07223,
              0.09488,
              0.13412,
              0.20516,
              0.3415,
              0.62026
            ],
            [
              0.04207,
              0.07223,
              0.09488,
              0.1343,
              0.20514,
              0.34171,
              0.62024
            ],
            [
              0.04202,
              0.07221,
              0.0948,
              0.13424,
              0.20496,
              0.34202,
              0.61984
            ],
            [
              0.04203,
              0.07206,
              0.09479,
              0.13408,
              0.20527,
              0.342,
              0.61961
            ],
            [
              0.04205,
              0.07223,
              0.09495,
              0.13407,
              0.20516,
              0.34144,
              0.62025
            ],
            [
              0.04202,
              0.07207,
              0.09479,
              0.13406,
              0.20537,
              0.34196,
              0.61953
            ],
            [
              0.04205,
              0.0721,
              0.0948,
              0.13407,
              0.20556,
              0.342,
              0.61959
            ],
            [
              0.04207,
              0.07207,
              0.09481,
              0.1341,
              0.20506,
              0.34193,
              0.61964
            ],
            [
              0.04203,
              0.07222,
              0.09483,
              0.13442,
              0.20508,
              0.34156,
              0.62009
            ],
            [
              0.04209,
              0.0723,
              0.09498,
              0.1344,
              0.20511,
              0.3415,
              0.6201
            ],
            [
              0.0425,
              0.0725,
              0.0952,
              0.1346,
              0.2056,
              0.3416,
              0.6201
            ],
            [
              0.0479,
              0.0779,
              0.1001,
              0.1383,
              0.2075,
              0.3431,
              0.6206
            ],
            [
              0.056,
              0.0879,
              0.1113,
              0.1501,
              0.2192,
              0.3513,
              0.6243
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04449,
              0.09372,
              0.1372,
              0.22419,
              0.40197,
              0.76601,
              1.50253
            ],
            [
              0.04447,
              0.09372,
              0.13733,
              0.22407,
              0.40228,
              0.76633,
              1.5003
            ],
            [
              0.04449,
              0.09374,
              0.13736,
              0.22412,
              0.40192,
              0.76708,
              1.50144
            ],
            [
              0.0445,
              0.09371,
              0.13735,
              0.22412,
              0.40195,
              0.76757,
              1.50134
            ],
            [
              0.04449,
              0.09373,
              0.13739,
              0.22395,
              0.40231,
              0.76635,
              1.50076
            ],
            [
              0.04449,
              0.09368,
              0.13737,
              0.22412,
              0.40185,
              0.76695,
              1.5018
            ],
            [
              0.04449,
              0.09372,
              0.13727,
              0.22415,
              0.40212,
              0.76582,
              1.50282
            ],
            [
              0.04449,
              0.09387,
              0.13734,
              0.22432,
              0.40235,
              0.76667,
              1.50208
            ],
            [
              0.04445,
              0.09365,
              0.1372,
              0.22416,
              0.40209,
              0.76557,
              1.5026
            ],
            [
              0.04449,
              0.0937,
              0.13723,
              0.22407,
              0.40219,
              0.7658,
              1.5035
            ],
            [
              0.0474,
              0.0961,
              0.1394,
              0.2252,
              0.4019,
              0.767,
              1.5006
            ],
            [
              0.0527,
              0.0999,
              0.1427,
              0.2285,
              0.4042,
              0.7663,
              1.4998
            ],
            [
              0.0618,
              0.1067,
              0.1478,
              0.2317,
              0.4074,
              0.7695,
              1.5025
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.3856,
              0.43688,
              0.46944,
              0.51891,
              0.59551,
              0.72214,
              0.94905
            ],
            [
              0.38912,
              0.44044,
              0.47301,
              0.5224,
              0.5991,
              0.72569,
              0.95246
            ],
            [
              0.39311,
              0.44444,
              0.47701,
              0.5265,
              0.60312,
              0.72976,
              0.95664
            ],
            [
              0.39887,
              0.45016,
              0.48275,
              0.53226,
              0.60911,
              0.73549,
              0.96244
            ],
            [
              0.40755,
              0.45879,
              0.49137,
              0.5409,
              0.61776,
              0.74413,
              0.97101
            ],
            [
              0.42072,
              0.47197,
              0.50454,
              0.55403,
              0.63068,
              0.75734,
              0.98422
            ],
            [
              0.44085,
              0.49206,
              0.5246,
              0.57403,
              0.65072,
              0.77739,
              1.00423
            ],
            [
              0.47102,
              0.52215,
              0.55469,
              0.60413,
              0.68096,
              0.80766,
              1.03416
            ],
            [
              0.51497,
              0.56612,
              0.59864,
              0.64807,
              0.72491,
              0.85125,
              1.07815
            ],
            [
              0.57873,
              0.62989,
              0.66239,
              0.71169,
              0.78849,
              0.91529,
              1.14219
            ],
            [
              0.67202,
              0.72312,
              0.75562,
              0.80502,
              0.88202,
              1.00872,
              1.23562
            ],
            [
              0.80427,
              0.85737,
              0.89047,
              0.94047,
              1.01787,
              1.14487,
              1.37197
            ],
            [
              0.9769,
              1.0346,
              1.0704,
              1.1237,
              1.2048,
              1.3348,
              1.5632
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.22324,
              0.28151,
              0.32353,
              0.39641,
              0.53057,
              0.7914,
              1.30997
            ],
            [
              0.22573,
              0.284,
              0.32603,
              0.39894,
              0.53302,
              0.79404,
              1.31194
            ],
            [
              0.22881,
              0.287,
              0.32903,
              0.40197,
              0.53614,
              0.79708,
              1.31512
            ],
            [
              0.23344,
              0.29172,
              0.33376,
              0.4067,
              0.54083,
              0.80185,
              1.31907
            ],
            [
              0.24057,
              0.29884,
              0.34089,
              0.41376,
              0.54791,
              0.8086,
              1.32751
            ],
            [
              0.25142,
              0.30967,
              0.35173,
              0.4247,
              0.55884,
              0.8199,
              1.33742
            ],
            [
              0.26803,
              0.3263,
              0.36834,
              0.44129,
              0.5755,
              0.83654,
              1.35403
            ],
            [
              0.29326,
              0.35151,
              0.39354,
              0.46642,
              0.60044,
              0.86156,
              1.37976
            ],
            [
              0.33173,
              0.38987,
              0.43181,
              0.50455,
              0.6386,
              0.89945,
              1.41855
            ],
            [
              0.3885,
              0.44657,
              0.48847,
              0.5612,
              0.69519,
              0.95619,
              1.47429
            ],
            [
              0.46082,
              0.52062,
              0.56332,
              0.63662,
              0.77082,
              1.03142,
              1.54962
            ],
            [
              0.54867,
              0.61127,
              0.65467,
              0.72887,
              0.86417,
              1.12517,
              1.64417
            ],
            [
              0.652,
              0.7202,
              0.7651,
              0.8402,
              0.9757,
              1.238,
              1.7562
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05049,
              0.08049,
              0.10282,
              0.1414,
              0.21162,
              0.34745,
              0.62505
            ],
            [
              0.05053,
              0.08042,
              0.10274,
              0.14135,
              0.21193,
              0.34754,
              0.6249
            ],
            [
              0.05054,
              0.08041,
              0.10277,
              0.14139,
              0.21175,
              0.34736,
              0.62499
            ],
            [
              0.0505,
              0.08044,
              0.10265,
              0.14143,
              0.21133,
              0.34783,
              0.62512
            ],
            [
              0.05055,
              0.08043,
              0.10263,
              0.1415,
              0.21138,
              0.34783,
              0.62503
            ],
            [
              0.05055,
              0.0804,
              0.10277,
              0.1414,
              0.21178,
              0.34728,
              0.62514
            ],
            [
              0.05049,
              0.0805,
              0.10276,
              0.14128,
              0.21179,
              0.34723,
              0.62492
            ],
            [
              0.05051,
              0.08041,
              0.10279,
              0.14131,
              0.212,
              0.3476,
              0.62483
            ],
            [
              0.05049,
              0.0804,
              0.1028,
              0.14144,
              0.21136,
              0.34781,
              0.6249
            ],
            [
              0.05052,
              0.08046,
              0.1028,
              0.1415,
              0.2118,
              0.3473,
              0.6251
            ],
            [
              0.0507,
              0.0806,
              0.1028,
              0.1415,
              0.2123,
              0.3476,
              0.6247
            ],
            [
              0.0548,
              0.0841,
              0.1057,
              0.1434,
              0.2127,
              0.3483,
              0.625
            ],
            [
              0.0619,
              0.0929,
              0.1151,
              0.1535,
              0.2221,
              0.3547,
              0.6281
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04442,
              0.09363,
              0.13725,
              0.22444,
              0.40217,
              0.7663,
              1.50336
            ],
            [
              0.04439,
              0.09364,
              0.13732,
              0.22403,
              0.40164,
              0.76676,
              1.50171
            ],
            [
              0.04439,
              0.09379,
              0.13724,
              0.22405,
              0.40195,
              0.7656,
              1.50241
            ],
            [
              0.04442,
              0.09364,
              0.13713,
              0.22403,
              0.40147,
              0.76661,
              1.50217
            ],
            [
              0.04444,
              0.09363,
              0.13719,
              0.22396,
              0.40215,
              0.76617,
              1.50082
            ],
            [
              0.04439,
              0.09362,
              0.13708,
              0.22403,
              0.40156,
              0.76669,
              1.50196
            ],
            [
              0.04441,
              0.09362,
              0.13721,
              0.22404,
              0.40194,
              0.76551,
              1.50239
            ],
            [
              0.04436,
              0.09357,
              0.13728,
              0.22398,
              0.40184,
              0.7674,
              1.50105
            ],
            [
              0.04415,
              0.09341,
              0.13704,
              0.22379,
              0.40209,
              0.76611,
              1.5019
            ],
            [
              0.04495,
              0.09372,
              0.13722,
              0.22392,
              0.40199,
              0.76552,
              1.5
            ],
            [
              0.04815,
              0.0967,
              0.1397,
              0.2254,
              0.4019,
              0.766,
              1.5022
            ],
            [
              0.0544,
              0.1007,
              0.1433,
              0.2289,
              0.4052,
              0.7678,
              1.502
            ],
            [
              0.0643,
              0.1084,
              0.1491,
              0.2324,
              0.4076,
              0.7684,
              1.5025
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.42782,
              0.47993,
              0.51302,
              0.56331,
              0.64134,
              0.76947,
              0.99767
            ],
            [
              0.43148,
              0.48361,
              0.51671,
              0.56704,
              0.64507,
              0.77317,
              1.00154
            ],
            [
              0.43562,
              0.48776,
              0.52087,
              0.57121,
              0.64924,
              0.77735,
              1.00582
            ],
            [
              0.4416,
              0.49373,
              0.52685,
              0.57717,
              0.65524,
              0.78334,
              1.01158
            ],
            [
              0.45047,
              0.50258,
              0.53571,
              0.58606,
              0.6641,
              0.79221,
              1.02071
            ],
            [
              0.46387,
              0.51597,
              0.54907,
              0.59941,
              0.67745,
              0.80557,
              1.03402
            ],
            [
              0.48413,
              0.53626,
              0.56936,
              0.61971,
              0.69776,
              0.82588,
              1.05403
            ],
            [
              0.51433,
              0.56638,
              0.59946,
              0.64979,
              0.72784,
              0.85596,
              1.08446
            ],
            [
              0.5581,
              0.61012,
              0.64321,
              0.6935,
              0.77155,
              0.89965,
              1.12785
            ],
            [
              0.6216,
              0.67359,
              0.70669,
              0.75689,
              0.83499,
              0.96319,
              1.19139
            ],
            [
              0.71482,
              0.76682,
              0.79982,
              0.85012,
              0.92812,
              1.05632,
              1.28472
            ],
            [
              0.85107,
              0.90377,
              0.93697,
              0.98737,
              1.06557,
              1.19387,
              1.42227
            ],
            [
              1.0325,
              1.0897,
              1.1253,
              1.1784,
              1.2595,
              1.3897,
              1.6188
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.23666,
              0.3021,
              0.34698,
              0.42267,
              0.55869,
              0.81984,
              1.33917
            ],
            [
              0.23913,
              0.30457,
              0.34946,
              0.42509,
              0.56118,
              0.82257,
              1.34034
            ],
            [
              0.24213,
              0.30757,
              0.35246,
              0.42814,
              0.56411,
              0.82528,
              1.34312
            ],
            [
              0.24676,
              0.31221,
              0.35709,
              0.43284,
              0.56885,
              0.82998,
              1.34858
            ],
            [
              0.25398,
              0.31943,
              0.36432,
              0.43997,
              0.57615,
              0.83758,
              1.35611
            ],
            [
              0.26485,
              0.33029,
              0.3752,
              0.45089,
              0.58699,
              0.84836,
              1.36572
            ],
            [
              0.28145,
              0.3469,
              0.39179,
              0.46741,
              0.60353,
              0.8648,
              1.38413
            ],
            [
              0.30666,
              0.37208,
              0.41696,
              0.49261,
              0.62868,
              0.89006,
              1.40776
            ],
            [
              0.34507,
              0.41037,
              0.45517,
              0.5308,
              0.66663,
              0.92825,
              1.44635
            ],
            [
              0.40222,
              0.46741,
              0.51214,
              0.58774,
              0.72369,
              0.98469,
              1.50259
            ],
            [
              0.47692,
              0.54452,
              0.59002,
              0.66602,
              0.80212,
              1.06352,
              1.58242
            ],
            [
              0.56757,
              0.63957,
              0.68627,
              0.76367,
              0.90097,
              1.16277,
              1.68077
            ],
            [
              0.6745,
              0.7545,
              0.8034,
              0.8824,
              1.0207,
              1.2835,
              1.8018
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.0518,
              0.08219,
              0.10469,
              0.1438,
              0.21414,
              0.35027,
              0.62708
            ],
            [
              0.05181,
              0.08216,
              0.1049,
              0.14359,
              0.21428,
              0.35043,
              0.62786
            ],
            [
              0.05181,
              0.08216,
              0.10486,
              0.1436,
              0.21429,
              0.35049,
              0.62786
            ],
            [
              0.05182,
              0.08217,
              0.10469,
              0.14357,
              0.21416,
              0.35014,
              0.62753
            ],
            [
              0.0518,
              0.08218,
              0.10464,
              0.14364,
              0.21433,
              0.35068,
              0.62796
            ],
            [
              0.05182,
              0.08218,
              0.10467,
              0.14358,
              0.21481,
              0.35054,
              0.62784
            ],
            [
              0.0518,
              0.08215,
              0.10484,
              0.14361,
              0.21414,
              0.35015,
              0.62754
            ],
            [
              0.05182,
              0.08215,
              0.10488,
              0.14361,
              0.21429,
              0.35055,
              0.62786
            ],
            [
              0.05181,
              0.08218,
              0.10464,
              0.14374,
              0.21477,
              0.35048,
              0.6272
            ],
            [
              0.0518,
              0.08229,
              0.1047,
              0.1439,
              0.2141,
              0.3503,
              0.6273
            ],
            [
              0.0518,
              0.0822,
              0.1047,
              0.1437,
              0.2141,
              0.3501,
              0.6277
            ],
            [
              0.054,
              0.0837,
              0.1058,
              0.1445,
              0.2148,
              0.3505,
              0.6277
            ],
            [
              0.0608,
              0.0919,
              0.1146,
              0.1528,
              0.2223,
              0.3553,
              0.6293
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05375,
              0.10151,
              0.14468,
              0.2306,
              0.40509,
              0.76758,
              1.50172
            ],
            [
              0.05369,
              0.10152,
              0.1447,
              0.23015,
              0.40504,
              0.76711,
              1.5009
            ],
            [
              0.0537,
              0.10151,
              0.14469,
              0.23038,
              0.40516,
              0.76769,
              1.5022
            ],
            [
              0.05367,
              0.10151,
              0.14469,
              0.23011,
              0.40568,
              0.76759,
              1.49985
            ],
            [
              0.05373,
              0.10147,
              0.1446,
              0.23011,
              0.40553,
              0.76663,
              1.50346
            ],
            [
              0.05368,
              0.10165,
              0.14465,
              0.23027,
              0.40487,
              0.76743,
              1.50191
            ],
            [
              0.05365,
              0.1015,
              0.14464,
              0.23007,
              0.40559,
              0.76758,
              1.50173
            ],
            [
              0.0537,
              0.10147,
              0.14465,
              0.23024,
              0.40483,
              0.76734,
              1.5008
            ],
            [
              0.0535,
              0.10138,
              0.14445,
              0.23006,
              0.40524,
              0.76722,
              1.5004
            ],
            [
              0.05426,
              0.10177,
              0.14477,
              0.22988,
              0.40536,
              0.7675,
              1.5021
            ],
            [
              0.05927,
              0.1052,
              0.1475,
              0.2315,
              0.4057,
              0.767,
              1.5013
            ],
            [
              0.0682,
              0.1113,
              0.1524,
              0.2358,
              0.4083,
              0.7684,
              1.5007
            ],
            [
              0.0811,
              0.1214,
              0.1601,
              0.2409,
              0.4122,
              0.7708,
              1.5017
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.36998,
              0.41829,
              0.44998,
              0.49883,
              0.57544,
              0.70232,
              0.92977
            ],
            [
              0.3732,
              0.42152,
              0.45322,
              0.50207,
              0.57869,
              0.70557,
              0.93301
            ],
            [
              0.37705,
              0.42538,
              0.45708,
              0.50596,
              0.58258,
              0.70946,
              0.93685
            ],
            [
              0.38298,
              0.43132,
              0.46302,
              0.51187,
              0.5885,
              0.71539,
              0.94281
            ],
            [
              0.392,
              0.44033,
              0.47204,
              0.52093,
              0.59755,
              0.72444,
              0.95181
            ],
            [
              0.40579,
              0.45413,
              0.48584,
              0.53473,
              0.61135,
              0.73825,
              0.96562
            ],
            [
              0.42675,
              0.47506,
              0.50676,
              0.55562,
              0.63226,
              0.75916,
              0.98653
            ],
            [
              0.45817,
              0.50645,
              0.53814,
              0.58702,
              0.66366,
              0.79056,
              1.01796
            ],
            [
              0.5042,
              0.55248,
              0.58414,
              0.63298,
              0.70962,
              0.83655,
              1.06405
            ],
            [
              0.57185,
              0.62009,
              0.65169,
              0.70059,
              0.77719,
              0.90419,
              1.13159
            ],
            [
              0.67232,
              0.72032,
              0.75192,
              0.80082,
              0.87752,
              1.00442,
              1.23172
            ],
            [
              0.81737,
              0.86707,
              0.89917,
              0.94847,
              1.02547,
              1.15277,
              1.38047
            ],
            [
              1.0088,
              1.0636,
              1.0984,
              1.1511,
              1.2318,
              1.3617,
              1.5903
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.25991,
              0.31813,
              0.36012,
              0.43298,
              0.56686,
              0.82761,
              1.34487
            ],
            [
              0.26271,
              0.32092,
              0.36292,
              0.4357,
              0.56949,
              0.83024,
              1.34834
            ],
            [
              0.26616,
              0.32438,
              0.36636,
              0.43917,
              0.57314,
              0.83374,
              1.35192
            ],
            [
              0.27128,
              0.3295,
              0.37149,
              0.44423,
              0.5782,
              0.83859,
              1.35728
            ],
            [
              0.27863,
              0.33685,
              0.37885,
              0.45168,
              0.58559,
              0.84639,
              1.36391
            ],
            [
              0.2892,
              0.34741,
              0.3894,
              0.46223,
              0.59623,
              0.85687,
              1.37382
            ],
            [
              0.3047,
              0.36292,
              0.4049,
              0.47773,
              0.61175,
              0.87243,
              1.39053
            ],
            [
              0.32788,
              0.3861,
              0.42807,
              0.50084,
              0.63471,
              0.89556,
              1.41386
            ],
            [
              0.36262,
              0.42078,
              0.46273,
              0.53546,
              0.66936,
              0.93035,
              1.44835
            ],
            [
              0.41428,
              0.47244,
              0.51435,
              0.58713,
              0.72109,
              0.98169,
              1.50069
            ],
            [
              0.48472,
              0.54482,
              0.58732,
              0.66062,
              0.79472,
              1.05542,
              1.57332
            ],
            [
              0.57557,
              0.63827,
              0.68187,
              0.75617,
              0.89117,
              1.15257,
              1.67127
            ],
            [
              0.6885,
              0.7554,
              0.8005,
              0.876,
              1.0119,
              1.2737,
              1.7917
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04438,
              0.07491,
              0.09783,
              0.13757,
              0.20911,
              0.34564,
              0.62334
            ],
            [
              0.04438,
              0.07491,
              0.09783,
              0.13756,
              0.20911,
              0.34563,
              0.62336
            ],
            [
              0.04438,
              0.0749,
              0.09798,
              0.13736,
              0.20862,
              0.34555,
              0.62295
            ],
            [
              0.0444,
              0.07488,
              0.09782,
              0.13746,
              0.20921,
              0.34562,
              0.62328
            ],
            [
              0.04443,
              0.0749,
              0.09796,
              0.13738,
              0.20869,
              0.34558,
              0.62286
            ],
            [
              0.0444,
              0.07489,
              0.09796,
              0.13739,
              0.20872,
              0.3456,
              0.62267
            ],
            [
              0.04439,
              0.07491,
              0.09782,
              0.13759,
              0.20911,
              0.34559,
              0.62326
            ],
            [
              0.04438,
              0.07489,
              0.09786,
              0.13734,
              0.20853,
              0.3455,
              0.62298
            ],
            [
              0.04437,
              0.07491,
              0.09784,
              0.13744,
              0.2093,
              0.34564,
              0.6234
            ],
            [
              0.04441,
              0.07506,
              0.09802,
              0.13742,
              0.2085,
              0.3455,
              0.6231
            ],
            [
              0.0445,
              0.0751,
              0.098,
              0.1376,
              0.2088,
              0.3456,
              0.6229
            ],
            [
              0.0478,
              0.0777,
              0.1004,
              0.1394,
              0.2097,
              0.3462,
              0.6235
            ],
            [
              0.0551,
              0.0868,
              0.11,
              0.1491,
              0.2186,
              0.3513,
              0.6259
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04451,
              0.0937,
              0.13741,
              0.22427,
              0.40163,
              0.76678,
              1.50218
            ],
            [
              0.0445,
              0.09385,
              0.13734,
              0.22432,
              0.40213,
              0.76593,
              1.50031
            ],
            [
              0.0445,
              0.09372,
              0.13733,
              0.22472,
              0.40232,
              0.76636,
              1.50253
            ],
            [
              0.04447,
              0.09372,
              0.13742,
              0.22394,
              0.40232,
              0.76636,
              1.50073
            ],
            [
              0.04449,
              0.09369,
              0.13736,
              0.22415,
              0.40181,
              0.7669,
              1.50192
            ],
            [
              0.0445,
              0.09371,
              0.1373,
              0.22408,
              0.40231,
              0.76633,
              1.50252
            ],
            [
              0.04449,
              0.09372,
              0.13732,
              0.22412,
              0.40228,
              0.7663,
              1.50263
            ],
            [
              0.04449,
              0.09373,
              0.13735,
              0.22425,
              0.4022,
              0.76602,
              1.49957
            ],
            [
              0.04444,
              0.09369,
              0.13733,
              0.22418,
              0.40205,
              0.76761,
              1.5012
            ],
            [
              0.0448,
              0.09378,
              0.13736,
              0.22415,
              0.40233,
              0.7664,
              1.5023
            ],
            [
              0.0474,
              0.0962,
              0.1394,
              0.2252,
              0.4024,
              0.7671,
              1.5034
            ],
            [
              0.0513,
              0.1002,
              0.143,
              0.2283,
              0.4038,
              0.7666,
              1.5016
            ],
            [
              0.0576,
              0.1059,
              0.148,
              0.2318,
              0.4072,
              0.7687,
              1.5019
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.44727,
              0.50065,
              0.53434,
              0.58541,
              0.66433,
              0.79337,
              1.02257
            ],
            [
              0.45038,
              0.50378,
              0.53748,
              0.58855,
              0.66746,
              0.79652,
              1.02574
            ],
            [
              0.45409,
              0.50751,
              0.54121,
              0.59229,
              0.67121,
              0.80026,
              1.02942
            ],
            [
              0.45982,
              0.51324,
              0.54695,
              0.598,
              0.67695,
              0.80602,
              1.03498
            ],
            [
              0.46859,
              0.52202,
              0.55571,
              0.6068,
              0.68575,
              0.8148,
              1.04401
            ],
            [
              0.48207,
              0.5355,
              0.5692,
              0.62029,
              0.69924,
              0.8283,
              1.05752
            ],
            [
              0.50259,
              0.55598,
              0.58969,
              0.64075,
              0.7197,
              0.84879,
              1.07783
            ],
            [
              0.53321,
              0.58658,
              0.62026,
              0.67135,
              0.75028,
              0.87936,
              1.10856
            ],
            [
              0.57739,
              0.63074,
              0.66443,
              0.71546,
              0.79435,
              0.92345,
              1.15255
            ],
            [
              0.64099,
              0.69439,
              0.72799,
              0.77909,
              0.85799,
              0.98709,
              1.21629
            ],
            [
              0.73382,
              0.78702,
              0.82062,
              0.87162,
              0.95062,
              1.07972,
              1.30882
            ],
            [
              0.86897,
              0.92277,
              0.95647,
              1.00757,
              1.08667,
              1.21597,
              1.44527
            ],
            [
              1.0506,
              1.1086,
              1.1444,
              1.198,
              1.2794,
              1.4103,
              1.6402
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.2398,
              0.29807,
              0.34011,
              0.41301,
              0.54692,
              0.80763,
              1.32467
            ],
            [
              0.24252,
              0.3008,
              0.34285,
              0.4157,
              0.5495,
              0.81024,
              1.32834
            ],
            [
              0.2459,
              0.30418,
              0.34621,
              0.41912,
              0.5531,
              0.81381,
              1.33062
            ],
            [
              0.25094,
              0.30922,
              0.35125,
              0.42416,
              0.55815,
              0.8188,
              1.33618
            ],
            [
              0.2582,
              0.31648,
              0.35853,
              0.43134,
              0.5653,
              0.82577,
              1.34431
            ],
            [
              0.26869,
              0.32697,
              0.36901,
              0.44179,
              0.57586,
              0.83612,
              1.35482
            ],
            [
              0.28414,
              0.34242,
              0.38444,
              0.45732,
              0.59136,
              0.85195,
              1.37003
            ],
            [
              0.30734,
              0.36558,
              0.40758,
              0.48047,
              0.61448,
              0.87536,
              1.39216
            ],
            [
              0.34215,
              0.40029,
              0.44224,
              0.51503,
              0.64912,
              0.90995,
              1.42795
            ],
            [
              0.3932,
              0.45152,
              0.4935,
              0.56628,
              0.70029,
              0.96079,
              1.47839
            ],
            [
              0.46102,
              0.52152,
              0.56432,
              0.63762,
              0.77182,
              1.03242,
              1.55012
            ],
            [
              0.54787,
              0.61127,
              0.65517,
              0.72957,
              0.86477,
              1.12577,
              1.64427
            ],
            [
              0.6547,
              0.7226,
              0.7682,
              0.844,
              0.98,
              1.242,
              1.7598
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05438,
              0.08479,
              0.10726,
              0.14631,
              0.21752,
              0.35321,
              0.6299
            ],
            [
              0.05443,
              0.08478,
              0.10722,
              0.14655,
              0.21748,
              0.35353,
              0.62971
            ],
            [
              0.05438,
              0.08478,
              0.10722,
              0.14655,
              0.21746,
              0.35371,
              0.62974
            ],
            [
              0.05441,
              0.08487,
              0.10748,
              0.14652,
              0.21682,
              0.35274,
              0.62917
            ],
            [
              0.05443,
              0.08477,
              0.10746,
              0.14628,
              0.21695,
              0.35302,
              0.62983
            ],
            [
              0.05444,
              0.08477,
              0.10733,
              0.14628,
              0.21696,
              0.35303,
              0.62984
            ],
            [
              0.0544,
              0.08482,
              0.10728,
              0.14639,
              0.21687,
              0.35283,
              0.62911
            ],
            [
              0.05443,
              0.08478,
              0.10733,
              0.1463,
              0.2175,
              0.35345,
              0.62978
            ],
            [
              0.05439,
              0.08482,
              0.10729,
              0.14641,
              0.21718,
              0.35284,
              0.6292
            ],
            [
              0.05445,
              0.0848,
              0.1073,
              0.1463,
              0.217,
              0.353,
              0.6298
            ],
            [
              0.0544,
              0.0848,
              0.1074,
              0.1463,
              0.2169,
              0.3529,
              0.6289
            ],
            [
              0.0561,
              0.0859,
              0.1082,
              0.1471,
              0.2174,
              0.3533,
              0.63
            ],
            [
              0.0627,
              0.0935,
              0.1162,
              0.1544,
              0.2237,
              0.3573,
              0.631
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04442,
              0.09363,
              0.13714,
              0.22426,
              0.40146,
              0.76654,
              1.50216
            ],
            [
              0.04445,
              0.09362,
              0.13731,
              0.22401,
              0.40197,
              0.76565,
              1.49985
            ],
            [
              0.04441,
              0.09364,
              0.13721,
              0.22409,
              0.40191,
              0.76554,
              1.50235
            ],
            [
              0.0444,
              0.09364,
              0.13722,
              0.22407,
              0.40201,
              0.76563,
              1.50235
            ],
            [
              0.04444,
              0.09374,
              0.13725,
              0.22401,
              0.40217,
              0.76617,
              1.50014
            ],
            [
              0.0444,
              0.09364,
              0.13722,
              0.22378,
              0.40222,
              0.76665,
              1.50131
            ],
            [
              0.04443,
              0.09379,
              0.13724,
              0.22395,
              0.40216,
              0.76639,
              1.50243
            ],
            [
              0.04435,
              0.09359,
              0.13716,
              0.22426,
              0.40167,
              0.76606,
              1.50222
            ],
            [
              0.04427,
              0.09352,
              0.13715,
              0.22446,
              0.40207,
              0.76603,
              1.5025
            ],
            [
              0.04523,
              0.09387,
              0.13736,
              0.224,
              0.40169,
              0.7661,
              1.5015
            ],
            [
              0.048,
              0.0968,
              0.1398,
              0.2253,
              0.4021,
              0.7662,
              1.5024
            ],
            [
              0.0523,
              0.1009,
              0.1436,
              0.2288,
              0.4047,
              0.7675,
              1.5025
            ],
            [
              0.0594,
              0.1076,
              0.1493,
              0.2328,
              0.4075,
              0.7681,
              1.5019
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.47662,
              0.52981,
              0.56347,
              0.61452,
              0.69353,
              0.82274,
              1.05217
            ],
            [
              0.47985,
              0.53305,
              0.56671,
              0.61776,
              0.69677,
              0.82598,
              1.05544
            ],
            [
              0.4837,
              0.53691,
              0.57056,
              0.62164,
              0.70063,
              0.82987,
              1.05922
            ],
            [
              0.48962,
              0.5428,
              0.57647,
              0.62755,
              0.70654,
              0.83579,
              1.06507
            ],
            [
              0.49858,
              0.5518,
              0.58547,
              0.63654,
              0.71555,
              0.84478,
              1.07431
            ],
            [
              0.51232,
              0.56552,
              0.59919,
              0.65026,
              0.72928,
              0.85851,
              1.08802
            ],
            [
              0.53307,
              0.58632,
              0.61998,
              0.67106,
              0.75007,
              0.87931,
              1.10893
            ],
            [
              0.56393,
              0.61709,
              0.65074,
              0.70182,
              0.78082,
              0.91006,
              1.13966
            ],
            [
              0.60835,
              0.66154,
              0.69517,
              0.74622,
              0.82525,
              0.95445,
              1.18405
            ],
            [
              0.67249,
              0.72569,
              0.75929,
              0.81029,
              0.88929,
              1.01859,
              1.24809
            ],
            [
              0.76642,
              0.81952,
              0.85312,
              0.90412,
              0.98312,
              1.11242,
              1.34202
            ],
            [
              0.90487,
              0.95807,
              0.99167,
              1.04277,
              1.12177,
              1.25117,
              1.48077
            ],
            [
              1.0959,
              1.1528,
              1.1881,
              1.241,
              1.3217,
              1.452,
              1.6821
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.25328,
              0.31874,
              0.36362,
              0.43918,
              0.57505,
              0.83612,
              1.35417
            ],
            [
              0.25602,
              0.32146,
              0.36635,
              0.44196,
              0.57789,
              0.839,
              1.35654
            ],
            [
              0.25941,
              0.32485,
              0.36974,
              0.44542,
              0.58119,
              0.84201,
              1.36072
            ],
            [
              0.26444,
              0.32988,
              0.37478,
              0.45038,
              0.58635,
              0.84749,
              1.36508
            ],
            [
              0.27171,
              0.33716,
              0.38205,
              0.45765,
              0.59361,
              0.85474,
              1.37211
            ],
            [
              0.2822,
              0.34765,
              0.39254,
              0.46819,
              0.60397,
              0.86495,
              1.38242
            ],
            [
              0.29766,
              0.3631,
              0.40799,
              0.48362,
              0.61955,
              0.88069,
              1.39763
            ],
            [
              0.32084,
              0.38626,
              0.43111,
              0.50672,
              0.6427,
              0.90376,
              1.42266
            ],
            [
              0.3556,
              0.42092,
              0.46572,
              0.54124,
              0.67718,
              0.93835,
              1.45745
            ],
            [
              0.40683,
              0.47225,
              0.51705,
              0.59269,
              0.72859,
              0.98959,
              1.50809
            ],
            [
              0.47572,
              0.54372,
              0.58932,
              0.66542,
              0.80152,
              1.06302,
              1.58152
            ],
            [
              0.56417,
              0.63587,
              0.68297,
              0.76047,
              0.89767,
              1.15957,
              1.67827
            ],
            [
              0.6735,
              0.7512,
              0.8004,
              0.8798,
              1.0184,
              1.2808,
              1.7987
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05415,
              0.08461,
              0.10708,
              0.146,
              0.21667,
              0.35336,
              0.62973
            ],
            [
              0.05407,
              0.08462,
              0.10709,
              0.146,
              0.21668,
              0.35338,
              0.62976
            ],
            [
              0.0541,
              0.08468,
              0.10726,
              0.14607,
              0.21698,
              0.35291,
              0.62972
            ],
            [
              0.05409,
              0.08465,
              0.10708,
              0.14628,
              0.21729,
              0.35285,
              0.62987
            ],
            [
              0.05409,
              0.08456,
              0.10709,
              0.14606,
              0.21653,
              0.35313,
              0.63004
            ],
            [
              0.0541,
              0.08457,
              0.10708,
              0.14603,
              0.21657,
              0.35321,
              0.63
            ],
            [
              0.05408,
              0.08456,
              0.10708,
              0.14616,
              0.21653,
              0.35311,
              0.63024
            ],
            [
              0.05408,
              0.08456,
              0.10704,
              0.14629,
              0.21678,
              0.35274,
              0.6303
            ],
            [
              0.05409,
              0.08457,
              0.10707,
              0.1461,
              0.21663,
              0.3532,
              0.63
            ],
            [
              0.0541,
              0.0846,
              0.107,
              0.1463,
              0.2171,
              0.3528,
              0.6302
            ],
            [
              0.0541,
              0.0846,
              0.1071,
              0.1462,
              0.2165,
              0.3531,
              0.6303
            ],
            [
              0.0546,
              0.085,
              0.1075,
              0.1466,
              0.2167,
              0.3532,
              0.6302
            ],
            [
              0.061,
              0.0915,
              0.1138,
              0.1523,
              0.2215,
              0.3555,
              0.6314
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05368,
              0.10151,
              0.14455,
              0.23011,
              0.40509,
              0.76743,
              1.50015
            ],
            [
              0.05373,
              0.10151,
              0.14469,
              0.23021,
              0.40522,
              0.76692,
              1.50098
            ],
            [
              0.0537,
              0.10152,
              0.14468,
              0.23008,
              0.40512,
              0.76753,
              1.4998
            ],
            [
              0.05375,
              0.10152,
              0.14465,
              0.23015,
              0.40531,
              0.76688,
              1.50094
            ],
            [
              0.05375,
              0.10145,
              0.14459,
              0.23013,
              0.40508,
              0.76713,
              1.50088
            ],
            [
              0.0537,
              0.10152,
              0.14467,
              0.23002,
              0.40535,
              0.76772,
              1.50228
            ],
            [
              0.05376,
              0.1015,
              0.14468,
              0.23029,
              0.40492,
              0.76743,
              1.50215
            ],
            [
              0.05366,
              0.10148,
              0.14467,
              0.23037,
              0.40526,
              0.76764,
              1.50213
            ],
            [
              0.05363,
              0.10144,
              0.14473,
              0.23007,
              0.40517,
              0.76755,
              1.5021
            ],
            [
              0.05446,
              0.10173,
              0.14485,
              0.22998,
              0.40489,
              0.7675,
              1.4995
            ],
            [
              0.0582,
              0.105,
              0.1473,
              0.2313,
              0.406,
              0.7665,
              1.4998
            ],
            [
              0.0638,
              0.1101,
              0.1519,
              0.2355,
              0.4079,
              0.7677,
              1.5017
            ],
            [
              0.0731,
              0.1181,
              0.1589,
              0.2408,
              0.4119,
              0.7701,
              1.5017
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.39666,
              0.44541,
              0.47728,
              0.52628,
              0.60307,
              0.73031,
              0.95817
            ],
            [
              0.39945,
              0.44823,
              0.48009,
              0.52909,
              0.60589,
              0.73314,
              0.96105
            ],
            [
              0.40316,
              0.45193,
              0.4838,
              0.53282,
              0.60962,
              0.73684,
              0.96488
            ],
            [
              0.40899,
              0.45778,
              0.48967,
              0.53868,
              0.6155,
              0.74274,
              0.97057
            ],
            [
              0.41812,
              0.46691,
              0.4988,
              0.54782,
              0.62465,
              0.75191,
              0.97981
            ],
            [
              0.43213,
              0.48091,
              0.51281,
              0.56184,
              0.63869,
              0.76593,
              0.99372
            ],
            [
              0.45348,
              0.50224,
              0.53411,
              0.58317,
              0.66002,
              0.78727,
              1.01533
            ],
            [
              0.48512,
              0.53388,
              0.56577,
              0.61481,
              0.69169,
              0.81896,
              1.04676
            ],
            [
              0.53139,
              0.58013,
              0.61199,
              0.66105,
              0.73793,
              0.86525,
              1.09325
            ],
            [
              0.59918,
              0.64789,
              0.67979,
              0.72879,
              0.80569,
              0.93309,
              1.16089
            ],
            [
              0.69972,
              0.74842,
              0.78022,
              0.82932,
              0.90622,
              1.03362,
              1.26142
            ],
            [
              0.84747,
              0.89687,
              0.92887,
              0.97807,
              1.05527,
              1.18287,
              1.41097
            ],
            [
              1.045,
              1.0992,
              1.1338,
              1.186,
              1.2662,
              1.3957,
              1.6246
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.26885,
              0.32707,
              0.36905,
              0.44187,
              0.57572,
              0.8361,
              1.35347
            ],
            [
              0.27202,
              0.33025,
              0.37223,
              0.44502,
              0.57887,
              0.83915,
              1.35724
            ],
            [
              0.27569,
              0.33391,
              0.37591,
              0.44874,
              0.58253,
              0.84306,
              1.35992
            ],
            [
              0.28085,
              0.33905,
              0.38105,
              0.45388,
              0.58776,
              0.84825,
              1.36528
            ],
            [
              0.28808,
              0.34629,
              0.38829,
              0.46114,
              0.595,
              0.85555,
              1.37221
            ],
            [
              0.29825,
              0.35646,
              0.39846,
              0.47132,
              0.60515,
              0.86571,
              1.38252
            ],
            [
              0.31259,
              0.3708,
              0.4128,
              0.48564,
              0.61949,
              0.88009,
              1.39683
            ],
            [
              0.33314,
              0.39136,
              0.43335,
              0.50612,
              0.63993,
              0.90056,
              1.41806
            ],
            [
              0.36308,
              0.42125,
              0.46319,
              0.5359,
              0.6697,
              0.93045,
              1.44845
            ],
            [
              0.40699,
              0.46519,
              0.50712,
              0.57991,
              0.71389,
              0.97429,
              1.49269
            ],
            [
              0.46632,
              0.52652,
              0.56912,
              0.64232,
              0.77652,
              1.03692,
              1.55512
            ],
            [
              0.54407,
              0.60687,
              0.65067,
              0.72517,
              0.86007,
              1.12117,
              1.63857
            ],
            [
              0.6443,
              0.7107,
              0.7562,
              0.8321,
              0.9682,
              1.2298,
              1.7477
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04575,
              0.07666,
              0.09963,
              0.13949,
              0.21067,
              0.34742,
              0.62469
            ],
            [
              0.04578,
              0.07664,
              0.09961,
              0.13957,
              0.21096,
              0.34721,
              0.62501
            ],
            [
              0.04576,
              0.07661,
              0.09976,
              0.13943,
              0.21096,
              0.34788,
              0.62539
            ],
            [
              0.04574,
              0.07667,
              0.09963,
              0.13951,
              0.21067,
              0.34742,
              0.62475
            ],
            [
              0.04576,
              0.07655,
              0.09962,
              0.13958,
              0.21074,
              0.34718,
              0.6249
            ],
            [
              0.04575,
              0.0765,
              0.09966,
              0.13938,
              0.21071,
              0.34763,
              0.62493
            ],
            [
              0.04575,
              0.07656,
              0.09982,
              0.13942,
              0.2109,
              0.34771,
              0.62536
            ],
            [
              0.04574,
              0.07653,
              0.09964,
              0.1394,
              0.21057,
              0.34761,
              0.62471
            ],
            [
              0.04577,
              0.07663,
              0.09963,
              0.13945,
              0.21135,
              0.34778,
              0.6254
            ],
            [
              0.04574,
              0.07649,
              0.09968,
              0.1394,
              0.2106,
              0.3476,
              0.6249
            ],
            [
              0.0458,
              0.0766,
              0.0997,
              0.1395,
              0.2106,
              0.3475,
              0.6248
            ],
            [
              0.0479,
              0.078,
              0.1007,
              0.1401,
              0.2109,
              0.3479,
              0.6249
            ],
            [
              0.055,
              0.0864,
              0.1098,
              0.1487,
              0.2181,
              0.3518,
              0.6271
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04449,
              0.09372,
              0.13729,
              0.22414,
              0.40227,
              0.76621,
              1.50261
            ],
            [
              0.04449,
              0.09388,
              0.13734,
              0.22468,
              0.40235,
              0.76659,
              1.50206
            ],
            [
              0.04453,
              0.09368,
              0.13736,
              0.22416,
              0.40174,
              0.76677,
              1.50217
            ],
            [
              0.0445,
              0.09372,
              0.13719,
              0.2242,
              0.40205,
              0.76577,
              1.50256
            ],
            [
              0.0445,
              0.09371,
              0.13743,
              0.22458,
              0.40191,
              0.76614,
              1.50252
            ],
            [
              0.04451,
              0.0937,
              0.13732,
              0.22427,
              0.40161,
              0.76674,
              1.5023
            ],
            [
              0.04449,
              0.09371,
              0.13732,
              0.22436,
              0.40162,
              0.76667,
              1.50232
            ],
            [
              0.04453,
              0.09373,
              0.13737,
              0.22413,
              0.40189,
              0.76702,
              1.50165
            ],
            [
              0.04445,
              0.0937,
              0.13736,
              0.22416,
              0.40221,
              0.76597,
              1.5002
            ],
            [
              0.0449,
              0.09386,
              0.13738,
              0.22421,
              0.40228,
              0.7663,
              1.5
            ],
            [
              0.04723,
              0.0963,
              0.1395,
              0.2253,
              0.402,
              0.7665,
              1.5022
            ],
            [
              0.0504,
              0.1001,
              0.1432,
              0.2284,
              0.4048,
              0.7675,
              1.5028
            ],
            [
              0.0551,
              0.1052,
              0.1481,
              0.2325,
              0.4073,
              0.7669,
              1.5018
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.48446,
              0.53856,
              0.57256,
              0.62395,
              0.7032,
              0.83272,
              1.06237
            ],
            [
              0.48701,
              0.54113,
              0.57513,
              0.62653,
              0.70579,
              0.83532,
              1.06484
            ],
            [
              0.49054,
              0.54467,
              0.57866,
              0.63005,
              0.70932,
              0.83885,
              1.06872
            ],
            [
              0.49616,
              0.55031,
              0.58432,
              0.63574,
              0.715,
              0.84454,
              1.07408
            ],
            [
              0.50506,
              0.5592,
              0.59323,
              0.64462,
              0.72392,
              0.85346,
              1.08331
            ],
            [
              0.51884,
              0.57297,
              0.60698,
              0.65839,
              0.73769,
              0.86726,
              1.09712
            ],
            [
              0.53981,
              0.59394,
              0.62789,
              0.67932,
              0.75862,
              0.88827,
              1.11793
            ],
            [
              0.57076,
              0.62488,
              0.65889,
              0.71031,
              0.78963,
              0.91926,
              1.14886
            ],
            [
              0.61517,
              0.66928,
              0.70328,
              0.75475,
              0.83405,
              0.96365,
              1.19325
            ],
            [
              0.67889,
              0.73299,
              0.76699,
              0.81829,
              0.89769,
              1.02729,
              1.25719
            ],
            [
              0.77172,
              0.82582,
              0.85972,
              0.91112,
              0.99052,
              1.12022,
              1.35012
            ],
            [
              0.90807,
              0.96217,
              0.99617,
              1.04757,
              1.12707,
              1.25677,
              1.48667
            ],
            [
              1.0951,
              1.153,
              1.1887,
              1.242,
              1.3232,
              1.454,
              1.6843
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.24872,
              0.307,
              0.34903,
              0.42183,
              0.55571,
              0.81595,
              1.33397
            ],
            [
              0.25183,
              0.31012,
              0.35217,
              0.425,
              0.55866,
              0.81915,
              1.33704
            ],
            [
              0.25544,
              0.31371,
              0.35575,
              0.42865,
              0.56249,
              0.82297,
              1.33942
            ],
            [
              0.26049,
              0.31877,
              0.3608,
              0.43363,
              0.56752,
              0.82778,
              1.34578
            ],
            [
              0.26765,
              0.32593,
              0.36797,
              0.44084,
              0.57463,
              0.83515,
              1.35241
            ],
            [
              0.27775,
              0.33602,
              0.37807,
              0.45094,
              0.58478,
              0.84531,
              1.36242
            ],
            [
              0.29205,
              0.35032,
              0.39237,
              0.46521,
              0.59901,
              0.85959,
              1.37713
            ],
            [
              0.31261,
              0.37087,
              0.41286,
              0.48563,
              0.61958,
              0.87976,
              1.39816
            ],
            [
              0.34264,
              0.40081,
              0.44276,
              0.51553,
              0.64954,
              0.91015,
              1.42725
            ],
            [
              0.386,
              0.44444,
              0.48645,
              0.55928,
              0.69329,
              0.95389,
              1.47089
            ],
            [
              0.44353,
              0.50412,
              0.54702,
              0.62032,
              0.75472,
              1.01552,
              1.53262
            ],
            [
              0.51867,
              0.58207,
              0.62607,
              0.70077,
              0.83587,
              1.09707,
              1.61487
            ],
            [
              0.6149,
              0.6821,
              0.7279,
              0.8041,
              0.9405,
              1.2024,
              1.7202
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05625,
              0.08696,
              0.10946,
              0.14888,
              0.21998,
              0.35544,
              0.63142
            ],
            [
              0.05625,
              0.0869,
              0.10946,
              0.14887,
              0.21981,
              0.35533,
              0.63162
            ],
            [
              0.05621,
              0.08686,
              0.10947,
              0.14873,
              0.21927,
              0.35508,
              0.6323
            ],
            [
              0.05625,
              0.0869,
              0.10946,
              0.14888,
              0.21989,
              0.35543,
              0.63151
            ],
            [
              0.05625,
              0.0869,
              0.10964,
              0.14861,
              0.21935,
              0.35564,
              0.63226
            ],
            [
              0.05621,
              0.08685,
              0.10947,
              0.14875,
              0.2193,
              0.35517,
              0.63228
            ],
            [
              0.05626,
              0.08686,
              0.10944,
              0.14887,
              0.21973,
              0.35527,
              0.63186
            ],
            [
              0.05625,
              0.08691,
              0.10943,
              0.14887,
              0.21994,
              0.35542,
              0.6314
            ],
            [
              0.05623,
              0.08694,
              0.10946,
              0.14887,
              0.22002,
              0.3554,
              0.6313
            ],
            [
              0.0562,
              0.0869,
              0.1094,
              0.1487,
              0.2193,
              0.3557,
              0.6321
            ],
            [
              0.0563,
              0.0869,
              0.1095,
              0.1488,
              0.2193,
              0.3552,
              0.6321
            ],
            [
              0.0568,
              0.0872,
              0.1097,
              0.149,
              0.2194,
              0.3555,
              0.6314
            ],
            [
              0.0631,
              0.0938,
              0.116,
              0.1546,
              0.2237,
              0.3578,
              0.633
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04444,
              0.09367,
              0.13724,
              0.22429,
              0.40221,
              0.76642,
              1.50199
            ],
            [
              0.04444,
              0.0936,
              0.13724,
              0.224,
              0.40201,
              0.76574,
              1.49923
            ],
            [
              0.0444,
              0.09363,
              0.13721,
              0.2241,
              0.40182,
              0.76601,
              1.50221
            ],
            [
              0.04443,
              0.0938,
              0.13727,
              0.22441,
              0.40221,
              0.76639,
              1.50206
            ],
            [
              0.0444,
              0.09363,
              0.13733,
              0.22403,
              0.40173,
              0.76682,
              1.50154
            ],
            [
              0.04439,
              0.09363,
              0.1375,
              0.22404,
              0.40162,
              0.7667,
              1.50179
            ],
            [
              0.04442,
              0.09362,
              0.13732,
              0.22402,
              0.40184,
              0.76737,
              1.50117
            ],
            [
              0.04443,
              0.09364,
              0.13722,
              0.22425,
              0.4022,
              0.76655,
              1.50133
            ],
            [
              0.04431,
              0.09356,
              0.13721,
              0.22439,
              0.40208,
              0.76553,
              1.5025
            ],
            [
              0.04529,
              0.09398,
              0.13741,
              0.22407,
              0.40181,
              0.76556,
              1.5014
            ],
            [
              0.04776,
              0.0969,
              0.1398,
              0.2255,
              0.402,
              0.7664,
              1.504
            ],
            [
              0.0512,
              0.1006,
              0.1435,
              0.2289,
              0.4038,
              0.7671,
              1.5024
            ],
            [
              0.0562,
              0.1061,
              0.1488,
              0.2332,
              0.4077,
              0.7679,
              1.5008
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.51142,
              0.56524,
              0.59915,
              0.65046,
              0.72967,
              0.85926,
              1.08937
            ],
            [
              0.51407,
              0.5679,
              0.60181,
              0.65313,
              0.73237,
              0.86194,
              1.09194
            ],
            [
              0.51766,
              0.57153,
              0.60544,
              0.65674,
              0.73599,
              0.86558,
              1.09552
            ],
            [
              0.52343,
              0.57729,
              0.6112,
              0.66253,
              0.74177,
              0.87135,
              1.10137
            ],
            [
              0.53248,
              0.58635,
              0.62027,
              0.67159,
              0.75086,
              0.88045,
              1.11031
            ],
            [
              0.5464,
              0.60027,
              0.63419,
              0.68552,
              0.7648,
              0.8944,
              1.12432
            ],
            [
              0.56757,
              0.62142,
              0.65534,
              0.70668,
              0.78598,
              0.91553,
              1.14553
            ],
            [
              0.59874,
              0.65257,
              0.68649,
              0.73783,
              0.81712,
              0.94676,
              1.17676
            ],
            [
              0.64345,
              0.69729,
              0.7312,
              0.78255,
              0.86185,
              0.99145,
              1.22135
            ],
            [
              0.70779,
              0.76159,
              0.79549,
              0.84679,
              0.92609,
              1.05579,
              1.28599
            ],
            [
              0.80182,
              0.85562,
              0.88942,
              0.94072,
              1.02012,
              1.14982,
              1.37982
            ],
            [
              0.94057,
              0.99437,
              1.02827,
              1.07957,
              1.15897,
              1.28877,
              1.51897
            ],
            [
              1.1363,
              1.1931,
              1.2282,
              1.2809,
              1.3613,
              1.4917,
              1.7223
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.26222,
              0.32766,
              0.37256,
              0.44812,
              0.58396,
              0.8448,
              1.36187
            ],
            [
              0.26533,
              0.33078,
              0.37567,
              0.45127,
              0.58705,
              0.84792,
              1.36514
            ],
            [
              0.26894,
              0.33439,
              0.37927,
              0.45481,
              0.59055,
              0.85124,
              1.36982
            ],
            [
              0.274,
              0.33946,
              0.38434,
              0.45992,
              0.59579,
              0.85667,
              1.37428
            ],
            [
              0.28115,
              0.34661,
              0.39149,
              0.46706,
              0.60295,
              0.86384,
              1.38151
            ],
            [
              0.29125,
              0.3567,
              0.40159,
              0.47717,
              0.61306,
              0.87398,
              1.39182
            ],
            [
              0.30555,
              0.37101,
              0.41589,
              0.49144,
              0.62722,
              0.88792,
              1.40563
            ],
            [
              0.32612,
              0.39154,
              0.4364,
              0.51198,
              0.64784,
              0.90886,
              1.42536
            ],
            [
              0.35609,
              0.42144,
              0.46625,
              0.54179,
              0.6777,
              0.93875,
              1.45615
            ],
            [
              0.39963,
              0.46515,
              0.50999,
              0.58562,
              0.72139,
              0.98219,
              1.49949
            ],
            [
              0.45792,
              0.52592,
              0.57162,
              0.64772,
              0.78382,
              1.04522,
              1.56282
            ],
            [
              0.53417,
              0.60547,
              0.65267,
              0.73027,
              0.86747,
              1.12887,
              1.64767
            ],
            [
              0.6319,
              0.7079,
              0.7571,
              0.8368,
              0.9756,
              1.2379,
              1.7556
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05579,
              0.0865,
              0.10911,
              0.14851,
              0.21911,
              0.35503,
              0.63261
            ],
            [
              0.05583,
              0.08644,
              0.10906,
              0.14835,
              0.21908,
              0.35548,
              0.63174
            ],
            [
              0.05593,
              0.08645,
              0.10909,
              0.14823,
              0.21936,
              0.35526,
              0.63226
            ],
            [
              0.05582,
              0.08653,
              0.10907,
              0.14839,
              0.21898,
              0.35587,
              0.63216
            ],
            [
              0.0559,
              0.08644,
              0.10909,
              0.14827,
              0.21912,
              0.35537,
              0.63205
            ],
            [
              0.05591,
              0.08645,
              0.10909,
              0.14827,
              0.21911,
              0.35532,
              0.6321
            ],
            [
              0.0559,
              0.08644,
              0.10908,
              0.1483,
              0.2191,
              0.35533,
              0.6319
            ],
            [
              0.05592,
              0.08645,
              0.10905,
              0.14837,
              0.21898,
              0.35526,
              0.6319
            ],
            [
              0.0559,
              0.08644,
              0.10909,
              0.14826,
              0.21913,
              0.3553,
              0.632
            ],
            [
              0.0558,
              0.0865,
              0.1093,
              0.1486,
              0.2192,
              0.3551,
              0.6327
            ],
            [
              0.0558,
              0.0865,
              0.1091,
              0.1483,
              0.2191,
              0.3553,
              0.6321
            ],
            [
              0.0559,
              0.0865,
              0.1093,
              0.1486,
              0.2191,
              0.3555,
              0.6326
            ],
            [
              0.0613,
              0.0918,
              0.1141,
              0.1526,
              0.2217,
              0.3573,
              0.6332
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05374,
              0.10166,
              0.14461,
              0.23014,
              0.40542,
              0.76688,
              1.5009
            ],
            [
              0.05373,
              0.10152,
              0.14469,
              0.23023,
              0.4051,
              0.76701,
              1.50094
            ],
            [
              0.0537,
              0.10153,
              0.14455,
              0.23011,
              0.40558,
              0.76763,
              1.49979
            ],
            [
              0.05374,
              0.10148,
              0.1446,
              0.23012,
              0.40555,
              0.76664,
              1.50088
            ],
            [
              0.05369,
              0.10146,
              0.14459,
              0.23013,
              0.40552,
              0.7666,
              1.50084
            ],
            [
              0.05369,
              0.10151,
              0.14462,
              0.23014,
              0.40547,
              0.76656,
              1.50081
            ],
            [
              0.05367,
              0.10148,
              0.14455,
              0.2301,
              0.40523,
              0.76757,
              1.5014
            ],
            [
              0.05371,
              0.1015,
              0.14469,
              0.23028,
              0.40515,
              0.7672,
              1.50225
            ],
            [
              0.0536,
              0.10148,
              0.1447,
              0.23019,
              0.40506,
              0.76692,
              1.5009
            ],
            [
              0.0546,
              0.10194,
              0.14491,
              0.23018,
              0.40523,
              0.7675,
              1.502
            ],
            [
              0.0577,
              0.105,
              0.1474,
              0.2314,
              0.4061,
              0.7672,
              1.502
            ],
            [
              0.062,
              0.1095,
              0.1518,
              0.2355,
              0.4085,
              0.7688,
              1.5011
            ],
            [
              0.0684,
              0.1161,
              0.1579,
              0.2408,
              0.412,
              0.769,
              1.5017
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.22619,
              0.26705,
              0.29356,
              0.33471,
              0.40118,
              0.51764,
              0.73733
            ],
            [
              0.229,
              0.26989,
              0.29636,
              0.33752,
              0.40419,
              0.52063,
              0.74024
            ],
            [
              0.23242,
              0.27334,
              0.29985,
              0.34103,
              0.4075,
              0.52397,
              0.74363
            ],
            [
              0.2376,
              0.27851,
              0.30501,
              0.34625,
              0.41297,
              0.52941,
              0.74894
            ],
            [
              0.24562,
              0.28651,
              0.31302,
              0.3542,
              0.42086,
              0.53733,
              0.75717
            ],
            [
              0.25811,
              0.29885,
              0.32538,
              0.36653,
              0.43324,
              0.54943,
              0.76932
            ],
            [
              0.27754,
              0.3183,
              0.34465,
              0.38627,
              0.45291,
              0.56945,
              0.78909
            ],
            [
              0.30788,
              0.34864,
              0.37504,
              0.41629,
              0.48287,
              0.59944,
              0.81913
            ],
            [
              0.35426,
              0.39482,
              0.42125,
              0.4624,
              0.52918,
              0.64576,
              0.86575
            ],
            [
              0.42478,
              0.46528,
              0.49165,
              0.53286,
              0.59974,
              0.71639,
              0.93639
            ],
            [
              0.52562,
              0.56822,
              0.59512,
              0.63682,
              0.70402,
              0.82082,
              1.04112
            ],
            [
              0.65427,
              0.70237,
              0.73167,
              0.77577,
              0.84547,
              0.96367,
              1.18407
            ],
            [
              0.815,
              0.8712,
              0.9041,
              0.9519,
              1.0249,
              1.1463,
              1.3688
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.14618,
              0.19523,
              0.233,
              0.30123,
              0.43184,
              0.69022,
              1.20507
            ],
            [
              0.149,
              0.19806,
              0.2357,
              0.30403,
              0.43441,
              0.6929,
              1.20834
            ],
            [
              0.15241,
              0.20146,
              0.23922,
              0.30746,
              0.43792,
              0.69581,
              1.21192
            ],
            [
              0.15757,
              0.20663,
              0.24422,
              0.31254,
              0.44327,
              0.70178,
              1.21608
            ],
            [
              0.16542,
              0.21447,
              0.25211,
              0.32043,
              0.45089,
              0.70905,
              1.22521
            ],
            [
              0.17721,
              0.22621,
              0.26381,
              0.33202,
              0.46265,
              0.72129,
              1.23632
            ],
            [
              0.19501,
              0.24394,
              0.28154,
              0.34968,
              0.48045,
              0.73845,
              1.25483
            ],
            [
              0.22193,
              0.27067,
              0.30812,
              0.37629,
              0.50686,
              0.76555,
              1.28136
            ],
            [
              0.26026,
              0.30944,
              0.34686,
              0.41494,
              0.54577,
              0.80465,
              1.32025
            ],
            [
              0.30853,
              0.35954,
              0.3977,
              0.46623,
              0.59707,
              0.85609,
              1.37099
            ],
            [
              0.36716,
              0.42085,
              0.45982,
              0.52932,
              0.66072,
              0.91942,
              1.43452
            ],
            [
              0.43657,
              0.49507,
              0.53527,
              0.60527,
              0.73727,
              0.99667,
              1.51217
            ],
            [
              0.5162,
              0.5826,
              0.6249,
              0.6964,
              0.8284,
              1.0883,
              1.6029
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03637,
              0.06184,
              0.08167,
              0.11768,
              0.18615,
              0.32376,
              0.60878
            ],
            [
              0.03638,
              0.06184,
              0.08178,
              0.11772,
              0.18636,
              0.32355,
              0.60839
            ],
            [
              0.03638,
              0.06182,
              0.08172,
              0.11766,
              0.18617,
              0.3238,
              0.6088
            ],
            [
              0.0364,
              0.06192,
              0.08174,
              0.11768,
              0.18631,
              0.32356,
              0.60872
            ],
            [
              0.03638,
              0.06184,
              0.08171,
              0.11769,
              0.18619,
              0.32358,
              0.60855
            ],
            [
              0.03644,
              0.06184,
              0.08175,
              0.11767,
              0.1861,
              0.32367,
              0.60918
            ],
            [
              0.0364,
              0.06184,
              0.08174,
              0.11769,
              0.18609,
              0.32362,
              0.60916
            ],
            [
              0.0364,
              0.06192,
              0.08195,
              0.11763,
              0.18615,
              0.32379,
              0.6089
            ],
            [
              0.03638,
              0.06196,
              0.08198,
              0.11775,
              0.18611,
              0.32366,
              0.6083
            ],
            [
              0.03658,
              0.06219,
              0.08206,
              0.11794,
              0.18617,
              0.32358,
              0.6091
            ],
            [
              0.0416,
              0.0656,
              0.0847,
              0.1194,
              0.1871,
              0.324,
              0.6092
            ],
            [
              0.051,
              0.0753,
              0.0939,
              0.1279,
              0.1934,
              0.3276,
              0.6105
            ],
            [
              0.0637,
              0.0895,
              0.1073,
              0.1402,
              0.204,
              0.3359,
              0.6142
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03411,
              0.07976,
              0.1229,
              0.21115,
              0.39174,
              0.75694,
              1.49029
            ],
            [
              0.03411,
              0.07977,
              0.12298,
              0.21122,
              0.39208,
              0.75753,
              1.49083
            ],
            [
              0.03409,
              0.07977,
              0.12309,
              0.21122,
              0.39209,
              0.75876,
              1.49318
            ],
            [
              0.03409,
              0.07976,
              0.12287,
              0.21111,
              0.39185,
              0.75751,
              1.49038
            ],
            [
              0.03409,
              0.07976,
              0.12304,
              0.21123,
              0.39207,
              0.7586,
              1.49308
            ],
            [
              0.03413,
              0.07978,
              0.12301,
              0.21088,
              0.39205,
              0.75695,
              1.49033
            ],
            [
              0.03419,
              0.07983,
              0.12314,
              0.21104,
              0.39196,
              0.75864,
              1.4919
            ],
            [
              0.03414,
              0.07993,
              0.12306,
              0.21108,
              0.39208,
              0.75722,
              1.49072
            ],
            [
              0.03558,
              0.08064,
              0.12343,
              0.21148,
              0.39181,
              0.75688,
              1.49211
            ],
            [
              0.03877,
              0.08344,
              0.12569,
              0.2126,
              0.39187,
              0.75787,
              1.4903
            ],
            [
              0.04397,
              0.08748,
              0.12914,
              0.2152,
              0.3939,
              0.7582,
              1.4908
            ],
            [
              0.0522,
              0.0937,
              0.134,
              0.2183,
              0.3959,
              0.7599,
              1.4909
            ],
            [
              0.0636,
              0.104,
              0.1418,
              0.2235,
              0.3976,
              0.76,
              1.4933
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.25397,
              0.29802,
              0.32635,
              0.37001,
              0.4396,
              0.55893,
              0.78024
            ],
            [
              0.25667,
              0.30074,
              0.32911,
              0.37276,
              0.44237,
              0.56165,
              0.78273
            ],
            [
              0.25984,
              0.30395,
              0.3323,
              0.37601,
              0.4456,
              0.5649,
              0.78635
            ],
            [
              0.26473,
              0.30888,
              0.33724,
              0.38095,
              0.45053,
              0.56986,
              0.79139
            ],
            [
              0.27234,
              0.3164,
              0.3448,
              0.38852,
              0.4582,
              0.57739,
              0.79894
            ],
            [
              0.2843,
              0.32827,
              0.35661,
              0.40028,
              0.46992,
              0.58917,
              0.81059
            ],
            [
              0.30291,
              0.34688,
              0.37556,
              0.41925,
              0.48884,
              0.60812,
              0.82963
            ],
            [
              0.33188,
              0.37627,
              0.40454,
              0.44817,
              0.51786,
              0.63719,
              0.85886
            ],
            [
              0.37731,
              0.42109,
              0.44941,
              0.49306,
              0.5628,
              0.68222,
              0.90365
            ],
            [
              0.44612,
              0.48989,
              0.5181,
              0.56176,
              0.63159,
              0.75109,
              0.97269
            ],
            [
              0.54762,
              0.59212,
              0.62062,
              0.66452,
              0.73452,
              0.85412,
              1.07602
            ],
            [
              0.67937,
              0.72937,
              0.75977,
              0.80587,
              0.87777,
              0.99847,
              1.22057
            ],
            [
              0.8437,
              0.9018,
              0.9354,
              0.9849,
              1.0602,
              1.1842,
              1.4083
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.14628,
              0.19543,
              0.2333,
              0.30174,
              0.4326,
              0.69209,
              1.20757
            ],
            [
              0.1491,
              0.19828,
              0.23606,
              0.30457,
              0.43549,
              0.69414,
              1.21204
            ],
            [
              0.15256,
              0.20171,
              0.23958,
              0.30803,
              0.43911,
              0.69829,
              1.21512
            ],
            [
              0.15776,
              0.20691,
              0.24463,
              0.31315,
              0.44429,
              0.70362,
              1.21988
            ],
            [
              0.16565,
              0.21479,
              0.25257,
              0.32109,
              0.4521,
              0.71115,
              1.22831
            ],
            [
              0.17751,
              0.22662,
              0.26431,
              0.3327,
              0.46393,
              0.72331,
              1.23982
            ],
            [
              0.19538,
              0.24441,
              0.28211,
              0.35046,
              0.48167,
              0.74053,
              1.25853
            ],
            [
              0.22236,
              0.2712,
              0.30875,
              0.37712,
              0.50817,
              0.76765,
              1.28496
            ],
            [
              0.26079,
              0.30992,
              0.34745,
              0.41584,
              0.54701,
              0.80675,
              1.32435
            ],
            [
              0.30893,
              0.36003,
              0.39829,
              0.467,
              0.59803,
              0.85809,
              1.37529
            ],
            [
              0.36764,
              0.42142,
              0.46052,
              0.53002,
              0.66192,
              0.92152,
              1.43872
            ],
            [
              0.43697,
              0.49547,
              0.53567,
              0.60607,
              0.73847,
              0.99857,
              1.51587
            ],
            [
              0.5167,
              0.583,
              0.6255,
              0.697,
              0.8296,
              1.09,
              1.6066
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04058,
              0.06733,
              0.08785,
              0.12461,
              0.1935,
              0.33014,
              0.61307
            ],
            [
              0.04061,
              0.06731,
              0.08785,
              0.1246,
              0.19347,
              0.33024,
              0.61275
            ],
            [
              0.04057,
              0.06732,
              0.08788,
              0.12457,
              0.19364,
              0.33019,
              0.61269
            ],
            [
              0.04054,
              0.06732,
              0.08786,
              0.12455,
              0.19352,
              0.33015,
              0.61291
            ],
            [
              0.04057,
              0.06734,
              0.08784,
              0.12478,
              0.19345,
              0.33017,
              0.61292
            ],
            [
              0.04057,
              0.06744,
              0.08785,
              0.12461,
              0.19339,
              0.33019,
              0.61248
            ],
            [
              0.04058,
              0.06744,
              0.08786,
              0.1246,
              0.19355,
              0.32988,
              0.61306
            ],
            [
              0.04056,
              0.06734,
              0.08794,
              0.12495,
              0.1934,
              0.33004,
              0.61302
            ],
            [
              0.04059,
              0.06743,
              0.08799,
              0.12472,
              0.19351,
              0.33015,
              0.61254
            ],
            [
              0.04058,
              0.06747,
              0.08813,
              0.12501,
              0.19351,
              0.33014,
              0.6126
            ],
            [
              0.044,
              0.0695,
              0.0895,
              0.1257,
              0.1941,
              0.3305,
              0.6131
            ],
            [
              0.0535,
              0.0788,
              0.098,
              0.1329,
              0.1994,
              0.3332,
              0.6136
            ],
            [
              0.0665,
              0.0931,
              0.1114,
              0.1449,
              0.21,
              0.3417,
              0.6183
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03415,
              0.07995,
              0.12319,
              0.21175,
              0.3932,
              0.75994,
              1.49595
            ],
            [
              0.03421,
              0.07998,
              0.12345,
              0.2118,
              0.39323,
              0.76098,
              1.49419
            ],
            [
              0.03414,
              0.07994,
              0.12321,
              0.21173,
              0.39281,
              0.75941,
              1.49474
            ],
            [
              0.03413,
              0.07993,
              0.12318,
              0.21171,
              0.39301,
              0.75948,
              1.49493
            ],
            [
              0.03416,
              0.07996,
              0.12347,
              0.21181,
              0.39321,
              0.76085,
              1.49737
            ],
            [
              0.03419,
              0.07995,
              0.12329,
              0.21156,
              0.39302,
              0.75921,
              1.49488
            ],
            [
              0.03413,
              0.08005,
              0.12344,
              0.21159,
              0.39309,
              0.76093,
              1.49641
            ],
            [
              0.03421,
              0.08009,
              0.12338,
              0.21167,
              0.39325,
              0.76075,
              1.4951
            ],
            [
              0.03555,
              0.08071,
              0.12373,
              0.21202,
              0.3932,
              0.75943,
              1.49644
            ],
            [
              0.0388,
              0.08363,
              0.12608,
              0.2132,
              0.3935,
              0.75978,
              1.4973
            ],
            [
              0.04391,
              0.08757,
              0.12949,
              0.21579,
              0.3952,
              0.7607,
              1.4955
            ],
            [
              0.0522,
              0.0938,
              0.1341,
              0.2191,
              0.3971,
              0.7621,
              1.4955
            ],
            [
              0.0635,
              0.1041,
              0.142,
              0.2234,
              0.3993,
              0.7621,
              1.4976
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.24557,
              0.28868,
              0.3165,
              0.35941,
              0.42813,
              0.54628,
              0.76706
            ],
            [
              0.24829,
              0.29144,
              0.31924,
              0.36207,
              0.43082,
              0.54922,
              0.77027
            ],
            [
              0.25149,
              0.29466,
              0.32251,
              0.36546,
              0.43418,
              0.55228,
              0.77332
            ],
            [
              0.25644,
              0.29963,
              0.32745,
              0.37034,
              0.43909,
              0.55749,
              0.77856
            ],
            [
              0.26415,
              0.30727,
              0.33513,
              0.37808,
              0.44676,
              0.56509,
              0.78624
            ],
            [
              0.27623,
              0.31928,
              0.34709,
              0.39007,
              0.45884,
              0.57725,
              0.79777
            ],
            [
              0.29509,
              0.33811,
              0.36625,
              0.4092,
              0.478,
              0.59644,
              0.81735
            ],
            [
              0.32436,
              0.36781,
              0.39551,
              0.43843,
              0.5072,
              0.6256,
              0.84656
            ],
            [
              0.37017,
              0.41299,
              0.44077,
              0.48367,
              0.55252,
              0.67094,
              0.89215
            ],
            [
              0.43952,
              0.48231,
              0.50997,
              0.55291,
              0.62182,
              0.74039,
              0.96159
            ],
            [
              0.54092,
              0.58472,
              0.61282,
              0.65622,
              0.72532,
              0.84402,
              1.06522
            ],
            [
              0.67157,
              0.72107,
              0.75117,
              0.79667,
              0.86797,
              0.98777,
              1.20937
            ],
            [
              0.8347,
              0.8923,
              0.9256,
              0.9746,
              1.0493,
              1.1725,
              1.3963
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.14623,
              0.1953,
              0.23307,
              0.30134,
              0.4319,
              0.69076,
              1.20507
            ],
            [
              0.14905,
              0.19814,
              0.23583,
              0.30409,
              0.43485,
              0.69356,
              1.20824
            ],
            [
              0.1525,
              0.20157,
              0.23933,
              0.30767,
              0.43842,
              0.69697,
              1.21252
            ],
            [
              0.15768,
              0.20675,
              0.24438,
              0.31276,
              0.44361,
              0.70229,
              1.21728
            ],
            [
              0.16558,
              0.21464,
              0.25234,
              0.32059,
              0.45152,
              0.71017,
              1.22531
            ],
            [
              0.17742,
              0.22644,
              0.26405,
              0.33229,
              0.4632,
              0.72195,
              1.23712
            ],
            [
              0.19527,
              0.2442,
              0.28181,
              0.35002,
              0.48092,
              0.73917,
              1.25593
            ],
            [
              0.22223,
              0.27098,
              0.30846,
              0.37667,
              0.50741,
              0.76621,
              1.28236
            ],
            [
              0.26062,
              0.30967,
              0.34714,
              0.41536,
              0.54617,
              0.80515,
              1.32155
            ],
            [
              0.30878,
              0.3598,
              0.39796,
              0.46654,
              0.59726,
              0.85669,
              1.37259
            ],
            [
              0.36749,
              0.42119,
              0.46012,
              0.52962,
              0.66122,
              0.92022,
              1.43602
            ],
            [
              0.43677,
              0.49517,
              0.53537,
              0.60557,
              0.73757,
              0.99717,
              1.51317
            ],
            [
              0.5164,
              0.5827,
              0.6251,
              0.6965,
              0.8287,
              1.0885,
              1.6038
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03938,
              0.0658,
              0.08617,
              0.12282,
              0.19142,
              0.32829,
              0.61112
            ],
            [
              0.03937,
              0.06578,
              0.08626,
              0.12271,
              0.19136,
              0.32813,
              0.61175
            ],
            [
              0.03935,
              0.06579,
              0.08613,
              0.12294,
              0.19136,
              0.32834,
              0.61131
            ],
            [
              0.03937,
              0.0658,
              0.08631,
              0.12266,
              0.19133,
              0.3281,
              0.61181
            ],
            [
              0.03939,
              0.06591,
              0.08612,
              0.12289,
              0.19141,
              0.32792,
              0.61159
            ],
            [
              0.03936,
              0.06591,
              0.08621,
              0.12278,
              0.19145,
              0.3282,
              0.61165
            ],
            [
              0.03938,
              0.06592,
              0.08629,
              0.12294,
              0.19134,
              0.32819,
              0.61165
            ],
            [
              0.03936,
              0.06581,
              0.08638,
              0.12266,
              0.19136,
              0.32818,
              0.61162
            ],
            [
              0.03941,
              0.06601,
              0.0863,
              0.12271,
              0.19145,
              0.32787,
              0.61174
            ],
            [
              0.03941,
              0.06597,
              0.08637,
              0.12305,
              0.19138,
              0.32822,
              0.6117
            ],
            [
              0.0433,
              0.0685,
              0.0881,
              0.1239,
              0.1921,
              0.3283,
              0.6116
            ],
            [
              0.0529,
              0.078,
              0.0969,
              0.1315,
              0.1976,
              0.3312,
              0.6127
            ],
            [
              0.0658,
              0.0922,
              0.1104,
              0.1436,
              0.2084,
              0.3401,
              0.617
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03412,
              0.07983,
              0.1232,
              0.21128,
              0.39235,
              0.7583,
              1.49261
            ],
            [
              0.03417,
              0.07983,
              0.12318,
              0.21101,
              0.39234,
              0.75795,
              1.49152
            ],
            [
              0.03412,
              0.07982,
              0.12316,
              0.21135,
              0.39196,
              0.75776,
              1.4914
            ],
            [
              0.0341,
              0.0798,
              0.12293,
              0.21128,
              0.39213,
              0.75785,
              1.49159
            ],
            [
              0.0341,
              0.07982,
              0.1232,
              0.21127,
              0.3919,
              0.75756,
              1.49149
            ],
            [
              0.03413,
              0.07982,
              0.12308,
              0.21113,
              0.39215,
              0.7576,
              1.49148
            ],
            [
              0.03411,
              0.07986,
              0.12313,
              0.21118,
              0.39224,
              0.75924,
              1.49313
            ],
            [
              0.03419,
              0.07997,
              0.12316,
              0.21125,
              0.39242,
              0.75907,
              1.49174
            ],
            [
              0.03555,
              0.08068,
              0.12354,
              0.21161,
              0.39242,
              0.75808,
              1.49321
            ],
            [
              0.03877,
              0.0835,
              0.12602,
              0.21277,
              0.39269,
              0.75812,
              1.4939
            ],
            [
              0.04391,
              0.08745,
              0.1292,
              0.21535,
              0.3943,
              0.7588,
              1.4922
            ],
            [
              0.0521,
              0.0937,
              0.1341,
              0.2186,
              0.3962,
              0.7605,
              1.4922
            ],
            [
              0.0635,
              0.104,
              0.1418,
              0.2231,
              0.3986,
              0.7601,
              1.4943
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.31817,
              0.36943,
              0.402,
              0.45144,
              0.52807,
              0.65477,
              0.88164
            ],
            [
              0.32057,
              0.37191,
              0.40447,
              0.45391,
              0.5307,
              0.65711,
              0.88376
            ],
            [
              0.3233,
              0.37464,
              0.40723,
              0.45668,
              0.53352,
              0.66014,
              0.88634
            ],
            [
              0.32755,
              0.37893,
              0.41153,
              0.46098,
              0.53778,
              0.66436,
              0.89099
            ],
            [
              0.33431,
              0.38559,
              0.4182,
              0.46766,
              0.54444,
              0.67101,
              0.89776
            ],
            [
              0.34507,
              0.3963,
              0.4289,
              0.47836,
              0.55518,
              0.68179,
              0.90848
            ],
            [
              0.36241,
              0.41362,
              0.44617,
              0.49561,
              0.57249,
              0.69916,
              0.92603
            ],
            [
              0.38911,
              0.44064,
              0.47315,
              0.52256,
              0.59933,
              0.72593,
              0.95296
            ],
            [
              0.43175,
              0.48232,
              0.51522,
              0.5646,
              0.64147,
              0.76835,
              0.99515
            ],
            [
              0.49689,
              0.5479,
              0.58034,
              0.62969,
              0.70659,
              0.83339,
              1.06029
            ],
            [
              0.59632,
              0.64722,
              0.67942,
              0.72882,
              0.80582,
              0.93272,
              1.15992
            ],
            [
              0.73447,
              0.78897,
              0.82247,
              0.87287,
              0.95057,
              1.07797,
              1.30527
            ],
            [
              0.9064,
              0.9688,
              1.0054,
              1.0588,
              1.1396,
              1.2704,
              1.4992
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.14632,
              0.19547,
              0.23334,
              0.30179,
              0.43262,
              0.69213,
              1.20747
            ],
            [
              0.14918,
              0.19836,
              0.23613,
              0.30458,
              0.43547,
              0.69493,
              1.21174
            ],
            [
              0.15268,
              0.20183,
              0.23968,
              0.30818,
              0.43924,
              0.69841,
              1.21522
            ],
            [
              0.15795,
              0.20711,
              0.24482,
              0.31333,
              0.4445,
              0.70379,
              1.22008
            ],
            [
              0.1659,
              0.21504,
              0.25283,
              0.32132,
              0.45246,
              0.71177,
              1.22811
            ],
            [
              0.17786,
              0.22697,
              0.26468,
              0.3331,
              0.46435,
              0.72362,
              1.24042
            ],
            [
              0.19582,
              0.24485,
              0.28257,
              0.3509,
              0.48215,
              0.74161,
              1.25743
            ],
            [
              0.22288,
              0.27173,
              0.3093,
              0.37767,
              0.50865,
              0.76837,
              1.28546
            ],
            [
              0.26139,
              0.3105,
              0.34807,
              0.4164,
              0.54767,
              0.80705,
              1.32495
            ],
            [
              0.30956,
              0.36065,
              0.39897,
              0.46771,
              0.59899,
              0.85859,
              1.37619
            ],
            [
              0.36831,
              0.42205,
              0.46112,
              0.53072,
              0.66252,
              0.92222,
              1.43942
            ],
            [
              0.43757,
              0.49607,
              0.53637,
              0.60667,
              0.73907,
              0.99917,
              1.51647
            ],
            [
              0.5171,
              0.5834,
              0.6258,
              0.6975,
              0.8298,
              1.0907,
              1.6069
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05053,
              0.08042,
              0.10281,
              0.14132,
              0.21186,
              0.3474,
              0.62478
            ],
            [
              0.05053,
              0.08044,
              0.10273,
              0.14142,
              0.21142,
              0.34783,
              0.62503
            ],
            [
              0.05054,
              0.0804,
              0.10277,
              0.14143,
              0.21151,
              0.34773,
              0.62437
            ],
            [
              0.0505,
              0.08054,
              0.10273,
              0.14142,
              0.21139,
              0.34768,
              0.62494
            ],
            [
              0.0505,
              0.08051,
              0.10276,
              0.14144,
              0.21153,
              0.34753,
              0.62484
            ],
            [
              0.0505,
              0.0804,
              0.10275,
              0.14141,
              0.21138,
              0.34769,
              0.62432
            ],
            [
              0.05049,
              0.08037,
              0.10279,
              0.14144,
              0.21133,
              0.34753,
              0.62483
            ],
            [
              0.05055,
              0.08044,
              0.10266,
              0.14136,
              0.21219,
              0.3475,
              0.62422
            ],
            [
              0.05054,
              0.08042,
              0.1027,
              0.14155,
              0.21171,
              0.34712,
              0.62424
            ],
            [
              0.05051,
              0.08042,
              0.10275,
              0.1415,
              0.2118,
              0.3477,
              0.6247
            ],
            [
              0.0506,
              0.0806,
              0.103,
              0.1416,
              0.2116,
              0.3478,
              0.6251
            ],
            [
              0.0596,
              0.0875,
              0.1085,
              0.1458,
              0.2147,
              0.3491,
              0.6256
            ],
            [
              0.0729,
              0.1014,
              0.1213,
              0.1572,
              0.2249,
              0.3571,
              0.6293
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03417,
              0.07995,
              0.12321,
              0.21177,
              0.39322,
              0.76029,
              1.49652
            ],
            [
              0.03421,
              0.07997,
              0.12348,
              0.21156,
              0.39323,
              0.76111,
              1.49495
            ],
            [
              0.03414,
              0.07994,
              0.12339,
              0.21178,
              0.3928,
              0.75948,
              1.4947
            ],
            [
              0.03423,
              0.07993,
              0.12326,
              0.21171,
              0.39293,
              0.75928,
              1.49494
            ],
            [
              0.03416,
              0.07995,
              0.12355,
              0.21173,
              0.3927,
              0.7608,
              1.49385
            ],
            [
              0.03413,
              0.07995,
              0.12331,
              0.21149,
              0.39274,
              0.75941,
              1.49481
            ],
            [
              0.0342,
              0.07995,
              0.1233,
              0.2115,
              0.39285,
              0.75945,
              1.49661
            ],
            [
              0.0342,
              0.08007,
              0.12341,
              0.21179,
              0.39323,
              0.76112,
              1.49465
            ],
            [
              0.03552,
              0.08075,
              0.12379,
              0.21195,
              0.39311,
              0.75992,
              1.49617
            ],
            [
              0.03876,
              0.08361,
              0.12602,
              0.2132,
              0.39287,
              0.76089,
              1.4975
            ],
            [
              0.04388,
              0.08749,
              0.12944,
              0.21566,
              0.3951,
              0.7605,
              1.4955
            ],
            [
              0.052,
              0.0937,
              0.1341,
              0.2192,
              0.397,
              0.7622,
              1.4954
            ],
            [
              0.0635,
              0.1043,
              0.142,
              0.2236,
              0.3991,
              0.7619,
              1.4977
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.29331,
              0.33815,
              0.36693,
              0.41123,
              0.48172,
              0.60184,
              0.82443
            ],
            [
              0.29614,
              0.34102,
              0.36978,
              0.41407,
              0.48456,
              0.6047,
              0.82729
            ],
            [
              0.29945,
              0.34431,
              0.37312,
              0.41742,
              0.48792,
              0.60805,
              0.83065
            ],
            [
              0.30446,
              0.34936,
              0.37817,
              0.4225,
              0.493,
              0.61315,
              0.83573
            ],
            [
              0.31219,
              0.35708,
              0.38591,
              0.43023,
              0.50078,
              0.62093,
              0.8435
            ],
            [
              0.32418,
              0.36904,
              0.39786,
              0.44222,
              0.51274,
              0.63301,
              0.85533
            ],
            [
              0.3432,
              0.388,
              0.4168,
              0.46114,
              0.53167,
              0.65189,
              0.87438
            ],
            [
              0.37227,
              0.41703,
              0.44579,
              0.49012,
              0.56065,
              0.68088,
              0.90326
            ],
            [
              0.41682,
              0.46173,
              0.49045,
              0.53475,
              0.60528,
              0.72558,
              0.94785
            ],
            [
              0.48547,
              0.52995,
              0.55866,
              0.60292,
              0.67349,
              0.79379,
              1.01629
            ],
            [
              0.58952,
              0.63392,
              0.66272,
              0.70702,
              0.77762,
              0.89802,
              1.12052
            ],
            [
              0.73197,
              0.78067,
              0.81077,
              0.85637,
              0.92787,
              1.04867,
              1.27147
            ],
            [
              0.9109,
              0.9668,
              0.9998,
              1.0485,
              1.1234,
              1.2473,
              1.4714
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.15541,
              0.20964,
              0.24924,
              0.31914,
              0.45044,
              0.70862,
              1.22487
            ],
            [
              0.15824,
              0.21247,
              0.25208,
              0.32208,
              0.45336,
              0.71185,
              1.22784
            ],
            [
              0.1617,
              0.21593,
              0.25553,
              0.32548,
              0.45683,
              0.71532,
              1.23122
            ],
            [
              0.1669,
              0.22112,
              0.26072,
              0.33065,
              0.46202,
              0.72083,
              1.23477
            ],
            [
              0.17481,
              0.22902,
              0.26859,
              0.33854,
              0.46997,
              0.72869,
              1.24331
            ],
            [
              0.18665,
              0.24084,
              0.28037,
              0.35032,
              0.48179,
              0.7405,
              1.25632
            ],
            [
              0.20451,
              0.2586,
              0.29805,
              0.36797,
              0.49937,
              0.75832,
              1.27393
            ],
            [
              0.23146,
              0.28535,
              0.32476,
              0.39453,
              0.5261,
              0.78477,
              1.30086
            ],
            [
              0.27034,
              0.32446,
              0.36388,
              0.43368,
              0.56526,
              0.82435,
              1.33945
            ],
            [
              0.32022,
              0.37687,
              0.4169,
              0.48698,
              0.61844,
              0.87719,
              1.39399
            ],
            [
              0.3811,
              0.4417,
              0.48302,
              0.55432,
              0.68652,
              0.94562,
              1.46082
            ],
            [
              0.45297,
              0.52027,
              0.56347,
              0.63597,
              0.76927,
              1.02847,
              1.54487
            ],
            [
              0.5358,
              0.6136,
              0.6598,
              0.7345,
              0.8683,
              1.1284,
              1.6442
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04237,
              0.06937,
              0.09002,
              0.1267,
              0.1959,
              0.33207,
              0.61495
            ],
            [
              0.04234,
              0.06931,
              0.09,
              0.12701,
              0.19563,
              0.3321,
              0.61496
            ],
            [
              0.04238,
              0.0693,
              0.09002,
              0.12699,
              0.19587,
              0.33195,
              0.61488
            ],
            [
              0.04237,
              0.06931,
              0.09009,
              0.12698,
              0.19563,
              0.3322,
              0.61497
            ],
            [
              0.04233,
              0.06934,
              0.09009,
              0.127,
              0.19571,
              0.33195,
              0.6149
            ],
            [
              0.04237,
              0.06935,
              0.08996,
              0.12675,
              0.19554,
              0.33221,
              0.61414
            ],
            [
              0.04235,
              0.06935,
              0.09007,
              0.12674,
              0.1957,
              0.3323,
              0.61452
            ],
            [
              0.04238,
              0.06932,
              0.08998,
              0.12672,
              0.19559,
              0.33207,
              0.61469
            ],
            [
              0.04239,
              0.0695,
              0.09003,
              0.12696,
              0.19558,
              0.3322,
              0.61404
            ],
            [
              0.04236,
              0.06944,
              0.09008,
              0.12682,
              0.19566,
              0.3322,
              0.6143
            ],
            [
              0.0429,
              0.0699,
              0.0905,
              0.1271,
              0.1955,
              0.3323,
              0.6145
            ],
            [
              0.0514,
              0.0767,
              0.0963,
              0.1316,
              0.1985,
              0.3335,
              0.6153
            ],
            [
              0.0636,
              0.0895,
              0.1082,
              0.1427,
              0.2084,
              0.3405,
              0.6186
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04031,
              0.08511,
              0.12756,
              0.21421,
              0.39355,
              0.7591,
              1.4933
            ],
            [
              0.04027,
              0.08503,
              0.12755,
              0.21448,
              0.39351,
              0.75911,
              1.49324
            ],
            [
              0.04026,
              0.08511,
              0.12757,
              0.21413,
              0.39353,
              0.75803,
              1.49333
            ],
            [
              0.04027,
              0.08504,
              0.12757,
              0.21437,
              0.39353,
              0.75795,
              1.49422
            ],
            [
              0.04024,
              0.08512,
              0.12756,
              0.21439,
              0.39347,
              0.75747,
              1.49111
            ],
            [
              0.04034,
              0.08506,
              0.12761,
              0.2145,
              0.3933,
              0.75748,
              1.49228
            ],
            [
              0.04027,
              0.08512,
              0.12765,
              0.21452,
              0.39347,
              0.75804,
              1.49351
            ],
            [
              0.04037,
              0.08541,
              0.1281,
              0.21459,
              0.39291,
              0.75818,
              1.49175
            ],
            [
              0.04188,
              0.08605,
              0.12849,
              0.21485,
              0.39324,
              0.75742,
              1.49112
            ],
            [
              0.04667,
              0.08934,
              0.13065,
              0.21563,
              0.39393,
              0.75828,
              1.4932
            ],
            [
              0.05413,
              0.09458,
              0.13495,
              0.2191,
              0.3949,
              0.759,
              1.4935
            ],
            [
              0.0653,
              0.1031,
              0.1413,
              0.2235,
              0.3978,
              0.7604,
              1.492
            ],
            [
              0.0799,
              0.1164,
              0.152,
              0.2305,
              0.401,
              0.7614,
              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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.38253,
              0.43597,
              0.46968,
              0.52073,
              0.59964,
              0.72868,
              0.95786
            ],
            [
              0.38511,
              0.43859,
              0.47231,
              0.52339,
              0.60231,
              0.73135,
              0.96042
            ],
            [
              0.38802,
              0.4415,
              0.47523,
              0.52629,
              0.60521,
              0.73427,
              0.96347
            ],
            [
              0.39243,
              0.4459,
              0.47964,
              0.53075,
              0.60965,
              0.73874,
              0.96788
            ],
            [
              0.3993,
              0.45279,
              0.48653,
              0.53765,
              0.61658,
              0.74565,
              0.97481
            ],
            [
              0.41004,
              0.46348,
              0.49722,
              0.54833,
              0.62726,
              0.75634,
              0.98542
            ],
            [
              0.42719,
              0.48057,
              0.51429,
              0.5654,
              0.64432,
              0.77342,
              1.00233
            ],
            [
              0.45404,
              0.50736,
              0.54106,
              0.59213,
              0.67105,
              0.80012,
              1.02926
            ],
            [
              0.49508,
              0.54839,
              0.58206,
              0.63309,
              0.71201,
              0.84115,
              1.07015
            ],
            [
              0.55967,
              0.613,
              0.64659,
              0.69759,
              0.77649,
              0.90559,
              1.13489
            ],
            [
              0.65822,
              0.71152,
              0.74512,
              0.79602,
              0.87492,
              1.00412,
              1.23342
            ],
            [
              0.80587,
              0.86007,
              0.89377,
              0.94477,
              1.02387,
              1.15317,
              1.38257
            ],
            [
              0.995,
              1.0561,
              1.0923,
              1.1458,
              1.2275,
              1.359,
              1.5889
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.1555,
              0.20981,
              0.24949,
              0.31954,
              0.45116,
              0.71014,
              1.22767
            ],
            [
              0.15837,
              0.21268,
              0.25237,
              0.32243,
              0.45415,
              0.71337,
              1.23044
            ],
            [
              0.16188,
              0.21619,
              0.25588,
              0.32595,
              0.45762,
              0.71652,
              1.23402
            ],
            [
              0.16714,
              0.22154,
              0.26115,
              0.33121,
              0.46304,
              0.72193,
              1.23877
            ],
            [
              0.17513,
              0.22943,
              0.26907,
              0.33925,
              0.47083,
              0.73002,
              1.24741
            ],
            [
              0.18709,
              0.24136,
              0.28099,
              0.35104,
              0.48292,
              0.74231,
              1.25812
            ],
            [
              0.20506,
              0.25924,
              0.2988,
              0.36878,
              0.50069,
              0.76026,
              1.27603
            ],
            [
              0.2321,
              0.28608,
              0.32556,
              0.39551,
              0.52741,
              0.78708,
              1.30386
            ],
            [
              0.27108,
              0.32526,
              0.36474,
              0.43471,
              0.56663,
              0.82625,
              1.34315
            ],
            [
              0.32101,
              0.3777,
              0.4178,
              0.48815,
              0.62,
              0.87939,
              1.39669
            ],
            [
              0.38191,
              0.44254,
              0.48392,
              0.55532,
              0.68792,
              0.94732,
              1.46392
            ],
            [
              0.45367,
              0.52107,
              0.56427,
              0.63697,
              0.77057,
              1.03037,
              1.54817
            ],
            [
              0.5363,
              0.6141,
              0.6604,
              0.7352,
              0.8694,
              1.1298,
              1.6474
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05439,
              0.08491,
              0.10725,
              0.14653,
              0.21692,
              0.35255,
              0.62981
            ],
            [
              0.05438,
              0.08483,
              0.10724,
              0.14655,
              0.21687,
              0.35259,
              0.62951
            ],
            [
              0.05442,
              0.08482,
              0.10726,
              0.14653,
              0.21692,
              0.3531,
              0.62987
            ],
            [
              0.0544,
              0.08487,
              0.10731,
              0.1463,
              0.21674,
              0.35248,
              0.62967
            ],
            [
              0.05447,
              0.08479,
              0.10729,
              0.14655,
              0.2168,
              0.35247,
              0.62969
            ],
            [
              0.05441,
              0.0848,
              0.10728,
              0.14655,
              0.21673,
              0.35255,
              0.6296
            ],
            [
              0.05437,
              0.08484,
              0.10728,
              0.14629,
              0.2168,
              0.35271,
              0.62932
            ],
            [
              0.05439,
              0.08483,
              0.1073,
              0.14629,
              0.21687,
              0.35311,
              0.62945
            ],
            [
              0.05445,
              0.08489,
              0.10733,
              0.14632,
              0.21677,
              0.35264,
              0.6294
            ],
            [
              0.05438,
              0.08475,
              0.10735,
              0.14659,
              0.2174,
              0.3532,
              0.6298
            ],
            [
              0.0543,
              0.0848,
              0.1074,
              0.1465,
              0.217,
              0.3527,
              0.6296
            ],
            [
              0.0584,
              0.0872,
              0.109,
              0.1476,
              0.2175,
              0.3529,
              0.6299
            ],
            [
              0.071,
              0.0994,
              0.12,
              0.157,
              0.2258,
              0.3586,
              0.6316
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04029,
              0.08526,
              0.12778,
              0.21481,
              0.39444,
              0.7608,
              1.49664
            ],
            [
              0.04031,
              0.08518,
              0.1278,
              0.21482,
              0.39436,
              0.75987,
              1.49491
            ],
            [
              0.04028,
              0.08515,
              0.12778,
              0.21473,
              0.39443,
              0.76082,
              1.49704
            ],
            [
              0.04027,
              0.08519,
              0.12802,
              0.21481,
              0.39403,
              0.75993,
              1.49458
            ],
            [
              0.04029,
              0.08519,
              0.1278,
              0.21487,
              0.39444,
              0.75977,
              1.49626
            ],
            [
              0.0403,
              0.08519,
              0.12802,
              0.21483,
              0.39411,
              0.75922,
              1.4968
            ],
            [
              0.04029,
              0.08524,
              0.12809,
              0.21488,
              0.39396,
              0.76056,
              1.4946
            ],
            [
              0.0404,
              0.08546,
              0.12828,
              0.21476,
              0.39369,
              0.76033,
              1.49387
            ],
            [
              0.04184,
              0.08607,
              0.12868,
              0.21527,
              0.39416,
              0.7597,
              1.49471
            ],
            [
              0.04652,
              0.08938,
              0.13083,
              0.21616,
              0.39464,
              0.76003,
              1.4959
            ],
            [
              0.05405,
              0.09465,
              0.13532,
              0.2195,
              0.3957,
              0.761,
              1.4969
            ],
            [
              0.0651,
              0.1031,
              0.1416,
              0.2241,
              0.3987,
              0.7621,
              1.495
            ],
            [
              0.0798,
              0.1164,
              0.1522,
              0.2307,
              0.4023,
              0.7631,
              1.4955
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.41966,
              0.47383,
              0.50784,
              0.55933,
              0.63885,
              0.76873,
              0.99877
            ],
            [
              0.4223,
              0.47648,
              0.51053,
              0.562,
              0.64154,
              0.77142,
              1.00154
            ],
            [
              0.42529,
              0.47949,
              0.51354,
              0.56502,
              0.64457,
              0.77445,
              1.00452
            ],
            [
              0.42989,
              0.48408,
              0.51814,
              0.56966,
              0.64921,
              0.77909,
              1.00918
            ],
            [
              0.43696,
              0.49114,
              0.52521,
              0.57672,
              0.65629,
              0.78619,
              1.01631
            ],
            [
              0.44796,
              0.50209,
              0.53615,
              0.58769,
              0.66728,
              0.79718,
              1.02732
            ],
            [
              0.46525,
              0.51941,
              0.55343,
              0.60498,
              0.68433,
              0.81425,
              1.04423
            ],
            [
              0.49206,
              0.54616,
              0.58019,
              0.63172,
              0.71131,
              0.84126,
              1.07126
            ],
            [
              0.53362,
              0.58781,
              0.62183,
              0.67333,
              0.75291,
              0.88285,
              1.11295
            ],
            [
              0.5978,
              0.65189,
              0.68589,
              0.73729,
              0.81689,
              0.94679,
              1.17679
            ],
            [
              0.69612,
              0.75052,
              0.78442,
              0.83582,
              0.91532,
              1.04532,
              1.27522
            ],
            [
              0.84617,
              0.89997,
              0.93377,
              0.98507,
              1.06467,
              1.19457,
              1.42477
            ],
            [
              1.0464,
              1.1063,
              1.1421,
              1.1953,
              1.2767,
              1.4079,
              1.6383
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.15637,
              0.21833,
              0.26086,
              0.33331,
              0.46604,
              0.72524,
              1.24247
            ],
            [
              0.15925,
              0.2212,
              0.26373,
              0.33623,
              0.46904,
              0.72831,
              1.24544
            ],
            [
              0.16276,
              0.22471,
              0.26725,
              0.33974,
              0.47251,
              0.73172,
              1.24892
            ],
            [
              0.16803,
              0.22998,
              0.27249,
              0.34501,
              0.47791,
              0.73735,
              1.25368
            ],
            [
              0.17601,
              0.23795,
              0.28045,
              0.35292,
              0.48585,
              0.74526,
              1.26171
            ],
            [
              0.18798,
              0.24988,
              0.29234,
              0.36472,
              0.49777,
              0.75728,
              1.27362
            ],
            [
              0.20595,
              0.26775,
              0.31013,
              0.38252,
              0.51551,
              0.77475,
              1.29203
            ],
            [
              0.23296,
              0.29454,
              0.33685,
              0.40923,
              0.54226,
              0.80183,
              1.31856
            ],
            [
              0.27185,
              0.33366,
              0.37601,
              0.44841,
              0.58149,
              0.84135,
              1.35845
            ],
            [
              0.32176,
              0.38664,
              0.42961,
              0.50235,
              0.63539,
              0.89519,
              1.41239
            ],
            [
              0.38263,
              0.45292,
              0.49762,
              0.57172,
              0.70552,
              0.96512,
              1.48302
            ],
            [
              0.45437,
              0.53357,
              0.58087,
              0.65687,
              0.79207,
              1.05217,
              1.56957
            ],
            [
              0.5368,
              0.6296,
              0.6812,
              0.7602,
              0.8968,
              1.158,
              1.6752
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05623,
              0.08686,
              0.10945,
              0.1487,
              0.21924,
              0.35504,
              0.63198
            ],
            [
              0.05626,
              0.08689,
              0.10948,
              0.14861,
              0.21918,
              0.35497,
              0.63206
            ],
            [
              0.05625,
              0.0869,
              0.10963,
              0.14861,
              0.21917,
              0.35493,
              0.6321
            ],
            [
              0.05624,
              0.08693,
              0.10945,
              0.14862,
              0.21922,
              0.35505,
              0.63192
            ],
            [
              0.05623,
              0.08688,
              0.10966,
              0.14871,
              0.21925,
              0.35496,
              0.63205
            ],
            [
              0.05624,
              0.0869,
              0.10946,
              0.14861,
              0.21918,
              0.35498,
              0.63207
            ],
            [
              0.05631,
              0.08686,
              0.10942,
              0.14879,
              0.21926,
              0.35512,
              0.63169
            ],
            [
              0.05625,
              0.08695,
              0.10946,
              0.14856,
              0.21982,
              0.35533,
              0.63134
            ],
            [
              0.0562,
              0.08687,
              0.10947,
              0.14863,
              0.21922,
              0.35493,
              0.6321
            ],
            [
              0.05625,
              0.08678,
              0.10939,
              0.1488,
              0.2193,
              0.3551,
              0.6318
            ],
            [
              0.0562,
              0.0868,
              0.1094,
              0.1487,
              0.2193,
              0.3552,
              0.6316
            ],
            [
              0.0574,
              0.0872,
              0.1097,
              0.1489,
              0.2192,
              0.355,
              0.6321
            ],
            [
              0.0693,
              0.0976,
              0.1186,
              0.1564,
              0.2254,
              0.3589,
              0.6328
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.0439,
              0.09357,
              0.13504,
              0.22021,
              0.39683,
              0.76091,
              1.49704
            ],
            [
              0.0439,
              0.09357,
              0.13503,
              0.21973,
              0.3969,
              0.76078,
              1.49591
            ],
            [
              0.04387,
              0.09357,
              0.13504,
              0.22035,
              0.39686,
              0.76092,
              1.49754
            ],
            [
              0.0439,
              0.09357,
              0.13498,
              0.21978,
              0.39644,
              0.76048,
              1.49775
            ],
            [
              0.04389,
              0.09358,
              0.13503,
              0.22018,
              0.39687,
              0.76114,
              1.49771
            ],
            [
              0.0439,
              0.0936,
              0.13511,
              0.21962,
              0.39636,
              0.76059,
              1.49773
            ],
            [
              0.04387,
              0.09366,
              0.13523,
              0.22029,
              0.39689,
              0.76095,
              1.49718
            ],
            [
              0.04394,
              0.09389,
              0.13534,
              0.21998,
              0.39649,
              0.76134,
              1.49758
            ],
            [
              0.0453,
              0.09469,
              0.13596,
              0.22032,
              0.3969,
              0.75997,
              1.49463
            ],
            [
              0.05024,
              0.09844,
              0.13821,
              0.2214,
              0.39745,
              0.76136,
              1.4944
            ],
            [
              0.05822,
              0.10554,
              0.14427,
              0.2252,
              0.3986,
              0.7616,
              1.4969
            ],
            [
              0.0699,
              0.1165,
              0.1528,
              0.2313,
              0.4019,
              0.7623,
              1.4941
            ],
            [
              0.0853,
              0.1341,
              0.1667,
              0.2406,
              0.4075,
              0.7636,
              1.4945
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.24264,
              0.28333,
              0.30984,
              0.35113,
              0.41808,
              0.53497,
              0.75557
            ],
            [
              0.24522,
              0.28591,
              0.31243,
              0.35372,
              0.42067,
              0.5376,
              0.75819
            ],
            [
              0.24854,
              0.28924,
              0.31575,
              0.35705,
              0.424,
              0.54095,
              0.76139
            ],
            [
              0.25382,
              0.29452,
              0.32105,
              0.36235,
              0.42929,
              0.54617,
              0.76668
            ],
            [
              0.26203,
              0.30273,
              0.32926,
              0.37058,
              0.43753,
              0.55449,
              0.7749
            ],
            [
              0.27467,
              0.31537,
              0.34188,
              0.38321,
              0.45018,
              0.56711,
              0.7877
            ],
            [
              0.29396,
              0.3346,
              0.3611,
              0.40242,
              0.4694,
              0.58634,
              0.80693
            ],
            [
              0.32373,
              0.36433,
              0.3908,
              0.43208,
              0.49906,
              0.61604,
              0.83646
            ],
            [
              0.36864,
              0.40915,
              0.43555,
              0.47682,
              0.5438,
              0.66073,
              0.88135
            ],
            [
              0.43721,
              0.47769,
              0.50406,
              0.54535,
              0.61238,
              0.72949,
              0.95019
            ],
            [
              0.53682,
              0.57842,
              0.60512,
              0.64672,
              0.71402,
              0.83122,
              1.05202
            ],
            [
              0.66367,
              0.71017,
              0.73877,
              0.78257,
              0.85187,
              0.97007,
              1.19107
            ],
            [
              0.8198,
              0.8736,
              0.9054,
              0.9522,
              1.0246,
              1.1457,
              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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.1544,
              0.20347,
              0.24114,
              0.30941,
              0.43995,
              0.69858,
              1.21207
            ],
            [
              0.15785,
              0.20693,
              0.24463,
              0.31278,
              0.44352,
              0.70199,
              1.21574
            ],
            [
              0.16181,
              0.21086,
              0.24862,
              0.31686,
              0.44736,
              0.70599,
              1.22012
            ],
            [
              0.16747,
              0.21651,
              0.25427,
              0.32255,
              0.45303,
              0.71169,
              1.22517
            ],
            [
              0.17535,
              0.22438,
              0.26211,
              0.33043,
              0.46081,
              0.71941,
              1.23451
            ],
            [
              0.18663,
              0.23565,
              0.27332,
              0.34154,
              0.47235,
              0.73085,
              1.24512
            ],
            [
              0.20319,
              0.25216,
              0.28974,
              0.35796,
              0.48879,
              0.74727,
              1.26243
            ],
            [
              0.22781,
              0.27668,
              0.3142,
              0.3824,
              0.51305,
              0.77182,
              1.28626
            ],
            [
              0.26339,
              0.31243,
              0.35002,
              0.41814,
              0.54903,
              0.80715,
              1.32305
            ],
            [
              0.31066,
              0.3616,
              0.39961,
              0.4681,
              0.59892,
              0.85799,
              1.37239
            ],
            [
              0.37166,
              0.42521,
              0.46422,
              0.53362,
              0.66462,
              0.92322,
              1.43902
            ],
            [
              0.44847,
              0.50577,
              0.54627,
              0.61657,
              0.74837,
              1.00717,
              1.52277
            ],
            [
              0.5421,
              0.6055,
              0.648,
              0.72,
              0.8523,
              1.1118,
              1.6262
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03645,
              0.06211,
              0.08199,
              0.1179,
              0.18647,
              0.32428,
              0.61003
            ],
            [
              0.03643,
              0.06202,
              0.08203,
              0.11797,
              0.1865,
              0.32434,
              0.60963
            ],
            [
              0.03643,
              0.06201,
              0.08206,
              0.11829,
              0.1865,
              0.32442,
              0.6092
            ],
            [
              0.03643,
              0.06201,
              0.08191,
              0.11792,
              0.18654,
              0.32421,
              0.61004
            ],
            [
              0.03644,
              0.06202,
              0.08203,
              0.11814,
              0.1865,
              0.32443,
              0.60935
            ],
            [
              0.03643,
              0.06202,
              0.08203,
              0.11794,
              0.18648,
              0.32433,
              0.60969
            ],
            [
              0.03643,
              0.06202,
              0.08197,
              0.11795,
              0.18649,
              0.32434,
              0.60957
            ],
            [
              0.03642,
              0.06202,
              0.08197,
              0.1179,
              0.18655,
              0.32438,
              0.60952
            ],
            [
              0.03644,
              0.06207,
              0.08204,
              0.11802,
              0.18662,
              0.32418,
              0.6101
            ],
            [
              0.03652,
              0.0622,
              0.08214,
              0.11813,
              0.18654,
              0.32432,
              0.6098
            ],
            [
              0.04,
              0.0643,
              0.0838,
              0.1192,
              0.1873,
              0.3246,
              0.6096
            ],
            [
              0.0486,
              0.0728,
              0.0916,
              0.1261,
              0.1928,
              0.3277,
              0.6111
            ],
            [
              0.0604,
              0.0855,
              0.1037,
              0.1369,
              0.2018,
              0.3348,
              0.6147
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03417,
              0.07976,
              0.12297,
              0.21123,
              0.39203,
              0.75801,
              1.49184
            ],
            [
              0.03411,
              0.07978,
              0.12334,
              0.21094,
              0.39201,
              0.75826,
              1.49205
            ],
            [
              0.03418,
              0.07979,
              0.12316,
              0.21107,
              0.39204,
              0.75744,
              1.49088
            ],
            [
              0.03408,
              0.07977,
              0.12289,
              0.21116,
              0.39206,
              0.758,
              1.49185
            ],
            [
              0.03414,
              0.07977,
              0.12308,
              0.21121,
              0.39208,
              0.75749,
              1.49004
            ],
            [
              0.03411,
              0.07978,
              0.1231,
              0.21117,
              0.39171,
              0.75716,
              1.49031
            ],
            [
              0.03411,
              0.07982,
              0.12297,
              0.21102,
              0.39189,
              0.75718,
              1.49034
            ],
            [
              0.03412,
              0.07985,
              0.12293,
              0.2111,
              0.39208,
              0.75865,
              1.49028
            ],
            [
              0.03507,
              0.08039,
              0.12334,
              0.21105,
              0.39157,
              0.75887,
              1.49061
            ],
            [
              0.03767,
              0.08266,
              0.12501,
              0.21203,
              0.39206,
              0.7583,
              1.4922
            ],
            [
              0.04123,
              0.08632,
              0.12846,
              0.21413,
              0.3931,
              0.7585,
              1.4896
            ],
            [
              0.0467,
              0.0916,
              0.1328,
              0.218,
              0.3947,
              0.7589,
              1.4905
            ],
            [
              0.0554,
              0.0996,
              0.1395,
              0.2223,
              0.3967,
              0.7587,
              1.4912
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.27556,
              0.31974,
              0.34826,
              0.39227,
              0.46246,
              0.58242,
              0.80489
            ],
            [
              0.27795,
              0.32213,
              0.35067,
              0.39468,
              0.46489,
              0.58483,
              0.80722
            ],
            [
              0.28113,
              0.32533,
              0.35387,
              0.39787,
              0.46804,
              0.58801,
              0.81047
            ],
            [
              0.28608,
              0.33028,
              0.35883,
              0.40283,
              0.47304,
              0.593,
              0.81547
            ],
            [
              0.29394,
              0.33813,
              0.36667,
              0.41068,
              0.48089,
              0.60087,
              0.82331
            ],
            [
              0.3061,
              0.35027,
              0.3788,
              0.42284,
              0.49303,
              0.61303,
              0.83541
            ],
            [
              0.32467,
              0.36881,
              0.39734,
              0.44135,
              0.51157,
              0.63155,
              0.85389
            ],
            [
              0.35346,
              0.39757,
              0.42605,
              0.47006,
              0.54032,
              0.66033,
              0.88276
            ],
            [
              0.39701,
              0.44111,
              0.46957,
              0.51356,
              0.58378,
              0.70387,
              0.92615
            ],
            [
              0.46362,
              0.50762,
              0.53605,
              0.58004,
              0.65029,
              0.77039,
              0.99289
            ],
            [
              0.56322,
              0.60742,
              0.63592,
              0.67992,
              0.75052,
              0.87082,
              1.09332
            ],
            [
              0.69387,
              0.74247,
              0.77257,
              0.81827,
              0.89017,
              1.01127,
              1.23407
            ],
            [
              0.8545,
              0.9103,
              0.9433,
              0.992,
              1.0668,
              1.1908,
              1.4154
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.15452,
              0.20367,
              0.24153,
              0.30998,
              0.44096,
              0.70029,
              1.21657
            ],
            [
              0.158,
              0.20717,
              0.24496,
              0.31342,
              0.44446,
              0.70319,
              1.22084
            ],
            [
              0.16202,
              0.21116,
              0.24904,
              0.31747,
              0.44834,
              0.70788,
              1.22342
            ],
            [
              0.16769,
              0.21682,
              0.25471,
              0.3232,
              0.45408,
              0.71361,
              1.22888
            ],
            [
              0.17562,
              0.22476,
              0.26261,
              0.33113,
              0.46191,
              0.72147,
              1.23791
            ],
            [
              0.18696,
              0.23608,
              0.27387,
              0.34223,
              0.4735,
              0.73278,
              1.24922
            ],
            [
              0.20355,
              0.25263,
              0.29032,
              0.35873,
              0.49002,
              0.74929,
              1.26633
            ],
            [
              0.22818,
              0.27718,
              0.3148,
              0.38319,
              0.5143,
              0.77396,
              1.28976
            ],
            [
              0.26375,
              0.31291,
              0.3506,
              0.41887,
              0.55025,
              0.80915,
              1.32685
            ],
            [
              0.31103,
              0.36207,
              0.40016,
              0.46885,
              0.60015,
              0.85999,
              1.37639
            ],
            [
              0.372,
              0.42564,
              0.46482,
              0.53432,
              0.66582,
              0.92552,
              1.44262
            ],
            [
              0.44877,
              0.50627,
              0.54667,
              0.61727,
              0.74947,
              1.00917,
              1.52637
            ],
            [
              0.5423,
              0.6058,
              0.6484,
              0.7206,
              0.8533,
              1.1136,
              1.6297
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04095,
              0.06791,
              0.08872,
              0.1256,
              0.19448,
              0.3315,
              0.61423
            ],
            [
              0.04091,
              0.06793,
              0.0887,
              0.12543,
              0.19447,
              0.33113,
              0.61423
            ],
            [
              0.04092,
              0.06791,
              0.0887,
              0.12559,
              0.19447,
              0.33149,
              0.6142
            ],
            [
              0.04093,
              0.0679,
              0.0887,
              0.12544,
              0.19447,
              0.33147,
              0.61435
            ],
            [
              0.04093,
              0.06791,
              0.0887,
              0.12543,
              0.19447,
              0.33149,
              0.61413
            ],
            [
              0.04092,
              0.06792,
              0.08862,
              0.12567,
              0.19445,
              0.33146,
              0.61389
            ],
            [
              0.04092,
              0.06792,
              0.08871,
              0.12541,
              0.19455,
              0.3312,
              0.61409
            ],
            [
              0.04092,
              0.06793,
              0.08875,
              0.12544,
              0.19449,
              0.3315,
              0.61411
            ],
            [
              0.04092,
              0.06796,
              0.08879,
              0.1255,
              0.19452,
              0.33138,
              0.61358
            ],
            [
              0.04092,
              0.06817,
              0.08882,
              0.12559,
              0.19456,
              0.33118,
              0.6144
            ],
            [
              0.0426,
              0.069,
              0.0895,
              0.1261,
              0.1949,
              0.3315,
              0.6145
            ],
            [
              0.0512,
              0.0767,
              0.0964,
              0.1318,
              0.1992,
              0.3337,
              0.6151
            ],
            [
              0.0633,
              0.0892,
              0.1079,
              0.1424,
              0.2082,
              0.3409,
              0.6191
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03417,
              0.07994,
              0.12339,
              0.21174,
              0.3931,
              0.75917,
              1.49493
            ],
            [
              0.03415,
              0.0799,
              0.12362,
              0.21165,
              0.39318,
              0.76088,
              1.49761
            ],
            [
              0.03415,
              0.07995,
              0.12343,
              0.21163,
              0.39322,
              0.76,
              1.49603
            ],
            [
              0.03423,
              0.07994,
              0.12317,
              0.21175,
              0.39322,
              0.76033,
              1.4964
            ],
            [
              0.0342,
              0.07994,
              0.1234,
              0.21179,
              0.39268,
              0.76098,
              1.49398
            ],
            [
              0.03415,
              0.07997,
              0.12326,
              0.21155,
              0.39287,
              0.75926,
              1.4949
            ],
            [
              0.03415,
              0.07994,
              0.12329,
              0.21157,
              0.39297,
              0.75955,
              1.49758
            ],
            [
              0.03416,
              0.08006,
              0.12339,
              0.21168,
              0.39323,
              0.76073,
              1.49634
            ],
            [
              0.03518,
              0.08053,
              0.12363,
              0.21172,
              0.39268,
              0.76144,
              1.49519
            ],
            [
              0.0377,
              0.08281,
              0.12552,
              0.21265,
              0.39299,
              0.76042,
              1.4967
            ],
            [
              0.04125,
              0.08645,
              0.12876,
              0.21475,
              0.3943,
              0.7611,
              1.4942
            ],
            [
              0.0467,
              0.0917,
              0.133,
              0.2183,
              0.3958,
              0.7613,
              1.4956
            ],
            [
              0.0554,
              0.0997,
              0.1398,
              0.2228,
              0.3986,
              0.7613,
              1.4958
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.26629,
              0.30949,
              0.33743,
              0.38066,
              0.44992,
              0.5689,
              0.79076
            ],
            [
              0.26873,
              0.31192,
              0.33988,
              0.38311,
              0.45237,
              0.57136,
              0.79324
            ],
            [
              0.27191,
              0.3151,
              0.34306,
              0.38629,
              0.45555,
              0.57463,
              0.79641
            ],
            [
              0.27693,
              0.32015,
              0.3481,
              0.39134,
              0.46063,
              0.57964,
              0.80143
            ],
            [
              0.28487,
              0.32807,
              0.35604,
              0.39929,
              0.46857,
              0.58755,
              0.80941
            ],
            [
              0.29714,
              0.34034,
              0.3683,
              0.41157,
              0.48084,
              0.59996,
              0.8216
            ],
            [
              0.31591,
              0.35905,
              0.38701,
              0.43024,
              0.49955,
              0.6186,
              0.84045
            ],
            [
              0.34496,
              0.38807,
              0.41598,
              0.45921,
              0.5285,
              0.64758,
              0.86936
            ],
            [
              0.38914,
              0.43224,
              0.46012,
              0.50334,
              0.57265,
              0.69172,
              0.91355
            ],
            [
              0.45618,
              0.49919,
              0.52702,
              0.57024,
              0.63959,
              0.75879,
              0.98039
            ],
            [
              0.55592,
              0.59922,
              0.62712,
              0.67062,
              0.74012,
              0.85942,
              1.08122
            ],
            [
              0.68527,
              0.73327,
              0.76297,
              0.80817,
              0.87937,
              0.99957,
              1.22177
            ],
            [
              0.8445,
              0.8998,
              0.9325,
              0.9807,
              1.0548,
              1.178,
              1.4019
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.15447,
              0.20354,
              0.24132,
              0.30961,
              0.44027,
              0.69897,
              1.21397
            ],
            [
              0.15794,
              0.20703,
              0.24475,
              0.31307,
              0.4436,
              0.70209,
              1.21844
            ],
            [
              0.16196,
              0.21101,
              0.24881,
              0.31707,
              0.44781,
              0.70655,
              1.22082
            ],
            [
              0.16761,
              0.21668,
              0.25446,
              0.32278,
              0.45338,
              0.71227,
              1.22638
            ],
            [
              0.17553,
              0.22458,
              0.26236,
              0.33071,
              0.46121,
              0.72014,
              1.23521
            ],
            [
              0.18686,
              0.23589,
              0.27359,
              0.34185,
              0.47278,
              0.7314,
              1.24672
            ],
            [
              0.20343,
              0.25243,
              0.29004,
              0.35829,
              0.48926,
              0.74792,
              1.26363
            ],
            [
              0.22802,
              0.27694,
              0.31449,
              0.38273,
              0.51357,
              0.77262,
              1.28686
            ],
            [
              0.2636,
              0.31268,
              0.35026,
              0.41849,
              0.54948,
              0.80805,
              1.32375
            ],
            [
              0.31089,
              0.36184,
              0.39985,
              0.46839,
              0.59936,
              0.85859,
              1.37359
            ],
            [
              0.37186,
              0.42543,
              0.46452,
              0.53382,
              0.66502,
              0.92402,
              1.44002
            ],
            [
              0.44867,
              0.50607,
              0.54647,
              0.61687,
              0.74867,
              1.00767,
              1.52367
            ],
            [
              0.5423,
              0.6056,
              0.6481,
              0.7202,
              0.8526,
              1.1123,
              1.6272
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03972,
              0.06639,
              0.087,
              0.1235,
              0.19242,
              0.32917,
              0.61302
            ],
            [
              0.03974,
              0.06639,
              0.08701,
              0.12372,
              0.19242,
              0.32927,
              0.61306
            ],
            [
              0.03977,
              0.06654,
              0.08701,
              0.12347,
              0.19233,
              0.32949,
              0.61302
            ],
            [
              0.03974,
              0.06641,
              0.08693,
              0.12349,
              0.19238,
              0.32918,
              0.61291
            ],
            [
              0.03975,
              0.06652,
              0.08694,
              0.1235,
              0.19231,
              0.32909,
              0.61299
            ],
            [
              0.03972,
              0.06652,
              0.08687,
              0.12376,
              0.19231,
              0.32943,
              0.61218
            ],
            [
              0.03974,
              0.06637,
              0.08703,
              0.12345,
              0.19232,
              0.32952,
              0.61278
            ],
            [
              0.03972,
              0.06654,
              0.08688,
              0.12349,
              0.19228,
              0.32926,
              0.61297
            ],
            [
              0.03974,
              0.06643,
              0.08693,
              0.1235,
              0.19254,
              0.3292,
              0.61287
            ],
            [
              0.03972,
              0.0665,
              0.08704,
              0.12382,
              0.19239,
              0.32946,
              0.6124
            ],
            [
              0.0419,
              0.0677,
              0.088,
              0.1242,
              0.1927,
              0.3296,
              0.6124
            ],
            [
              0.0506,
              0.0758,
              0.0953,
              0.1304,
              0.1973,
              0.3319,
              0.6133
            ],
            [
              0.0627,
              0.0884,
              0.107,
              0.141,
              0.2065,
              0.3395,
              0.6174
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.0341,
              0.07981,
              0.12317,
              0.21131,
              0.39225,
              0.75763,
              1.49157
            ],
            [
              0.03412,
              0.07978,
              0.12309,
              0.21136,
              0.39238,
              0.75823,
              1.49273
            ],
            [
              0.03411,
              0.07983,
              0.12323,
              0.21117,
              0.39234,
              0.75836,
              1.49268
            ],
            [
              0.03414,
              0.07983,
              0.12324,
              0.21129,
              0.39236,
              0.7585,
              1.49282
            ],
            [
              0.03416,
              0.07982,
              0.12318,
              0.21137,
              0.39239,
              0.75936,
              1.49087
            ],
            [
              0.03408,
              0.07984,
              0.12341,
              0.21104,
              0.39166,
              0.75757,
              1.49146
            ],
            [
              0.03411,
              0.07981,
              0.12307,
              0.21114,
              0.39214,
              0.75787,
              1.49392
            ],
            [
              0.03413,
              0.0799,
              0.12315,
              0.21121,
              0.39237,
              0.75876,
              1.4928
            ],
            [
              0.03518,
              0.08033,
              0.12341,
              0.21133,
              0.39186,
              0.75919,
              1.49099
            ],
            [
              0.03766,
              0.08267,
              0.12529,
              0.21221,
              0.39219,
              0.75876,
              1.4933
            ],
            [
              0.04122,
              0.08631,
              0.12855,
              0.2143,
              0.3934,
              0.758,
              1.4907
            ],
            [
              0.0467,
              0.0917,
              0.1329,
              0.2178,
              0.3949,
              0.7596,
              1.4922
            ],
            [
              0.0553,
              0.0996,
              0.1395,
              0.2224,
              0.397,
              0.7594,
              1.4924
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.35317,
              0.40522,
              0.43831,
              0.4886,
              0.56658,
              0.69469,
              0.92306
            ],
            [
              0.35511,
              0.40718,
              0.44028,
              0.49057,
              0.56855,
              0.69667,
              0.92489
            ],
            [
              0.35783,
              0.4099,
              0.44301,
              0.4933,
              0.57129,
              0.69941,
              0.92767
            ],
            [
              0.36223,
              0.4143,
              0.44742,
              0.49772,
              0.57571,
              0.70383,
              0.93215
            ],
            [
              0.36927,
              0.42136,
              0.45446,
              0.50477,
              0.58276,
              0.7109,
              0.9391
            ],
            [
              0.38038,
              0.43245,
              0.46556,
              0.51587,
              0.59385,
              0.72199,
              0.95022
            ],
            [
              0.3976,
              0.44964,
              0.48275,
              0.53304,
              0.61103,
              0.73914,
              0.96753
            ],
            [
              0.42449,
              0.47653,
              0.50961,
              0.55989,
              0.63788,
              0.76603,
              0.99426
            ],
            [
              0.46549,
              0.51752,
              0.55058,
              0.60083,
              0.67884,
              0.80695,
              1.03545
            ],
            [
              0.52813,
              0.58013,
              0.61314,
              0.66339,
              0.74139,
              0.86949,
              1.09809
            ],
            [
              0.62402,
              0.67582,
              0.70882,
              0.75902,
              0.83702,
              0.96532,
              1.19392
            ],
            [
              0.76127,
              0.81517,
              0.84877,
              0.89937,
              0.97787,
              1.10647,
              1.33507
            ],
            [
              0.9319,
              0.9925,
              1.0284,
              1.0816,
              1.1627,
              1.294,
              1.5242
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.15458,
              0.20373,
              0.2416,
              0.31003,
              0.44101,
              0.70034,
              1.21667
            ],
            [
              0.15811,
              0.20728,
              0.24509,
              0.31358,
              0.44439,
              0.70375,
              1.22074
            ],
            [
              0.16219,
              0.21134,
              0.24922,
              0.31763,
              0.44859,
              0.70806,
              1.22332
            ],
            [
              0.16794,
              0.21709,
              0.25495,
              0.32342,
              0.45432,
              0.71384,
              1.22938
            ],
            [
              0.17596,
              0.22512,
              0.26283,
              0.33142,
              0.46264,
              0.72186,
              1.23851
            ],
            [
              0.1874,
              0.23653,
              0.2743,
              0.34268,
              0.47397,
              0.73325,
              1.24962
            ],
            [
              0.20408,
              0.25316,
              0.29093,
              0.35937,
              0.49058,
              0.74985,
              1.26603
            ],
            [
              0.22873,
              0.27773,
              0.31537,
              0.38377,
              0.51497,
              0.77464,
              1.29026
            ],
            [
              0.26437,
              0.31355,
              0.35116,
              0.41961,
              0.55082,
              0.81015,
              1.32715
            ],
            [
              0.31168,
              0.3627,
              0.40079,
              0.4695,
              0.6008,
              0.86059,
              1.37709
            ],
            [
              0.37263,
              0.42625,
              0.46542,
              0.53492,
              0.66642,
              0.92602,
              1.44262
            ],
            [
              0.44937,
              0.50677,
              0.54727,
              0.61787,
              0.75007,
              1.00957,
              1.52697
            ],
            [
              0.5429,
              0.6063,
              0.6488,
              0.721,
              0.8538,
              1.1141,
              1.6302
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.0518,
              0.08227,
              0.10463,
              0.14365,
              0.2142,
              0.35039,
              0.62776
            ],
            [
              0.0518,
              0.0822,
              0.10462,
              0.14363,
              0.21402,
              0.35022,
              0.62755
            ],
            [
              0.05179,
              0.08223,
              0.10461,
              0.14364,
              0.2141,
              0.35015,
              0.6276
            ],
            [
              0.05181,
              0.08218,
              0.10468,
              0.14364,
              0.21411,
              0.35041,
              0.62773
            ],
            [
              0.05179,
              0.08216,
              0.10462,
              0.14361,
              0.21411,
              0.35021,
              0.6275
            ],
            [
              0.05182,
              0.08217,
              0.1046,
              0.14362,
              0.21418,
              0.35028,
              0.6273
            ],
            [
              0.05181,
              0.08219,
              0.10465,
              0.14361,
              0.21462,
              0.351,
              0.62757
            ],
            [
              0.05182,
              0.08215,
              0.10462,
              0.14364,
              0.21409,
              0.35026,
              0.6274
            ],
            [
              0.05179,
              0.08217,
              0.10466,
              0.14369,
              0.21441,
              0.35046,
              0.62782
            ],
            [
              0.05176,
              0.08219,
              0.10477,
              0.14395,
              0.215,
              0.3507,
              0.628
            ],
            [
              0.0516,
              0.0823,
              0.1049,
              0.144,
              0.2145,
              0.3507,
              0.628
            ],
            [
              0.0579,
              0.0865,
              0.1084,
              0.1466,
              0.2159,
              0.3515,
              0.6276
            ],
            [
              0.0704,
              0.0985,
              0.1192,
              0.1558,
              0.2244,
              0.3583,
              0.632
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.03422,
              0.07994,
              0.12323,
              0.21171,
              0.39311,
              0.75911,
              1.49498
            ],
            [
              0.03424,
              0.07992,
              0.12331,
              0.2118,
              0.39322,
              0.75946,
              1.49528
            ],
            [
              0.03414,
              0.07994,
              0.12317,
              0.2116,
              0.39318,
              0.76023,
              1.49642
            ],
            [
              0.03417,
              0.07994,
              0.12346,
              0.21166,
              0.39321,
              0.75989,
              1.49613
            ],
            [
              0.03421,
              0.07994,
              0.12319,
              0.21179,
              0.39265,
              0.75929,
              1.49484
            ],
            [
              0.03421,
              0.07997,
              0.12365,
              0.21155,
              0.39267,
              0.75913,
              1.49489
            ],
            [
              0.03415,
              0.08,
              0.12323,
              0.21167,
              0.39307,
              0.7596,
              1.4948
            ],
            [
              0.03417,
              0.08003,
              0.12337,
              0.21163,
              0.3932,
              0.76033,
              1.49585
            ],
            [
              0.0351,
              0.08048,
              0.12383,
              0.21192,
              0.39323,
              0.7609,
              1.49419
            ],
            [
              0.03768,
              0.08277,
              0.12523,
              0.21274,
              0.39285,
              0.75976,
              1.4967
            ],
            [
              0.0412,
              0.08642,
              0.12863,
              0.21465,
              0.3941,
              0.7596,
              1.4968
            ],
            [
              0.0467,
              0.0917,
              0.1331,
              0.2186,
              0.3958,
              0.7613,
              1.4955
            ],
            [
              0.0553,
              0.0996,
              0.1397,
              0.2227,
              0.3979,
              0.7611,
              1.4959
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.30565,
              0.34992,
              0.37847,
              0.42254,
              0.49286,
              0.61309,
              0.83588
            ],
            [
              0.30806,
              0.35235,
              0.38092,
              0.425,
              0.49532,
              0.61554,
              0.83836
            ],
            [
              0.31129,
              0.35558,
              0.38413,
              0.42822,
              0.49853,
              0.61874,
              0.84157
            ],
            [
              0.31635,
              0.36066,
              0.38922,
              0.43332,
              0.50365,
              0.62389,
              0.84661
            ],
            [
              0.32433,
              0.36862,
              0.39719,
              0.44131,
              0.51159,
              0.63185,
              0.85459
            ],
            [
              0.33658,
              0.38087,
              0.40945,
              0.45355,
              0.52388,
              0.64413,
              0.86688
            ],
            [
              0.35525,
              0.39986,
              0.42842,
              0.47253,
              0.54287,
              0.66311,
              0.88572
            ],
            [
              0.38429,
              0.42854,
              0.45707,
              0.50118,
              0.57152,
              0.69173,
              0.91436
            ],
            [
              0.428,
              0.47222,
              0.50073,
              0.54479,
              0.61514,
              0.73543,
              0.95815
            ],
            [
              0.49485,
              0.53902,
              0.5675,
              0.61154,
              0.68189,
              0.80219,
              1.02489
            ],
            [
              0.59572,
              0.63992,
              0.66832,
              0.71232,
              0.78272,
              0.90302,
              1.12582
            ],
            [
              0.73517,
              0.78247,
              0.81207,
              0.85717,
              0.92837,
              1.04907,
              1.27227
            ],
            [
              0.9076,
              0.9615,
              0.9936,
              1.0415,
              1.1156,
              1.239,
              1.4632
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.16359,
              0.21782,
              0.25742,
              0.32732,
              0.45857,
              0.71732,
              1.23307
            ],
            [
              0.16708,
              0.22131,
              0.26092,
              0.3309,
              0.46233,
              0.72037,
              1.23624
            ],
            [
              0.17109,
              0.22533,
              0.26494,
              0.33496,
              0.46626,
              0.72476,
              1.24062
            ],
            [
              0.17675,
              0.231,
              0.2706,
              0.34054,
              0.47191,
              0.73023,
              1.24628
            ],
            [
              0.18469,
              0.23891,
              0.27851,
              0.34846,
              0.47979,
              0.7383,
              1.25431
            ],
            [
              0.19602,
              0.25022,
              0.28979,
              0.35974,
              0.49103,
              0.74988,
              1.26562
            ],
            [
              0.21261,
              0.26675,
              0.30627,
              0.37623,
              0.50756,
              0.76645,
              1.28223
            ],
            [
              0.23718,
              0.29122,
              0.33072,
              0.40057,
              0.53216,
              0.79097,
              1.30676
            ],
            [
              0.27292,
              0.32709,
              0.36653,
              0.43636,
              0.56792,
              0.82645,
              1.34275
            ],
            [
              0.32097,
              0.37727,
              0.4172,
              0.48726,
              0.61898,
              0.87759,
              1.39379
            ],
            [
              0.38308,
              0.44269,
              0.48392,
              0.55502,
              0.68692,
              0.94562,
              1.46232
            ],
            [
              0.46147,
              0.52597,
              0.56897,
              0.64157,
              0.77457,
              1.03327,
              1.54977
            ],
            [
              0.5575,
              0.6295,
              0.6751,
              0.7499,
              0.8841,
              1.1433,
              1.6592
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04174,
              0.06865,
              0.08932,
              0.12598,
              0.19487,
              0.33193,
              0.61513
            ],
            [
              0.04172,
              0.06864,
              0.08939,
              0.12599,
              0.19495,
              0.33194,
              0.61513
            ],
            [
              0.04179,
              0.06863,
              0.08931,
              0.12597,
              0.19491,
              0.33198,
              0.6152
            ],
            [
              0.04173,
              0.06864,
              0.08931,
              0.12598,
              0.19516,
              0.33194,
              0.61475
            ],
            [
              0.04175,
              0.06865,
              0.08932,
              0.12623,
              0.19505,
              0.33193,
              0.61483
            ],
            [
              0.0417,
              0.06865,
              0.08932,
              0.12599,
              0.195,
              0.33194,
              0.61496
            ],
            [
              0.04173,
              0.0688,
              0.08938,
              0.12598,
              0.19501,
              0.33191,
              0.61426
            ],
            [
              0.04173,
              0.06865,
              0.08928,
              0.12596,
              0.19505,
              0.33185,
              0.61479
            ],
            [
              0.04173,
              0.06881,
              0.08942,
              0.12603,
              0.19503,
              0.33198,
              0.61476
            ],
            [
              0.0417,
              0.06868,
              0.0894,
              0.12608,
              0.19491,
              0.332,
              0.6145
            ],
            [
              0.042,
              0.0689,
              0.0896,
              0.1263,
              0.1953,
              0.3321,
              0.6143
            ],
            [
              0.0494,
              0.0747,
              0.0945,
              0.1301,
              0.1974,
              0.3333,
              0.6156
            ],
            [
              0.0606,
              0.0862,
              0.1051,
              0.1396,
              0.206,
              0.3398,
              0.6184
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.0403,
              0.08511,
              0.12756,
              0.21434,
              0.39355,
              0.75939,
              1.49275
            ],
            [
              0.04027,
              0.08505,
              0.12755,
              0.21446,
              0.39316,
              0.75895,
              1.49386
            ],
            [
              0.04027,
              0.08509,
              0.12754,
              0.21447,
              0.3935,
              0.75908,
              1.49406
            ],
            [
              0.04025,
              0.08511,
              0.12755,
              0.21438,
              0.39355,
              0.75905,
              1.49367
            ],
            [
              0.04026,
              0.08503,
              0.12756,
              0.21436,
              0.39356,
              0.75912,
              1.493
            ],
            [
              0.04033,
              0.08512,
              0.12757,
              0.21436,
              0.39354,
              0.759,
              1.49277
            ],
            [
              0.04026,
              0.08508,
              0.1276,
              0.21451,
              0.39356,
              0.75899,
              1.49272
            ],
            [
              0.04033,
              0.08524,
              0.12801,
              0.21451,
              0.39314,
              0.75745,
              1.49263
            ],
            [
              0.04137,
              0.08574,
              0.12807,
              0.21451,
              0.39355,
              0.75904,
              1.49324
            ],
            [
              0.04466,
              0.08837,
              0.12976,
              0.21552,
              0.39357,
              0.75821,
              1.4905
            ],
            [
              0.04938,
              0.09275,
              0.1337,
              0.2181,
              0.3945,
              0.7591,
              1.4918
            ],
            [
              0.0566,
              0.099,
              0.1395,
              0.2221,
              0.3966,
              0.7593,
              1.4913
            ],
            [
              0.0677,
              0.1089,
              0.1477,
              0.2285,
              0.4005,
              0.7596,
              1.4903
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.40429,
              0.45745,
              0.49109,
              0.54215,
              0.62112,
              0.75038,
              0.97977
            ],
            [
              0.4063,
              0.45947,
              0.49314,
              0.54418,
              0.62317,
              0.75241,
              0.98201
            ],
            [
              0.4091,
              0.46226,
              0.49592,
              0.54698,
              0.62597,
              0.75522,
              0.98482
            ],
            [
              0.41358,
              0.46679,
              0.50043,
              0.55151,
              0.63048,
              0.75975,
              0.98908
            ],
            [
              0.42075,
              0.47394,
              0.50759,
              0.55867,
              0.63765,
              0.7669,
              0.99621
            ],
            [
              0.4319,
              0.48509,
              0.51875,
              0.56982,
              0.64882,
              0.77805,
              1.00742
            ],
            [
              0.44916,
              0.50231,
              0.53597,
              0.58703,
              0.66603,
              0.79526,
              1.02483
            ],
            [
              0.47602,
              0.52917,
              0.56283,
              0.61387,
              0.69287,
              0.82211,
              1.05166
            ],
            [
              0.51687,
              0.57002,
              0.60364,
              0.65466,
              0.73364,
              0.86295,
              1.09255
            ],
            [
              0.57916,
              0.63229,
              0.66589,
              0.71689,
              0.79589,
              0.92519,
              1.15449
            ],
            [
              0.67452,
              0.72762,
              0.76122,
              0.81212,
              0.89112,
              1.02042,
              1.25012
            ],
            [
              0.81727,
              0.87077,
              0.90427,
              0.95527,
              1.03437,
              1.16387,
              1.39357
            ],
            [
              1.0016,
              1.061,
              1.0965,
              1.1494,
              1.2306,
              1.3619,
              1.5922
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.16369,
              0.21801,
              0.25769,
              0.32778,
              0.45938,
              0.71875,
              1.23587
            ],
            [
              0.16722,
              0.22154,
              0.26124,
              0.33134,
              0.46308,
              0.72181,
              1.23934
            ],
            [
              0.17131,
              0.22562,
              0.26532,
              0.3355,
              0.46722,
              0.72621,
              1.24332
            ],
            [
              0.17705,
              0.23136,
              0.27107,
              0.34126,
              0.47284,
              0.73221,
              1.24938
            ],
            [
              0.18508,
              0.2394,
              0.2791,
              0.3492,
              0.48089,
              0.73983,
              1.25731
            ],
            [
              0.19652,
              0.25081,
              0.29047,
              0.36064,
              0.49227,
              0.75174,
              1.26882
            ],
            [
              0.21321,
              0.26744,
              0.30704,
              0.37713,
              0.50878,
              0.76809,
              1.28433
            ],
            [
              0.23785,
              0.29196,
              0.3315,
              0.40152,
              0.53334,
              0.79275,
              1.30966
            ],
            [
              0.27365,
              0.3279,
              0.36747,
              0.43752,
              0.56944,
              0.82915,
              1.34565
            ],
            [
              0.32176,
              0.37809,
              0.4181,
              0.48827,
              0.62014,
              0.87959,
              1.39709
            ],
            [
              0.38379,
              0.44345,
              0.48472,
              0.55602,
              0.68832,
              0.94802,
              1.46552
            ],
            [
              0.46217,
              0.52667,
              0.56967,
              0.64247,
              0.77587,
              1.03517,
              1.55297
            ],
            [
              0.5581,
              0.6301,
              0.6758,
              0.7507,
              0.8852,
              1.1451,
              1.6623
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05408,
              0.08456,
              0.10704,
              0.14633,
              0.21721,
              0.35284,
              0.62998
            ],
            [
              0.05411,
              0.08458,
              0.10708,
              0.1461,
              0.21657,
              0.35247,
              0.63038
            ],
            [
              0.05409,
              0.08459,
              0.10709,
              0.14619,
              0.21661,
              0.3525,
              0.63036
            ],
            [
              0.05409,
              0.08456,
              0.10705,
              0.14634,
              0.2173,
              0.35287,
              0.62981
            ],
            [
              0.05407,
              0.08455,
              0.10707,
              0.14611,
              0.21735,
              0.35291,
              0.62967
            ],
            [
              0.05413,
              0.08456,
              0.10708,
              0.14609,
              0.21682,
              0.35322,
              0.6294
            ],
            [
              0.0541,
              0.08457,
              0.10729,
              0.14599,
              0.21652,
              0.3533,
              0.63018
            ],
            [
              0.0541,
              0.08459,
              0.10705,
              0.14603,
              0.21663,
              0.35316,
              0.63015
            ],
            [
              0.05406,
              0.08457,
              0.10709,
              0.14634,
              0.21679,
              0.35272,
              0.6303
            ],
            [
              0.05408,
              0.08469,
              0.10711,
              0.1461,
              0.2174,
              0.3529,
              0.6299
            ],
            [
              0.054,
              0.0845,
              0.1072,
              0.1462,
              0.2167,
              0.3527,
              0.6304
            ],
            [
              0.0566,
              0.0859,
              0.1082,
              0.1472,
              0.2174,
              0.3535,
              0.6303
            ],
            [
              0.0683,
              0.0963,
              0.1172,
              0.155,
              0.2241,
              0.3577,
              0.6319
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04029,
              0.08529,
              0.12778,
              0.21481,
              0.39444,
              0.76108,
              1.49679
            ],
            [
              0.04036,
              0.08515,
              0.12777,
              0.21481,
              0.3943,
              0.76059,
              1.49758
            ],
            [
              0.04029,
              0.08526,
              0.12777,
              0.21483,
              0.39422,
              0.75979,
              1.49705
            ],
            [
              0.04027,
              0.08523,
              0.12777,
              0.21491,
              0.39443,
              0.76113,
              1.49673
            ],
            [
              0.04027,
              0.08518,
              0.12799,
              0.2148,
              0.39443,
              0.76082,
              1.49707
            ],
            [
              0.04032,
              0.08517,
              0.1278,
              0.21493,
              0.39444,
              0.76108,
              1.49634
            ],
            [
              0.04029,
              0.0852,
              0.12783,
              0.21486,
              0.39442,
              0.76048,
              1.49457
            ],
            [
              0.04035,
              0.08531,
              0.12794,
              0.21492,
              0.39444,
              0.75987,
              1.49733
            ],
            [
              0.04135,
              0.08575,
              0.12836,
              0.21512,
              0.39404,
              0.75977,
              1.49694
            ],
            [
              0.04463,
              0.08836,
              0.13,
              0.21575,
              0.39471,
              0.76007,
              1.4936
            ],
            [
              0.04933,
              0.0928,
              0.13383,
              0.2184,
              0.3954,
              0.7602,
              1.4944
            ],
            [
              0.0567,
              0.0992,
              0.1396,
              0.2226,
              0.3976,
              0.761,
              1.4948
            ],
            [
              0.0678,
              0.109,
              0.1479,
              0.2289,
              0.4014,
              0.7612,
              1.4935
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.43906,
              0.49286,
              0.52676,
              0.57816,
              0.65768,
              0.7876,
              1.01787
            ],
            [
              0.44108,
              0.49491,
              0.52884,
              0.58023,
              0.65973,
              0.78968,
              1.02004
            ],
            [
              0.44388,
              0.49773,
              0.53164,
              0.58305,
              0.66256,
              0.7925,
              1.02282
            ],
            [
              0.44848,
              0.50231,
              0.53621,
              0.58764,
              0.66717,
              0.7971,
              1.02758
            ],
            [
              0.45568,
              0.50952,
              0.54345,
              0.59489,
              0.67439,
              0.80436,
              1.03481
            ],
            [
              0.46695,
              0.52078,
              0.55472,
              0.60616,
              0.68567,
              0.81564,
              1.04612
            ],
            [
              0.48428,
              0.5381,
              0.57204,
              0.62347,
              0.703,
              0.83298,
              1.06333
            ],
            [
              0.51132,
              0.56512,
              0.59903,
              0.65045,
              0.73,
              0.85996,
              1.09026
            ],
            [
              0.55222,
              0.60597,
              0.63989,
              0.69132,
              0.77085,
              0.90085,
              1.13125
            ],
            [
              0.61455,
              0.66829,
              0.70219,
              0.75359,
              0.83309,
              0.96309,
              1.19359
            ],
            [
              0.70982,
              0.76362,
              0.79742,
              0.84882,
              0.92822,
              1.05822,
              1.28872
            ],
            [
              0.85427,
              0.90787,
              0.94157,
              0.99297,
              1.07237,
              1.20237,
              1.43267
            ],
            [
              1.0485,
              1.1069,
              1.1422,
              1.195,
              1.2761,
              1.4072,
              1.6381
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.16457,
              0.22653,
              0.26906,
              0.34155,
              0.47442,
              0.73384,
              1.25017
            ],
            [
              0.16811,
              0.23007,
              0.27261,
              0.3451,
              0.47799,
              0.73741,
              1.25374
            ],
            [
              0.1722,
              0.23415,
              0.2767,
              0.34913,
              0.48199,
              0.74152,
              1.25782
            ],
            [
              0.17794,
              0.23989,
              0.28245,
              0.35496,
              0.48788,
              0.74721,
              1.26258
            ],
            [
              0.18597,
              0.24793,
              0.29045,
              0.36297,
              0.49592,
              0.75502,
              1.27221
            ],
            [
              0.19741,
              0.25933,
              0.30183,
              0.37424,
              0.50718,
              0.7664,
              1.28362
            ],
            [
              0.2141,
              0.27596,
              0.31841,
              0.39081,
              0.52377,
              0.78342,
              1.29913
            ],
            [
              0.23871,
              0.30046,
              0.34284,
              0.41528,
              0.54821,
              0.80797,
              1.32456
            ],
            [
              0.27445,
              0.33634,
              0.37874,
              0.4512,
              0.58428,
              0.84345,
              1.36105
            ],
            [
              0.32252,
              0.3868,
              0.42966,
              0.50227,
              0.63539,
              0.89519,
              1.41239
            ],
            [
              0.38451,
              0.45292,
              0.49732,
              0.57112,
              0.70472,
              0.96452,
              1.48112
            ],
            [
              0.46287,
              0.53717,
              0.58387,
              0.65967,
              0.79467,
              1.05447,
              1.57207
            ],
            [
              0.5586,
              0.6423,
              0.6923,
              0.7709,
              0.9076,
              1.1684,
              1.6852
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.05578,
              0.08645,
              0.10909,
              0.14827,
              0.21894,
              0.35529,
              0.63162
            ],
            [
              0.05579,
              0.08645,
              0.1091,
              0.14818,
              0.21954,
              0.3551,
              0.63227
            ],
            [
              0.05589,
              0.08645,
              0.10908,
              0.14832,
              0.21882,
              0.35571,
              0.63192
            ],
            [
              0.05578,
              0.08645,
              0.10909,
              0.14828,
              0.21892,
              0.35494,
              0.63245
            ],
            [
              0.05582,
              0.08653,
              0.10909,
              0.14844,
              0.21896,
              0.35491,
              0.63254
            ],
            [
              0.05582,
              0.08647,
              0.10908,
              0.14844,
              0.21894,
              0.35483,
              0.63246
            ],
            [
              0.05579,
              0.08647,
              0.10928,
              0.14819,
              0.21945,
              0.35502,
              0.63236
            ],
            [
              0.05575,
              0.08646,
              0.1091,
              0.1483,
              0.21888,
              0.35511,
              0.63152
            ],
            [
              0.05579,
              0.08653,
              0.10911,
              0.14845,
              0.21894,
              0.35487,
              0.6325
            ],
            [
              0.05578,
              0.08641,
              0.1093,
              0.1484,
              0.2196,
              0.3555,
              0.6324
            ],
            [
              0.0557,
              0.0864,
              0.1091,
              0.1484,
              0.219,
              0.3554,
              0.6324
            ],
            [
              0.0563,
              0.0866,
              0.1092,
              0.1486,
              0.2196,
              0.3556,
              0.6319
            ],
            [
              0.0671,
              0.0952,
              0.1166,
              0.1546,
              0.2243,
              0.3584,
              0.6336
            ]
          ]
        },
        "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.00581,
            0.01162,
            0.02324,
            0.04648,
            0.09297,
            0.18594
          ],
          "values": [
            [
              0.04389,
              0.09356,
              0.135,
              0.21978,
              0.39643,
              0.76048,
              1.49774
            ],
            [
              0.04387,
              0.09357,
              0.13506,
              0.21979,
              0.3964,
              0.76048,
              1.49765
            ],
            [
              0.0439,
              0.09356,
              0.13508,
              0.21985,
              0.39641,
              0.76055,
              1.49763
            ],
            [
              0.0439,
              0.09356,
              0.13509,
              0.21978,
              0.3964,
              0.76123,
              1.49741
            ],
            [
              0.04389,
              0.09356,
              0.13501,
              0.21976,
              0.39637,
              0.76091,
              1.49756
            ],
            [
              0.04389,
              0.09359,
              0.13512,
              0.21961,
              0.39684,
              0.76098,
              1.49712
            ],
            [
              0.04389,
              0.09362,
              0.13517,
              0.21984,
              0.39688,
              0.76055,
              1.49752
            ],
            [
              0.04395,
              0.09384,
              0.1352,
              0.22042,
              0.39649,
              0.76054,
              1.49761
            ],
            [
              0.04478,
              0.09427,
              0.13568,
              0.22012,
              0.39685,
              0.76118,
              1.49462
            ],
            [
              0.04826,
              0.09711,
              0.13745,
              0.2213,
              0.39727,
              0.76008,
              1.4947
            ],
            [
              0.05315,
              0.10251,
              0.14223,
              0.224,
              0.3988,
              0.7616,
              1.4953
            ],
            [
              0.0607,
              0.1106,
              0.1491,
              0.2295,
              0.4006,
              0.7612,
              1.4946
            ],
            [
              0.0721,
              0.1226,
              0.1595,
              0.2371,
              0.406,
              0.7623,
              1.4942
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}