{
  "area": 12.7872,
  "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.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.00312,
          0.00322,
          0.00309,
          0.00297,
          0.00305,
          0.00307,
          0.00309,
          0.0031,
          0.00323,
          0.00376,
          0.00429,
          0.0058,
          0.00789
        ]
      },
      "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.00338,
          0.00333,
          0.00331,
          0.00335,
          0.00333,
          0.00336,
          0.00344,
          0.00361,
          0.00384,
          0.00467,
          0.00549,
          0.00743,
          0.01008
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00282,
    "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.00342,
          0.00319,
          0.00309,
          0.00319,
          0.00312,
          0.00314,
          0.0032,
          0.00331,
          0.00351,
          0.00425,
          0.00499,
          0.00664,
          0.00887
        ]
      },
      "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.00274,
          0.00288,
          0.00278,
          0.00273,
          0.00278,
          0.00278,
          0.00278,
          0.00283,
          0.00293,
          0.00336,
          0.00372,
          0.00494,
          0.00675
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00276,
    "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.00459,
          0.00445,
          0.00438,
          0.00433,
          0.00436,
          0.00427,
          0.00448,
          0.00465,
          0.00494,
          0.00585,
          0.00668,
          0.00859,
          0.01099
        ]
      },
      "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.00273,
          0.00281,
          0.00265,
          0.00265,
          0.00263,
          0.00264,
          0.00262,
          0.00263,
          0.00263,
          0.0029,
          0.00308,
          0.00395,
          0.00544
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00292,
    "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.0026,
          0.00289,
          0.00278,
          0.00268,
          0.00271,
          0.0027,
          0.00267,
          0.00269,
          0.00274,
          0.00312,
          0.00345,
          0.00476,
          0.00688
        ]
      },
      "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.00363,
          0.00379,
          0.00366,
          0.00369,
          0.00368,
          0.00375,
          0.00389,
          0.00412,
          0.00448,
          0.00549,
          0.00653,
          0.00881,
          0.01195
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00255,
    "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.00383,
          0.00387,
          0.00385,
          0.00385,
          0.00386,
          0.00392,
          0.00407,
          0.0043,
          0.00466,
          0.00565,
          0.00666,
          0.00889,
          0.01192
        ]
      },
      "rise_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00247,
          0.00265,
          0.00256,
          0.00242,
          0.00248,
          0.00249,
          0.00246,
          0.00246,
          0.00248,
          0.00281,
          0.00306,
          0.00417,
          0.00627
        ]
      }
    },
    "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.03625,
              0.02749,
              0.01855,
              0.0004,
              -0.03628,
              -0.10991,
              -0.25723
            ],
            [
              0.03618,
              0.02742,
              0.01849,
              0.00034,
              -0.03634,
              -0.10997,
              -0.25731
            ],
            [
              0.0361,
              0.02733,
              0.0184,
              0.00026,
              -0.03643,
              -0.11006,
              -0.25738
            ],
            [
              0.03598,
              0.0272,
              0.01826,
              0.00012,
              -0.03655,
              -0.11019,
              -0.25751
            ],
            [
              0.03585,
              0.02707,
              0.01813,
              -1e-05,
              -0.03669,
              -0.11032,
              -0.25764
            ],
            [
              0.03571,
              0.02692,
              0.01797,
              -0.00017,
              -0.03684,
              -0.11047,
              -0.2578
            ],
            [
              0.03555,
              0.02675,
              0.01781,
              -0.00034,
              -0.037,
              -0.11063,
              -0.25796
            ],
            [
              0.03542,
              0.0266,
              0.01764,
              -0.00049,
              -0.03715,
              -0.11076,
              -0.25808
            ],
            [
              0.03538,
              0.02647,
              0.0175,
              -0.00063,
              -0.03727,
              -0.11087,
              -0.25817
            ],
            [
              0.03543,
              0.02639,
              0.0174,
              -0.00074,
              -0.03735,
              -0.11092,
              -0.25818
            ],
            [
              0.03569,
              0.02646,
              0.01739,
              -0.00075,
              -0.03732,
              -0.11085,
              -0.25809
            ],
            [
              0.03626,
              0.02684,
              0.01772,
              -0.00048,
              -0.03709,
              -0.11058,
              -0.25781
            ],
            [
              0.03752,
              0.02782,
              0.01861,
              0.00036,
              -0.03626,
              -0.10975,
              -0.25699
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.01355,
              0.02269,
              0.03188,
              0.05007,
              0.08661,
              0.15953,
              0.30598
            ],
            [
              0.01353,
              0.02266,
              0.03184,
              0.05002,
              0.08658,
              0.15967,
              0.30609
            ],
            [
              0.01346,
              0.02261,
              0.03178,
              0.04999,
              0.08659,
              0.15976,
              0.30594
            ],
            [
              0.0134,
              0.02253,
              0.03171,
              0.04996,
              0.08644,
              0.15958,
              0.30586
            ],
            [
              0.01331,
              0.02244,
              0.03163,
              0.04986,
              0.08637,
              0.15943,
              0.30556
            ],
            [
              0.01317,
              0.02233,
              0.03152,
              0.04975,
              0.08631,
              0.15938,
              0.30535
            ],
            [
              0.01306,
              0.02221,
              0.03143,
              0.04969,
              0.08623,
              0.1592,
              0.30542
            ],
            [
              0.01303,
              0.02215,
              0.03134,
              0.04957,
              0.08618,
              0.15923,
              0.30542
            ],
            [
              0.01311,
              0.02217,
              0.03132,
              0.04954,
              0.08611,
              0.15895,
              0.30518
            ],
            [
              0.01342,
              0.02242,
              0.03153,
              0.04976,
              0.08622,
              0.15923,
              0.30505
            ],
            [
              0.01402,
              0.02293,
              0.03208,
              0.05023,
              0.08668,
              0.15937,
              0.3056
            ],
            [
              0.01515,
              0.02392,
              0.03302,
              0.05127,
              0.08765,
              0.16032,
              0.30638
            ],
            [
              0.01707,
              0.02572,
              0.03472,
              0.0529,
              0.08941,
              0.16206,
              0.30766
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.03928,
              0.03038,
              0.02143,
              0.0033,
              -0.03334,
              -0.10694,
              -0.25426
            ],
            [
              0.03927,
              0.03038,
              0.02142,
              0.0033,
              -0.03335,
              -0.10695,
              -0.25427
            ],
            [
              0.03922,
              0.03031,
              0.02135,
              0.00322,
              -0.03342,
              -0.10702,
              -0.25434
            ],
            [
              0.03911,
              0.03019,
              0.02125,
              0.00311,
              -0.03353,
              -0.10713,
              -0.25444
            ],
            [
              0.039,
              0.0301,
              0.02114,
              0.00301,
              -0.03363,
              -0.10723,
              -0.25455
            ],
            [
              0.03888,
              0.02997,
              0.02101,
              0.00288,
              -0.03375,
              -0.10735,
              -0.25467
            ],
            [
              0.03877,
              0.02985,
              0.02088,
              0.00275,
              -0.03389,
              -0.10748,
              -0.2548
            ],
            [
              0.03867,
              0.02972,
              0.02075,
              0.00262,
              -0.034,
              -0.10759,
              -0.2549
            ],
            [
              0.03863,
              0.02962,
              0.02063,
              0.0025,
              -0.03411,
              -0.10768,
              -0.25498
            ],
            [
              0.03866,
              0.02956,
              0.02054,
              0.00241,
              -0.03419,
              -0.10775,
              -0.25502
            ],
            [
              0.03891,
              0.02961,
              0.02052,
              0.00239,
              -0.03418,
              -0.10769,
              -0.25493
            ],
            [
              0.03945,
              0.02999,
              0.02085,
              0.00262,
              -0.03398,
              -0.10745,
              -0.25467
            ],
            [
              0.04063,
              0.03092,
              0.0217,
              0.00343,
              -0.03321,
              -0.1067,
              -0.25392
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.01362,
              0.02275,
              0.03191,
              0.05005,
              0.08647,
              0.15948,
              0.30546
            ],
            [
              0.01356,
              0.02268,
              0.03185,
              0.04995,
              0.08644,
              0.15933,
              0.30534
            ],
            [
              0.01349,
              0.02262,
              0.03179,
              0.04995,
              0.08636,
              0.15932,
              0.30535
            ],
            [
              0.0134,
              0.02254,
              0.03168,
              0.04982,
              0.08626,
              0.15915,
              0.30563
            ],
            [
              0.01332,
              0.02246,
              0.03159,
              0.04976,
              0.08629,
              0.15923,
              0.30535
            ],
            [
              0.01321,
              0.02234,
              0.03152,
              0.04967,
              0.08622,
              0.15913,
              0.30514
            ],
            [
              0.01309,
              0.02221,
              0.03137,
              0.04957,
              0.08607,
              0.15911,
              0.30515
            ],
            [
              0.01299,
              0.02212,
              0.03129,
              0.04944,
              0.08597,
              0.159,
              0.30512
            ],
            [
              0.01297,
              0.02206,
              0.03124,
              0.0494,
              0.08594,
              0.15874,
              0.30485
            ],
            [
              0.01312,
              0.02216,
              0.03127,
              0.04953,
              0.08595,
              0.15889,
              0.3049
            ],
            [
              0.01349,
              0.02248,
              0.03162,
              0.04976,
              0.0862,
              0.15916,
              0.30518
            ],
            [
              0.0143,
              0.02315,
              0.03229,
              0.05051,
              0.08692,
              0.15957,
              0.30564
            ],
            [
              0.01582,
              0.02453,
              0.03356,
              0.05177,
              0.0883,
              0.16094,
              0.30644
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.04206,
              0.03291,
              0.02371,
              0.00524,
              -0.03173,
              -0.10557,
              -0.25304
            ],
            [
              0.04203,
              0.03287,
              0.02367,
              0.0052,
              -0.03177,
              -0.10561,
              -0.25308
            ],
            [
              0.04196,
              0.03281,
              0.02361,
              0.00515,
              -0.03181,
              -0.10566,
              -0.25312
            ],
            [
              0.04188,
              0.03271,
              0.02352,
              0.00506,
              -0.0319,
              -0.10574,
              -0.2532
            ],
            [
              0.04179,
              0.03264,
              0.02344,
              0.00499,
              -0.03197,
              -0.1058,
              -0.25327
            ],
            [
              0.04168,
              0.03253,
              0.02335,
              0.0049,
              -0.03206,
              -0.10589,
              -0.25336
            ],
            [
              0.04157,
              0.03242,
              0.02324,
              0.00481,
              -0.03214,
              -0.10597,
              -0.25344
            ],
            [
              0.0415,
              0.03232,
              0.02314,
              0.00472,
              -0.0322,
              -0.10603,
              -0.2535
            ],
            [
              0.04143,
              0.03223,
              0.02306,
              0.00466,
              -0.03224,
              -0.10604,
              -0.2535
            ],
            [
              0.04148,
              0.03222,
              0.02305,
              0.00467,
              -0.0322,
              -0.106,
              -0.25344
            ],
            [
              0.04172,
              0.03231,
              0.0231,
              0.00476,
              -0.03207,
              -0.10583,
              -0.25325
            ],
            [
              0.04227,
              0.03274,
              0.02349,
              0.00508,
              -0.03176,
              -0.10548,
              -0.25291
            ],
            [
              0.04345,
              0.03371,
              0.02441,
              0.00599,
              -0.03087,
              -0.10463,
              -0.25209
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.01357,
              0.02269,
              0.03184,
              0.04992,
              0.08633,
              0.15904,
              0.30505
            ],
            [
              0.01346,
              0.02259,
              0.03173,
              0.04984,
              0.08619,
              0.15884,
              0.30493
            ],
            [
              0.01342,
              0.02253,
              0.03167,
              0.04979,
              0.08618,
              0.1589,
              0.30471
            ],
            [
              0.01334,
              0.02246,
              0.03162,
              0.04969,
              0.08606,
              0.15872,
              0.30507
            ],
            [
              0.01324,
              0.02237,
              0.03152,
              0.04961,
              0.08599,
              0.15884,
              0.30494
            ],
            [
              0.01313,
              0.02225,
              0.03141,
              0.04951,
              0.08583,
              0.15857,
              0.30476
            ],
            [
              0.01298,
              0.0221,
              0.03124,
              0.04937,
              0.08573,
              0.15865,
              0.30453
            ],
            [
              0.01286,
              0.02197,
              0.03112,
              0.04928,
              0.08573,
              0.1586,
              0.30427
            ],
            [
              0.01279,
              0.02186,
              0.03102,
              0.0492,
              0.08568,
              0.15855,
              0.30469
            ],
            [
              0.01285,
              0.02191,
              0.03103,
              0.04925,
              0.08559,
              0.15862,
              0.30462
            ],
            [
              0.01311,
              0.02212,
              0.03128,
              0.04946,
              0.08582,
              0.1586,
              0.30472
            ],
            [
              0.0138,
              0.02269,
              0.03183,
              0.05006,
              0.08649,
              0.1591,
              0.30525
            ],
            [
              0.01518,
              0.02394,
              0.03297,
              0.05114,
              0.08772,
              0.16039,
              0.3059
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02119,
              0.0124,
              0.00341,
              -0.01481,
              -0.05154,
              -0.12518,
              -0.27248
            ],
            [
              0.02107,
              0.01229,
              0.0033,
              -0.01491,
              -0.05165,
              -0.12529,
              -0.27259
            ],
            [
              0.02097,
              0.01217,
              0.00318,
              -0.01503,
              -0.05177,
              -0.1254,
              -0.2727
            ],
            [
              0.02082,
              0.01201,
              0.00303,
              -0.01518,
              -0.05192,
              -0.12555,
              -0.27285
            ],
            [
              0.02069,
              0.01188,
              0.00288,
              -0.01533,
              -0.05206,
              -0.12569,
              -0.27299
            ],
            [
              0.02057,
              0.01172,
              0.00272,
              -0.01548,
              -0.0522,
              -0.12582,
              -0.27312
            ],
            [
              0.02048,
              0.0116,
              0.00261,
              -0.01558,
              -0.05229,
              -0.1259,
              -0.27319
            ],
            [
              0.02053,
              0.01158,
              0.00257,
              -0.01561,
              -0.0523,
              -0.1259,
              -0.27318
            ],
            [
              0.02077,
              0.01173,
              0.0027,
              -0.01549,
              -0.05216,
              -0.12574,
              -0.27301
            ],
            [
              0.02134,
              0.01212,
              0.00304,
              -0.01514,
              -0.0518,
              -0.12536,
              -0.27262
            ],
            [
              0.02227,
              0.0129,
              0.00376,
              -0.01449,
              -0.05113,
              -0.12468,
              -0.27193
            ],
            [
              0.02373,
              0.01415,
              0.00496,
              -0.01331,
              -0.05,
              -0.12355,
              -0.27081
            ],
            [
              0.02604,
              0.01623,
              0.00696,
              -0.01137,
              -0.04809,
              -0.12165,
              -0.26891
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.0082,
              0.01788,
              0.02726,
              0.04573,
              0.0824,
              0.15556,
              0.30141
            ],
            [
              0.00815,
              0.01783,
              0.0272,
              0.04566,
              0.08234,
              0.15548,
              0.3016
            ],
            [
              0.00808,
              0.01776,
              0.02716,
              0.04565,
              0.08229,
              0.1553,
              0.30143
            ],
            [
              0.00799,
              0.01765,
              0.02704,
              0.04553,
              0.08229,
              0.15528,
              0.30136
            ],
            [
              0.00788,
              0.0175,
              0.02689,
              0.04539,
              0.08208,
              0.15516,
              0.30123
            ],
            [
              0.00778,
              0.01733,
              0.0267,
              0.04519,
              0.0819,
              0.15487,
              0.30115
            ],
            [
              0.00771,
              0.01719,
              0.02653,
              0.045,
              0.08174,
              0.15487,
              0.30116
            ],
            [
              0.00773,
              0.01709,
              0.02641,
              0.04488,
              0.08165,
              0.15486,
              0.30103
            ],
            [
              0.00789,
              0.01718,
              0.02645,
              0.04491,
              0.08158,
              0.15502,
              0.30101
            ],
            [
              0.00829,
              0.0175,
              0.02675,
              0.04518,
              0.08188,
              0.15498,
              0.30134
            ],
            [
              0.00909,
              0.01813,
              0.0274,
              0.04579,
              0.08236,
              0.15531,
              0.30164
            ],
            [
              0.01051,
              0.01938,
              0.02856,
              0.04698,
              0.08363,
              0.15644,
              0.30222
            ],
            [
              0.01285,
              0.02152,
              0.03057,
              0.04887,
              0.08559,
              0.15859,
              0.30456
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02382,
              0.01493,
              0.00593,
              -0.01228,
              -0.04899,
              -0.12262,
              -0.26991
            ],
            [
              0.02373,
              0.01484,
              0.00584,
              -0.01237,
              -0.04909,
              -0.12271,
              -0.27001
            ],
            [
              0.02365,
              0.01475,
              0.00575,
              -0.01245,
              -0.04917,
              -0.12279,
              -0.27009
            ],
            [
              0.02357,
              0.01468,
              0.00568,
              -0.01252,
              -0.04924,
              -0.12286,
              -0.27016
            ],
            [
              0.02352,
              0.01462,
              0.00561,
              -0.01258,
              -0.0493,
              -0.12292,
              -0.27021
            ],
            [
              0.02344,
              0.01452,
              0.00552,
              -0.01268,
              -0.04939,
              -0.123,
              -0.2703
            ],
            [
              0.02341,
              0.01447,
              0.00546,
              -0.01273,
              -0.04943,
              -0.12304,
              -0.27032
            ],
            [
              0.02349,
              0.01449,
              0.00547,
              -0.01271,
              -0.0494,
              -0.123,
              -0.27028
            ],
            [
              0.02376,
              0.01467,
              0.00563,
              -0.01256,
              -0.04924,
              -0.12282,
              -0.27009
            ],
            [
              0.02438,
              0.01512,
              0.00604,
              -0.01216,
              -0.04882,
              -0.12238,
              -0.26964
            ],
            [
              0.02538,
              0.01597,
              0.00681,
              -0.01145,
              -0.0481,
              -0.12164,
              -0.26889
            ],
            [
              0.02698,
              0.01738,
              0.00817,
              -0.01013,
              -0.04683,
              -0.12038,
              -0.26764
            ],
            [
              0.0295,
              0.01968,
              0.0104,
              -0.00795,
              -0.04469,
              -0.11826,
              -0.26553
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.00808,
              0.01776,
              0.02715,
              0.04561,
              0.08229,
              0.15527,
              0.30138
            ],
            [
              0.00813,
              0.01781,
              0.02719,
              0.04567,
              0.08234,
              0.1554,
              0.30152
            ],
            [
              0.00805,
              0.01772,
              0.02713,
              0.04562,
              0.08223,
              0.15529,
              0.30131
            ],
            [
              0.00796,
              0.01765,
              0.02703,
              0.04553,
              0.08222,
              0.15519,
              0.30131
            ],
            [
              0.00786,
              0.01751,
              0.02689,
              0.04537,
              0.08209,
              0.15509,
              0.30132
            ],
            [
              0.00773,
              0.01734,
              0.02671,
              0.04518,
              0.08192,
              0.15497,
              0.30119
            ],
            [
              0.00761,
              0.01714,
              0.02652,
              0.04502,
              0.08176,
              0.15476,
              0.30087
            ],
            [
              0.00756,
              0.01699,
              0.02635,
              0.04482,
              0.08157,
              0.15466,
              0.30073
            ],
            [
              0.00762,
              0.01698,
              0.02629,
              0.04474,
              0.0816,
              0.15474,
              0.30096
            ],
            [
              0.00789,
              0.01718,
              0.02647,
              0.04492,
              0.08157,
              0.15476,
              0.30108
            ],
            [
              0.00853,
              0.01767,
              0.02698,
              0.0454,
              0.08199,
              0.15506,
              0.30125
            ],
            [
              0.00977,
              0.01875,
              0.02796,
              0.04638,
              0.08314,
              0.156,
              0.30205
            ],
            [
              0.01199,
              0.02077,
              0.02987,
              0.0482,
              0.08506,
              0.15801,
              0.30399
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.12047,
    "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.14087,
              0.18073,
              0.20873,
              0.25531,
              0.33738,
              0.49212,
              0.79799
            ],
            [
              0.14354,
              0.18337,
              0.2114,
              0.258,
              0.34005,
              0.49487,
              0.80066
            ],
            [
              0.14672,
              0.18657,
              0.21457,
              0.26117,
              0.34325,
              0.498,
              0.80387
            ],
            [
              0.15158,
              0.1914,
              0.21943,
              0.26604,
              0.34812,
              0.50291,
              0.80876
            ],
            [
              0.15909,
              0.19891,
              0.22689,
              0.27354,
              0.35563,
              0.5104,
              0.81626
            ],
            [
              0.17046,
              0.21022,
              0.23823,
              0.28484,
              0.3669,
              0.52172,
              0.82743
            ],
            [
              0.18723,
              0.22695,
              0.25496,
              0.30159,
              0.38372,
              0.53838,
              0.84444
            ],
            [
              0.21188,
              0.25156,
              0.27962,
              0.32631,
              0.40847,
              0.56322,
              0.86926
            ],
            [
              0.24544,
              0.28622,
              0.31456,
              0.36151,
              0.44381,
              0.59872,
              0.90475
            ],
            [
              0.28615,
              0.33002,
              0.36005,
              0.40856,
              0.49172,
              0.64689,
              0.95269
            ],
            [
              0.33441,
              0.38231,
              0.41456,
              0.46572,
              0.55142,
              0.70752,
              1.01372
            ],
            [
              0.39077,
              0.44407,
              0.47937,
              0.53407,
              0.62297,
              0.78137,
              1.08827
            ],
            [
              0.4593,
              0.5187,
              0.558,
              0.6175,
              0.7108,
              0.872,
              1.1798
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.13274,
              0.17971,
              0.21554,
              0.28151,
              0.41031,
              0.66641,
              1.17717
            ],
            [
              0.13472,
              0.18169,
              0.21754,
              0.28358,
              0.41205,
              0.66823,
              1.17944
            ],
            [
              0.1371,
              0.18407,
              0.21993,
              0.28595,
              0.41462,
              0.67029,
              1.18102
            ],
            [
              0.14075,
              0.18773,
              0.22357,
              0.28965,
              0.41841,
              0.67454,
              1.18548
            ],
            [
              0.14634,
              0.19332,
              0.22919,
              0.29522,
              0.42407,
              0.68014,
              1.19121
            ],
            [
              0.15501,
              0.20201,
              0.23791,
              0.30404,
              0.43275,
              0.68896,
              1.19952
            ],
            [
              0.16828,
              0.2153,
              0.25119,
              0.31733,
              0.44616,
              0.70225,
              1.21273
            ],
            [
              0.18887,
              0.23572,
              0.27159,
              0.33765,
              0.46647,
              0.72199,
              1.23366
            ],
            [
              0.21541,
              0.26307,
              0.29915,
              0.36531,
              0.49402,
              0.75009,
              1.26105
            ],
            [
              0.24545,
              0.29403,
              0.33054,
              0.3973,
              0.52611,
              0.78219,
              1.29359
            ],
            [
              0.27803,
              0.32876,
              0.36554,
              0.43235,
              0.56192,
              0.81802,
              1.32892
            ],
            [
              0.31107,
              0.36557,
              0.40297,
              0.46987,
              0.59927,
              0.85587,
              1.36637
            ],
            [
              0.3423,
              0.4021,
              0.4407,
              0.5083,
              0.6375,
              0.894,
              1.405
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02241,
              0.05463,
              0.08061,
              0.12909,
              0.22492,
              0.42258,
              0.82888
            ],
            [
              0.02239,
              0.05464,
              0.08053,
              0.12899,
              0.22482,
              0.42318,
              0.8284
            ],
            [
              0.02239,
              0.05464,
              0.08055,
              0.12908,
              0.22491,
              0.42264,
              0.82885
            ],
            [
              0.02241,
              0.05465,
              0.08053,
              0.12903,
              0.22495,
              0.4229,
              0.82864
            ],
            [
              0.0224,
              0.05465,
              0.08057,
              0.12905,
              0.22499,
              0.42277,
              0.82876
            ],
            [
              0.02242,
              0.05465,
              0.08055,
              0.12898,
              0.22482,
              0.42317,
              0.82884
            ],
            [
              0.02241,
              0.05475,
              0.08076,
              0.12892,
              0.22499,
              0.42278,
              0.82947
            ],
            [
              0.02254,
              0.05489,
              0.08069,
              0.12913,
              0.22483,
              0.42243,
              0.82947
            ],
            [
              0.02439,
              0.05625,
              0.08188,
              0.12963,
              0.2252,
              0.4228,
              0.82872
            ],
            [
              0.02737,
              0.06083,
              0.08635,
              0.13318,
              0.22702,
              0.42379,
              0.82952
            ],
            [
              0.03173,
              0.06709,
              0.09318,
              0.14021,
              0.23231,
              0.4254,
              0.8301
            ],
            [
              0.0376,
              0.0759,
              0.1026,
              0.1493,
              0.2402,
              0.4306,
              0.8315
            ],
            [
              0.0448,
              0.0871,
              0.1151,
              0.1617,
              0.2502,
              0.4371,
              0.8321
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02854,
              0.07406,
              0.11731,
              0.20614,
              0.38884,
              0.75812,
              1.49859
            ],
            [
              0.02856,
              0.07405,
              0.11754,
              0.20626,
              0.38993,
              0.76089,
              1.49921
            ],
            [
              0.02854,
              0.07404,
              0.11758,
              0.2062,
              0.38908,
              0.75868,
              1.499
            ],
            [
              0.02859,
              0.07406,
              0.11732,
              0.20628,
              0.38894,
              0.75811,
              1.50014
            ],
            [
              0.02854,
              0.07403,
              0.11728,
              0.20612,
              0.38877,
              0.7582,
              1.49912
            ],
            [
              0.02856,
              0.07405,
              0.1174,
              0.20626,
              0.38936,
              0.7587,
              1.49974
            ],
            [
              0.02851,
              0.07403,
              0.11721,
              0.20619,
              0.3888,
              0.75813,
              1.49783
            ],
            [
              0.02847,
              0.07399,
              0.11712,
              0.20587,
              0.38902,
              0.76031,
              1.49882
            ],
            [
              0.02972,
              0.07506,
              0.11811,
              0.20647,
              0.38908,
              0.75845,
              1.50135
            ],
            [
              0.03211,
              0.07653,
              0.11952,
              0.20742,
              0.38941,
              0.76057,
              1.5023
            ],
            [
              0.03588,
              0.07876,
              0.12081,
              0.20882,
              0.39069,
              0.7595,
              1.5009
            ],
            [
              0.0406,
              0.0829,
              0.1234,
              0.2097,
              0.3919,
              0.7608,
              1.4999
            ],
            [
              0.0462,
              0.0895,
              0.1281,
              0.2123,
              0.3922,
              0.7611,
              1.4999
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.15958,
              0.19976,
              0.22774,
              0.27414,
              0.35594,
              0.51047,
              0.81651
            ],
            [
              0.16214,
              0.20236,
              0.23028,
              0.27673,
              0.35853,
              0.51318,
              0.81853
            ],
            [
              0.16519,
              0.20539,
              0.23331,
              0.27977,
              0.36157,
              0.51623,
              0.82164
            ],
            [
              0.16989,
              0.21005,
              0.23803,
              0.28443,
              0.36624,
              0.5209,
              0.82649
            ],
            [
              0.17715,
              0.2173,
              0.24527,
              0.29167,
              0.37348,
              0.5281,
              0.83411
            ],
            [
              0.18809,
              0.22819,
              0.25617,
              0.30257,
              0.38438,
              0.53901,
              0.84503
            ],
            [
              0.20397,
              0.24408,
              0.27196,
              0.31837,
              0.40021,
              0.55488,
              0.86061
            ],
            [
              0.22679,
              0.26685,
              0.29482,
              0.34128,
              0.42317,
              0.57777,
              0.88406
            ],
            [
              0.25811,
              0.29874,
              0.32685,
              0.37345,
              0.45542,
              0.61011,
              0.91605
            ],
            [
              0.29615,
              0.3393,
              0.36877,
              0.41659,
              0.4992,
              0.65399,
              0.95999
            ],
            [
              0.34247,
              0.38856,
              0.41972,
              0.46972,
              0.55452,
              0.71032,
              1.01652
            ],
            [
              0.39847,
              0.44857,
              0.48197,
              0.53457,
              0.62187,
              0.77977,
              1.08647
            ],
            [
              0.4678,
              0.523,
              0.5595,
              0.6158,
              0.7065,
              0.8661,
              1.1741
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.11776,
              0.16489,
              0.2009,
              0.26706,
              0.39594,
              0.65199,
              1.16287
            ],
            [
              0.11967,
              0.1668,
              0.20282,
              0.269,
              0.39784,
              0.65375,
              1.16444
            ],
            [
              0.12199,
              0.16912,
              0.20511,
              0.27137,
              0.40019,
              0.65645,
              1.16702
            ],
            [
              0.12559,
              0.17273,
              0.20877,
              0.27502,
              0.40376,
              0.65948,
              1.17098
            ],
            [
              0.13116,
              0.17833,
              0.21436,
              0.28064,
              0.40955,
              0.66591,
              1.17611
            ],
            [
              0.13981,
              0.18699,
              0.22304,
              0.2893,
              0.41826,
              0.67465,
              1.18462
            ],
            [
              0.15333,
              0.20041,
              0.23643,
              0.30266,
              0.43165,
              0.68799,
              1.19803
            ],
            [
              0.17345,
              0.22044,
              0.25636,
              0.32253,
              0.45151,
              0.70718,
              1.21876
            ],
            [
              0.19727,
              0.24519,
              0.28151,
              0.34787,
              0.47671,
              0.73249,
              1.24295
            ],
            [
              0.22383,
              0.27291,
              0.30951,
              0.37649,
              0.50554,
              0.76169,
              1.27219
            ],
            [
              0.2519,
              0.30355,
              0.34048,
              0.40745,
              0.53712,
              0.79342,
              1.30412
            ],
            [
              0.27947,
              0.33537,
              0.37307,
              0.44027,
              0.56947,
              0.82647,
              1.33707
            ],
            [
              0.3041,
              0.3657,
              0.4049,
              0.4728,
              0.6021,
              0.8591,
              1.3702
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02433,
              0.05574,
              0.08111,
              0.1293,
              0.22502,
              0.42295,
              0.8299
            ],
            [
              0.02431,
              0.05567,
              0.08115,
              0.12911,
              0.22506,
              0.42357,
              0.83
            ],
            [
              0.02431,
              0.05569,
              0.08118,
              0.1291,
              0.22506,
              0.42355,
              0.82984
            ],
            [
              0.02432,
              0.05572,
              0.08126,
              0.12911,
              0.22505,
              0.42358,
              0.83041
            ],
            [
              0.02431,
              0.05573,
              0.08127,
              0.12915,
              0.22493,
              0.42346,
              0.82969
            ],
            [
              0.02432,
              0.05583,
              0.08128,
              0.12911,
              0.22496,
              0.42346,
              0.82969
            ],
            [
              0.02431,
              0.05572,
              0.08116,
              0.12927,
              0.22511,
              0.42342,
              0.8302
            ],
            [
              0.0244,
              0.0558,
              0.08119,
              0.12918,
              0.22509,
              0.42285,
              0.82889
            ],
            [
              0.02574,
              0.05684,
              0.08187,
              0.12944,
              0.22524,
              0.42345,
              0.83023
            ],
            [
              0.02818,
              0.06051,
              0.08563,
              0.13246,
              0.22675,
              0.42326,
              0.83043
            ],
            [
              0.03155,
              0.06528,
              0.09085,
              0.13777,
              0.23112,
              0.4256,
              0.8292
            ],
            [
              0.0364,
              0.0722,
              0.0981,
              0.145,
              0.2372,
              0.4298,
              0.832
            ],
            [
              0.0429,
              0.0812,
              0.1083,
              0.155,
              0.2453,
              0.4346,
              0.8323
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02826,
              0.07398,
              0.11719,
              0.20604,
              0.38902,
              0.75857,
              1.49841
            ],
            [
              0.02826,
              0.07399,
              0.11717,
              0.20612,
              0.38903,
              0.75867,
              1.49879
            ],
            [
              0.02827,
              0.07393,
              0.11718,
              0.20627,
              0.3894,
              0.75779,
              1.49826
            ],
            [
              0.02826,
              0.07398,
              0.11756,
              0.20623,
              0.38996,
              0.75857,
              1.49972
            ],
            [
              0.02827,
              0.07391,
              0.11723,
              0.20625,
              0.38896,
              0.75893,
              1.49934
            ],
            [
              0.02823,
              0.0739,
              0.11735,
              0.20619,
              0.38862,
              0.75964,
              1.49928
            ],
            [
              0.02809,
              0.07382,
              0.11715,
              0.20608,
              0.38893,
              0.75908,
              1.49946
            ],
            [
              0.02848,
              0.07384,
              0.11703,
              0.20593,
              0.38856,
              0.75878,
              1.49847
            ],
            [
              0.02991,
              0.07526,
              0.11817,
              0.20653,
              0.38947,
              0.76072,
              1.49972
            ],
            [
              0.03269,
              0.07676,
              0.11967,
              0.2078,
              0.38997,
              0.75856,
              1.499
            ],
            [
              0.03675,
              0.07944,
              0.12132,
              0.20896,
              0.39079,
              0.7584,
              1.5011
            ],
            [
              0.0416,
              0.0842,
              0.1244,
              0.2103,
              0.3923,
              0.7597,
              1.5001
            ],
            [
              0.0474,
              0.0917,
              0.1295,
              0.2131,
              0.3928,
              0.7614,
              1.4989
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.18077,
              0.22233,
              0.25107,
              0.29842,
              0.3812,
              0.53636,
              0.84298
            ],
            [
              0.1835,
              0.22506,
              0.25381,
              0.30118,
              0.38394,
              0.53927,
              0.84505
            ],
            [
              0.18666,
              0.22824,
              0.25699,
              0.30434,
              0.38708,
              0.54239,
              0.84888
            ],
            [
              0.19146,
              0.23301,
              0.26177,
              0.30912,
              0.39191,
              0.54712,
              0.85371
            ],
            [
              0.19878,
              0.24031,
              0.26905,
              0.31641,
              0.3992,
              0.55442,
              0.86098
            ],
            [
              0.20965,
              0.25117,
              0.2799,
              0.32726,
              0.41005,
              0.56531,
              0.87181
            ],
            [
              0.22529,
              0.2668,
              0.29551,
              0.34289,
              0.42568,
              0.58105,
              0.88691
            ],
            [
              0.24776,
              0.28923,
              0.31794,
              0.36533,
              0.44814,
              0.60349,
              0.90996
            ],
            [
              0.27991,
              0.32146,
              0.35021,
              0.39765,
              0.48054,
              0.63589,
              0.94225
            ],
            [
              0.32087,
              0.36464,
              0.39433,
              0.44245,
              0.52565,
              0.68109,
              0.98749
            ],
            [
              0.37131,
              0.4179,
              0.44922,
              0.49942,
              0.58452,
              0.74082,
              1.04702
            ],
            [
              0.43317,
              0.48357,
              0.51697,
              0.56967,
              0.65707,
              0.81527,
              1.12177
            ],
            [
              0.5095,
              0.5652,
              0.6014,
              0.6575,
              0.7481,
              0.9081,
              1.216
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.12525,
              0.17646,
              0.21388,
              0.28103,
              0.41011,
              0.66633,
              1.17827
            ],
            [
              0.12715,
              0.17836,
              0.21577,
              0.28299,
              0.41207,
              0.66831,
              1.17954
            ],
            [
              0.12943,
              0.18067,
              0.21807,
              0.28533,
              0.41448,
              0.6706,
              1.18282
            ],
            [
              0.13306,
              0.1843,
              0.2217,
              0.28902,
              0.41818,
              0.67424,
              1.18627
            ],
            [
              0.13866,
              0.1899,
              0.22732,
              0.29465,
              0.42382,
              0.67983,
              1.19221
            ],
            [
              0.14731,
              0.19857,
              0.23604,
              0.30326,
              0.43243,
              0.68837,
              1.20062
            ],
            [
              0.16079,
              0.21198,
              0.24944,
              0.31666,
              0.44583,
              0.70194,
              1.21343
            ],
            [
              0.18127,
              0.23224,
              0.26963,
              0.33688,
              0.46602,
              0.7219,
              1.23316
            ],
            [
              0.20659,
              0.25875,
              0.29641,
              0.36373,
              0.49281,
              0.74885,
              1.26115
            ],
            [
              0.23506,
              0.28892,
              0.32713,
              0.39517,
              0.52446,
              0.78059,
              1.29209
            ],
            [
              0.26553,
              0.32262,
              0.36143,
              0.42973,
              0.55972,
              0.81592,
              1.32702
            ],
            [
              0.29627,
              0.35817,
              0.39817,
              0.46707,
              0.59697,
              0.85357,
              1.36397
            ],
            [
              0.325,
              0.393,
              0.4352,
              0.5052,
              0.635,
              0.892,
              1.4027
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02615,
              0.05791,
              0.08339,
              0.13155,
              0.2271,
              0.4245,
              0.83036
            ],
            [
              0.02614,
              0.05791,
              0.08338,
              0.13143,
              0.22705,
              0.42475,
              0.83087
            ],
            [
              0.02614,
              0.05794,
              0.08337,
              0.13124,
              0.22698,
              0.42476,
              0.82946
            ],
            [
              0.02615,
              0.05793,
              0.08337,
              0.13159,
              0.22709,
              0.42463,
              0.83024
            ],
            [
              0.02615,
              0.05793,
              0.08338,
              0.13158,
              0.2271,
              0.42464,
              0.83008
            ],
            [
              0.02615,
              0.05795,
              0.08337,
              0.13136,
              0.22709,
              0.42472,
              0.82953
            ],
            [
              0.02615,
              0.0579,
              0.08342,
              0.13147,
              0.22707,
              0.42493,
              0.83088
            ],
            [
              0.02617,
              0.05796,
              0.08345,
              0.13148,
              0.22689,
              0.42486,
              0.83
            ],
            [
              0.0267,
              0.0583,
              0.08385,
              0.1317,
              0.22713,
              0.42431,
              0.83074
            ],
            [
              0.02927,
              0.06142,
              0.08636,
              0.13342,
              0.22786,
              0.42447,
              0.83022
            ],
            [
              0.03251,
              0.06598,
              0.09158,
              0.13845,
              0.232,
              0.4268,
              0.8307
            ],
            [
              0.0372,
              0.0724,
              0.0983,
              0.1454,
              0.2377,
              0.4296,
              0.8319
            ],
            [
              0.0439,
              0.0812,
              0.1077,
              0.1543,
              0.2453,
              0.4353,
              0.8336
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.0328,
              0.07804,
              0.12072,
              0.20808,
              0.38967,
              0.75803,
              1.50122
            ],
            [
              0.03277,
              0.07802,
              0.1209,
              0.20818,
              0.39022,
              0.75916,
              1.49859
            ],
            [
              0.03276,
              0.07802,
              0.12082,
              0.20824,
              0.38922,
              0.75807,
              1.50175
            ],
            [
              0.03279,
              0.07804,
              0.12068,
              0.20842,
              0.3899,
              0.75795,
              1.50181
            ],
            [
              0.03276,
              0.07803,
              0.1206,
              0.20842,
              0.39005,
              0.75826,
              1.50157
            ],
            [
              0.03274,
              0.07804,
              0.12066,
              0.208,
              0.38947,
              0.75874,
              1.50362
            ],
            [
              0.03262,
              0.07796,
              0.1206,
              0.20804,
              0.3894,
              0.75822,
              1.4991
            ],
            [
              0.03291,
              0.07796,
              0.12063,
              0.20833,
              0.38932,
              0.75827,
              1.49959
            ],
            [
              0.03501,
              0.07953,
              0.12165,
              0.20862,
              0.38927,
              0.7578,
              1.50172
            ],
            [
              0.03852,
              0.08178,
              0.12372,
              0.21023,
              0.39048,
              0.7585,
              1.4999
            ],
            [
              0.04332,
              0.08555,
              0.12632,
              0.21189,
              0.39208,
              0.7594,
              1.5002
            ],
            [
              0.0488,
              0.0915,
              0.1305,
              0.2143,
              0.3931,
              0.761,
              1.4998
            ],
            [
              0.0551,
              0.1005,
              0.1376,
              0.2181,
              0.394,
              0.7619,
              1.4997
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.16063,
              0.2017,
              0.2305,
              0.27806,
              0.36113,
              0.51646,
              0.82278
            ],
            [
              0.16334,
              0.20441,
              0.23321,
              0.28077,
              0.36385,
              0.51926,
              0.82556
            ],
            [
              0.16658,
              0.20766,
              0.23645,
              0.28402,
              0.3671,
              0.52248,
              0.82875
            ],
            [
              0.17156,
              0.21263,
              0.24144,
              0.28901,
              0.37206,
              0.52751,
              0.83376
            ],
            [
              0.17923,
              0.22028,
              0.24907,
              0.29665,
              0.37971,
              0.53519,
              0.84138
            ],
            [
              0.19065,
              0.23168,
              0.26045,
              0.30804,
              0.39114,
              0.54654,
              0.85298
            ],
            [
              0.2074,
              0.24837,
              0.27713,
              0.32472,
              0.40777,
              0.56324,
              0.86949
            ],
            [
              0.23187,
              0.27285,
              0.30163,
              0.34923,
              0.43237,
              0.5879,
              0.89376
            ],
            [
              0.26699,
              0.30823,
              0.33708,
              0.3848,
              0.46802,
              0.62361,
              0.92955
            ],
            [
              0.3112,
              0.3551,
              0.38516,
              0.43382,
              0.51754,
              0.67329,
              0.97929
            ],
            [
              0.36487,
              0.41236,
              0.44441,
              0.49552,
              0.58132,
              0.73792,
              1.04442
            ],
            [
              0.42847,
              0.48097,
              0.51577,
              0.56997,
              0.65877,
              0.81737,
              1.12407
            ],
            [
              0.5056,
              0.5643,
              0.6027,
              0.6612,
              0.754,
              0.9151,
              1.223
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.14238,
              0.18935,
              0.22515,
              0.29086,
              0.41932,
              0.67472,
              1.18607
            ],
            [
              0.14458,
              0.19154,
              0.22734,
              0.29318,
              0.42143,
              0.67694,
              1.18804
            ],
            [
              0.14708,
              0.19404,
              0.22982,
              0.29568,
              0.42408,
              0.67997,
              1.19082
            ],
            [
              0.15063,
              0.19761,
              0.23342,
              0.29928,
              0.42747,
              0.68342,
              1.19338
            ],
            [
              0.15584,
              0.20282,
              0.23864,
              0.30446,
              0.43291,
              0.68818,
              1.19971
            ],
            [
              0.16363,
              0.2106,
              0.24642,
              0.31233,
              0.44063,
              0.69641,
              1.20672
            ],
            [
              0.17536,
              0.22231,
              0.25812,
              0.32411,
              0.45265,
              0.7085,
              1.21943
            ],
            [
              0.19289,
              0.23982,
              0.27563,
              0.34168,
              0.47026,
              0.72586,
              1.23806
            ],
            [
              0.21609,
              0.26413,
              0.30022,
              0.36627,
              0.49494,
              0.75084,
              1.26215
            ],
            [
              0.24415,
              0.29359,
              0.33025,
              0.39688,
              0.52573,
              0.78109,
              1.29239
            ],
            [
              0.27567,
              0.32737,
              0.36451,
              0.43158,
              0.56072,
              0.81672,
              1.32682
            ],
            [
              0.30827,
              0.36357,
              0.40167,
              0.46907,
              0.59847,
              0.85457,
              1.36477
            ],
            [
              0.3391,
              0.3996,
              0.4392,
              0.5075,
              0.6368,
              0.8935,
              1.4039
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02415,
              0.05678,
              0.08282,
              0.13128,
              0.22703,
              0.42388,
              0.83028
            ],
            [
              0.02413,
              0.05681,
              0.08292,
              0.13119,
              0.22703,
              0.42398,
              0.83025
            ],
            [
              0.02414,
              0.05682,
              0.08293,
              0.13121,
              0.22703,
              0.42381,
              0.83028
            ],
            [
              0.02412,
              0.05682,
              0.08282,
              0.13136,
              0.22681,
              0.42436,
              0.82913
            ],
            [
              0.02414,
              0.05682,
              0.08281,
              0.13138,
              0.22684,
              0.4245,
              0.82881
            ],
            [
              0.02414,
              0.05679,
              0.08285,
              0.13118,
              0.22704,
              0.4242,
              0.82928
            ],
            [
              0.02412,
              0.05683,
              0.08285,
              0.13135,
              0.22695,
              0.42437,
              0.82883
            ],
            [
              0.02419,
              0.0569,
              0.08294,
              0.13147,
              0.22698,
              0.42459,
              0.82977
            ],
            [
              0.02511,
              0.05754,
              0.08332,
              0.13166,
              0.22718,
              0.42461,
              0.83014
            ],
            [
              0.02796,
              0.06109,
              0.08662,
              0.13408,
              0.22816,
              0.42502,
              0.82994
            ],
            [
              0.03195,
              0.06672,
              0.09289,
              0.13971,
              0.2328,
              0.4266,
              0.8295
            ],
            [
              0.0377,
              0.0749,
              0.1012,
              0.1481,
              0.2397,
              0.4302,
              0.8314
            ],
            [
              0.0449,
              0.0853,
              0.113,
              0.1597,
              0.2494,
              0.4367,
              0.8333
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02853,
              0.07417,
              0.11751,
              0.20603,
              0.38901,
              0.75883,
              1.49896
            ],
            [
              0.02858,
              0.07407,
              0.1175,
              0.2063,
              0.38909,
              0.76109,
              1.4984
            ],
            [
              0.02862,
              0.07407,
              0.11732,
              0.20631,
              0.38894,
              0.76054,
              1.49967
            ],
            [
              0.02855,
              0.07404,
              0.11758,
              0.20629,
              0.38999,
              0.76068,
              1.49902
            ],
            [
              0.02853,
              0.0741,
              0.1176,
              0.20606,
              0.38906,
              0.75878,
              1.49917
            ],
            [
              0.02856,
              0.07405,
              0.11757,
              0.20628,
              0.39002,
              0.76088,
              1.49915
            ],
            [
              0.02854,
              0.07404,
              0.11733,
              0.20629,
              0.38865,
              0.75798,
              1.49976
            ],
            [
              0.02867,
              0.07404,
              0.11725,
              0.20625,
              0.38893,
              0.75852,
              1.50188
            ],
            [
              0.03001,
              0.07521,
              0.11785,
              0.20635,
              0.3888,
              0.75862,
              1.50446
            ],
            [
              0.03185,
              0.07687,
              0.11957,
              0.20744,
              0.3894,
              0.76091,
              1.5016
            ],
            [
              0.03493,
              0.0794,
              0.12132,
              0.20902,
              0.39055,
              0.7588,
              1.5011
            ],
            [
              0.0393,
              0.0838,
              0.1244,
              0.2103,
              0.3914,
              0.7605,
              1.5004
            ],
            [
              0.0447,
              0.0902,
              0.1293,
              0.2132,
              0.3925,
              0.7602,
              1.4999
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&!B2)",
        "timing_sense": "positive_unate",
        "when": "(A1&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.18781,
              0.22995,
              0.259,
              0.30675,
              0.38994,
              0.54549,
              0.85193
            ],
            [
              0.19039,
              0.23253,
              0.2616,
              0.30935,
              0.39253,
              0.54812,
              0.8545
            ],
            [
              0.1935,
              0.23564,
              0.26471,
              0.31247,
              0.39562,
              0.55125,
              0.85738
            ],
            [
              0.19831,
              0.24044,
              0.2695,
              0.31727,
              0.40046,
              0.55603,
              0.8624
            ],
            [
              0.20572,
              0.24783,
              0.27689,
              0.32464,
              0.40784,
              0.5634,
              0.86972
            ],
            [
              0.2167,
              0.25884,
              0.28786,
              0.33563,
              0.4188,
              0.57445,
              0.88047
            ],
            [
              0.23242,
              0.27452,
              0.30355,
              0.35132,
              0.43449,
              0.59013,
              0.89603
            ],
            [
              0.25485,
              0.29692,
              0.32593,
              0.37371,
              0.45693,
              0.61252,
              0.91906
            ],
            [
              0.28669,
              0.32878,
              0.35785,
              0.40569,
              0.48896,
              0.64463,
              0.95075
            ],
            [
              0.32741,
              0.37147,
              0.40131,
              0.44973,
              0.53329,
              0.68909,
              0.99549
            ],
            [
              0.37763,
              0.42434,
              0.45572,
              0.50612,
              0.59142,
              0.74802,
              1.05442
            ],
            [
              0.43947,
              0.48977,
              0.52317,
              0.57597,
              0.66357,
              0.82187,
              1.12857
            ],
            [
              0.5169,
              0.572,
              0.6081,
              0.6641,
              0.7547,
              0.9149,
              1.2228
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.12737,
              0.1745,
              0.21042,
              0.27633,
              0.40491,
              0.66076,
              1.17167
            ],
            [
              0.12949,
              0.17661,
              0.21253,
              0.27851,
              0.40701,
              0.66291,
              1.17354
            ],
            [
              0.13192,
              0.17905,
              0.21493,
              0.28097,
              0.40941,
              0.66533,
              1.17622
            ],
            [
              0.1354,
              0.18254,
              0.21846,
              0.28447,
              0.41285,
              0.66853,
              1.17968
            ],
            [
              0.14056,
              0.18769,
              0.2236,
              0.28967,
              0.41807,
              0.67382,
              1.18511
            ],
            [
              0.14835,
              0.19546,
              0.23142,
              0.2974,
              0.42612,
              0.68184,
              1.19302
            ],
            [
              0.16015,
              0.20717,
              0.24313,
              0.30921,
              0.43783,
              0.69336,
              1.20403
            ],
            [
              0.17724,
              0.22442,
              0.26037,
              0.32649,
              0.45501,
              0.71116,
              1.22246
            ],
            [
              0.19872,
              0.2472,
              0.28354,
              0.34977,
              0.47852,
              0.73448,
              1.24535
            ],
            [
              0.22408,
              0.27409,
              0.31089,
              0.37778,
              0.50659,
              0.76299,
              1.27409
            ],
            [
              0.25161,
              0.3042,
              0.34165,
              0.40877,
              0.53832,
              0.79392,
              1.30502
            ],
            [
              0.27887,
              0.33557,
              0.37397,
              0.44167,
              0.57107,
              0.82757,
              1.33817
            ],
            [
              0.303,
              0.3653,
              0.4056,
              0.4743,
              0.6038,
              0.8605,
              1.3713
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02703,
              0.05893,
              0.08446,
              0.13266,
              0.22803,
              0.42545,
              0.83038
            ],
            [
              0.02703,
              0.05895,
              0.08444,
              0.13239,
              0.22801,
              0.4255,
              0.83053
            ],
            [
              0.02703,
              0.05895,
              0.08445,
              0.13242,
              0.22795,
              0.42556,
              0.831
            ],
            [
              0.02703,
              0.05896,
              0.08447,
              0.13246,
              0.22803,
              0.42551,
              0.83065
            ],
            [
              0.02702,
              0.05896,
              0.08448,
              0.13269,
              0.22803,
              0.42546,
              0.83071
            ],
            [
              0.02702,
              0.05894,
              0.08453,
              0.13254,
              0.22783,
              0.42557,
              0.8311
            ],
            [
              0.02702,
              0.05901,
              0.08462,
              0.13235,
              0.22786,
              0.42547,
              0.83102
            ],
            [
              0.02703,
              0.05898,
              0.08464,
              0.13242,
              0.22803,
              0.42539,
              0.83021
            ],
            [
              0.02741,
              0.05923,
              0.08474,
              0.13273,
              0.22797,
              0.4253,
              0.83099
            ],
            [
              0.02984,
              0.06199,
              0.08722,
              0.13409,
              0.22871,
              0.42567,
              0.83127
            ],
            [
              0.03292,
              0.06645,
              0.09199,
              0.13904,
              0.2325,
              0.4273,
              0.8311
            ],
            [
              0.0375,
              0.0724,
              0.0984,
              0.1457,
              0.2381,
              0.4302,
              0.8324
            ],
            [
              0.0436,
              0.0807,
              0.1073,
              0.1542,
              0.2453,
              0.4355,
              0.8339
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02826,
              0.07399,
              0.11757,
              0.20622,
              0.38872,
              0.75809,
              1.50216
            ],
            [
              0.02829,
              0.07396,
              0.11742,
              0.20631,
              0.38921,
              0.75784,
              1.49961
            ],
            [
              0.02829,
              0.07402,
              0.1173,
              0.20629,
              0.38945,
              0.76063,
              1.4991
            ],
            [
              0.02829,
              0.074,
              0.11748,
              0.20629,
              0.38994,
              0.76088,
              1.49894
            ],
            [
              0.02829,
              0.07401,
              0.11736,
              0.20626,
              0.38966,
              0.76087,
              1.49876
            ],
            [
              0.02824,
              0.07396,
              0.11719,
              0.20596,
              0.38886,
              0.75857,
              1.4995
            ],
            [
              0.02815,
              0.07391,
              0.11753,
              0.20613,
              0.38901,
              0.75863,
              1.49862
            ],
            [
              0.02875,
              0.07397,
              0.11734,
              0.20621,
              0.38966,
              0.75793,
              1.49882
            ],
            [
              0.03011,
              0.07547,
              0.1182,
              0.20636,
              0.38935,
              0.76042,
              1.50067
            ],
            [
              0.03229,
              0.07728,
              0.11981,
              0.20763,
              0.38962,
              0.75942,
              1.4988
            ],
            [
              0.03575,
              0.0802,
              0.12183,
              0.20895,
              0.3902,
              0.7591,
              1.5005
            ],
            [
              0.0403,
              0.0849,
              0.1255,
              0.2109,
              0.392,
              0.7586,
              1.5004
            ],
            [
              0.0458,
              0.0921,
              0.1309,
              0.214,
              0.3927,
              0.7604,
              1.4978
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.2023,
              0.245,
              0.27417,
              0.32213,
              0.40549,
              0.56128,
              0.8676
            ],
            [
              0.20499,
              0.24769,
              0.27686,
              0.32482,
              0.40817,
              0.56401,
              0.87024
            ],
            [
              0.20823,
              0.25093,
              0.28011,
              0.32805,
              0.41144,
              0.56713,
              0.87407
            ],
            [
              0.21316,
              0.25583,
              0.28503,
              0.33298,
              0.41637,
              0.57205,
              0.87899
            ],
            [
              0.2207,
              0.26337,
              0.29262,
              0.3405,
              0.42386,
              0.57968,
              0.88633
            ],
            [
              0.23184,
              0.27452,
              0.3037,
              0.35166,
              0.43504,
              0.59073,
              0.8977
            ],
            [
              0.24767,
              0.29034,
              0.31951,
              0.36746,
              0.45086,
              0.60659,
              0.91353
            ],
            [
              0.27029,
              0.31291,
              0.34211,
              0.39006,
              0.47345,
              0.62926,
              0.93606
            ],
            [
              0.30291,
              0.34553,
              0.37476,
              0.42275,
              0.50621,
              0.66207,
              0.96845
            ],
            [
              0.34684,
              0.39092,
              0.42059,
              0.4689,
              0.55255,
              0.70849,
              1.01479
            ],
            [
              0.40137,
              0.44822,
              0.47942,
              0.52962,
              0.61462,
              0.77112,
              1.07782
            ],
            [
              0.46877,
              0.51937,
              0.55257,
              0.60497,
              0.69227,
              0.85037,
              1.15767
            ],
            [
              0.5528,
              0.6084,
              0.6442,
              0.6998,
              0.79,
              0.9498,
              1.2578
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.13498,
              0.18618,
              0.22351,
              0.29049,
              0.41929,
              0.67497,
              1.18717
            ],
            [
              0.13709,
              0.1883,
              0.22564,
              0.29263,
              0.42129,
              0.67704,
              1.18834
            ],
            [
              0.13953,
              0.19074,
              0.22804,
              0.2951,
              0.42391,
              0.67963,
              1.19092
            ],
            [
              0.14302,
              0.19423,
              0.23153,
              0.29862,
              0.42745,
              0.6831,
              1.19458
            ],
            [
              0.14817,
              0.19939,
              0.23672,
              0.30374,
              0.43258,
              0.68814,
              1.19941
            ],
            [
              0.15596,
              0.20715,
              0.24453,
              0.31155,
              0.44044,
              0.69616,
              1.20642
            ],
            [
              0.1677,
              0.21883,
              0.25616,
              0.3233,
              0.45224,
              0.70803,
              1.22003
            ],
            [
              0.18499,
              0.23612,
              0.2735,
              0.34066,
              0.46951,
              0.72507,
              1.23586
            ],
            [
              0.20714,
              0.25969,
              0.29739,
              0.36468,
              0.4937,
              0.74953,
              1.26145
            ],
            [
              0.2337,
              0.28808,
              0.32647,
              0.39442,
              0.52372,
              0.77959,
              1.29119
            ],
            [
              0.26313,
              0.32045,
              0.35962,
              0.42819,
              0.55792,
              0.81402,
              1.32412
            ],
            [
              0.29307,
              0.35487,
              0.39537,
              0.46477,
              0.59467,
              0.85087,
              1.36137
            ],
            [
              0.3209,
              0.3885,
              0.4312,
              0.502,
              0.6323,
              0.8889,
              1.3994
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02804,
              0.05973,
              0.08516,
              0.13306,
              0.22838,
              0.4256,
              0.83175
            ],
            [
              0.02805,
              0.05967,
              0.08522,
              0.13284,
              0.22818,
              0.42596,
              0.83151
            ],
            [
              0.02805,
              0.0597,
              0.08512,
              0.13312,
              0.22843,
              0.4256,
              0.83106
            ],
            [
              0.02805,
              0.05969,
              0.08512,
              0.13311,
              0.22842,
              0.42559,
              0.83109
            ],
            [
              0.02805,
              0.05968,
              0.08509,
              0.13284,
              0.22835,
              0.42589,
              0.83089
            ],
            [
              0.02804,
              0.05974,
              0.08513,
              0.13308,
              0.22842,
              0.42514,
              0.83135
            ],
            [
              0.02805,
              0.05968,
              0.08512,
              0.13316,
              0.22842,
              0.42567,
              0.83073
            ],
            [
              0.02805,
              0.0597,
              0.08518,
              0.13281,
              0.22836,
              0.42581,
              0.83041
            ],
            [
              0.02819,
              0.0599,
              0.08526,
              0.13317,
              0.22843,
              0.42549,
              0.8317
            ],
            [
              0.0304,
              0.06189,
              0.08677,
              0.13416,
              0.22897,
              0.42613,
              0.8321
            ],
            [
              0.03356,
              0.06627,
              0.09155,
              0.1384,
              0.2319,
              0.4272,
              0.8305
            ],
            [
              0.0381,
              0.0721,
              0.098,
              0.1446,
              0.2374,
              0.4302,
              0.8326
            ],
            [
              0.0447,
              0.0806,
              0.1066,
              0.1533,
              0.2442,
              0.4344,
              0.8332
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.03275,
              0.07808,
              0.12077,
              0.20842,
              0.39004,
              0.75818,
              1.50188
            ],
            [
              0.03276,
              0.07806,
              0.12068,
              0.20833,
              0.39018,
              0.75893,
              1.50073
            ],
            [
              0.03277,
              0.07805,
              0.12074,
              0.20845,
              0.38986,
              0.758,
              1.4982
            ],
            [
              0.03279,
              0.07805,
              0.12075,
              0.20845,
              0.38942,
              0.75859,
              1.49921
            ],
            [
              0.03276,
              0.07802,
              0.12089,
              0.2081,
              0.3895,
              0.75898,
              1.49856
            ],
            [
              0.03272,
              0.07803,
              0.12071,
              0.20812,
              0.38936,
              0.75867,
              1.49873
            ],
            [
              0.03271,
              0.078,
              0.12077,
              0.20823,
              0.38924,
              0.75808,
              1.5014
            ],
            [
              0.03318,
              0.07819,
              0.12071,
              0.20835,
              0.38959,
              0.75853,
              1.49935
            ],
            [
              0.03481,
              0.07956,
              0.12165,
              0.2086,
              0.38941,
              0.75832,
              1.50105
            ],
            [
              0.03733,
              0.08197,
              0.12373,
              0.2101,
              0.38995,
              0.75942,
              1.5015
            ],
            [
              0.04128,
              0.08551,
              0.1264,
              0.21215,
              0.3911,
              0.7594,
              1.5009
            ],
            [
              0.0465,
              0.0912,
              0.1307,
              0.2147,
              0.393,
              0.7602,
              1.5004
            ],
            [
              0.0527,
              0.0993,
              0.1377,
              0.2186,
              0.3941,
              0.7605,
              1.5001
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.16486,
              0.20508,
              0.23309,
              0.27964,
              0.36177,
              0.51672,
              0.82248
            ],
            [
              0.16753,
              0.20777,
              0.23577,
              0.28234,
              0.36448,
              0.51934,
              0.82531
            ],
            [
              0.17086,
              0.21111,
              0.23911,
              0.28569,
              0.36783,
              0.52263,
              0.82872
            ],
            [
              0.17602,
              0.21627,
              0.24429,
              0.29087,
              0.37304,
              0.52787,
              0.83386
            ],
            [
              0.18386,
              0.22411,
              0.25214,
              0.29874,
              0.38091,
              0.53577,
              0.84175
            ],
            [
              0.19547,
              0.23571,
              0.26375,
              0.31038,
              0.39256,
              0.54733,
              0.85343
            ],
            [
              0.21227,
              0.25248,
              0.28055,
              0.32721,
              0.4094,
              0.56437,
              0.87046
            ],
            [
              0.23678,
              0.27699,
              0.3051,
              0.35183,
              0.43408,
              0.58897,
              0.89496
            ],
            [
              0.27236,
              0.31272,
              0.34095,
              0.3878,
              0.47012,
              0.62515,
              0.93115
            ],
            [
              0.31796,
              0.3609,
              0.39019,
              0.43783,
              0.52058,
              0.67559,
              0.98139
            ],
            [
              0.37366,
              0.42011,
              0.45132,
              0.50132,
              0.58602,
              0.74182,
              1.04782
            ],
            [
              0.44027,
              0.49147,
              0.52527,
              0.57817,
              0.66567,
              0.82337,
              1.12957
            ],
            [
              0.5212,
              0.5784,
              0.6156,
              0.6726,
              0.7637,
              0.9235,
              1.231
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.14828,
              0.19526,
              0.23104,
              0.29667,
              0.42463,
              0.67962,
              1.19047
            ],
            [
              0.15052,
              0.1975,
              0.23327,
              0.29894,
              0.42673,
              0.68231,
              1.19274
            ],
            [
              0.15295,
              0.19992,
              0.23567,
              0.30136,
              0.42947,
              0.68506,
              1.19562
            ],
            [
              0.15629,
              0.20325,
              0.23902,
              0.30473,
              0.43254,
              0.68817,
              1.19858
            ],
            [
              0.16086,
              0.20782,
              0.24358,
              0.30932,
              0.43732,
              0.69296,
              1.20361
            ],
            [
              0.16724,
              0.21418,
              0.24992,
              0.31567,
              0.44385,
              0.6995,
              1.21002
            ],
            [
              0.17644,
              0.22337,
              0.25913,
              0.32494,
              0.45311,
              0.70882,
              1.21953
            ],
            [
              0.18999,
              0.23688,
              0.27269,
              0.33851,
              0.46681,
              0.72233,
              1.23416
            ],
            [
              0.20754,
              0.25559,
              0.29164,
              0.35772,
              0.4861,
              0.74193,
              1.25245
            ],
            [
              0.22915,
              0.27872,
              0.31542,
              0.38194,
              0.51043,
              0.76639,
              1.27719
            ],
            [
              0.2544,
              0.30609,
              0.34348,
              0.41052,
              0.53972,
              0.79512,
              1.30622
            ],
            [
              0.28107,
              0.33597,
              0.37437,
              0.44207,
              0.57137,
              0.82727,
              1.33767
            ],
            [
              0.3051,
              0.3648,
              0.4048,
              0.4736,
              0.6031,
              0.8592,
              1.3698
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02457,
              0.05703,
              0.08285,
              0.1312,
              0.2267,
              0.42444,
              0.83055
            ],
            [
              0.02458,
              0.05697,
              0.08288,
              0.13101,
              0.22673,
              0.42379,
              0.83063
            ],
            [
              0.02458,
              0.05707,
              0.08297,
              0.1311,
              0.22672,
              0.42388,
              0.83044
            ],
            [
              0.02458,
              0.05703,
              0.08289,
              0.131,
              0.22672,
              0.42372,
              0.83061
            ],
            [
              0.02459,
              0.05697,
              0.08282,
              0.13099,
              0.22672,
              0.4237,
              0.83056
            ],
            [
              0.02458,
              0.05708,
              0.08289,
              0.13091,
              0.22671,
              0.42399,
              0.83051
            ],
            [
              0.02458,
              0.05704,
              0.08284,
              0.13111,
              0.2264,
              0.42448,
              0.82953
            ],
            [
              0.02459,
              0.05699,
              0.08283,
              0.13101,
              0.22667,
              0.42366,
              0.8306
            ],
            [
              0.02521,
              0.05735,
              0.08315,
              0.13109,
              0.2267,
              0.42448,
              0.82948
            ],
            [
              0.02799,
              0.06062,
              0.08581,
              0.13311,
              0.22757,
              0.42455,
              0.83057
            ],
            [
              0.0318,
              0.06598,
              0.09152,
              0.13839,
              0.2317,
              0.4262,
              0.8306
            ],
            [
              0.0372,
              0.0733,
              0.0995,
              0.1461,
              0.2378,
              0.4295,
              0.8315
            ],
            [
              0.0443,
              0.0834,
              0.1103,
              0.1568,
              0.2466,
              0.4349,
              0.8329
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02854,
              0.074,
              0.11765,
              0.20623,
              0.38911,
              0.75871,
              1.49814
            ],
            [
              0.02854,
              0.07405,
              0.11759,
              0.20632,
              0.38992,
              0.7607,
              1.50024
            ],
            [
              0.02857,
              0.07404,
              0.11729,
              0.20629,
              0.38868,
              0.76064,
              1.50093
            ],
            [
              0.02856,
              0.07405,
              0.11754,
              0.20631,
              0.38986,
              0.76071,
              1.50023
            ],
            [
              0.02861,
              0.07406,
              0.1174,
              0.20635,
              0.38953,
              0.76093,
              1.49971
            ],
            [
              0.02857,
              0.07408,
              0.11732,
              0.20631,
              0.3888,
              0.7607,
              1.50105
            ],
            [
              0.02855,
              0.07406,
              0.1174,
              0.20633,
              0.38938,
              0.76083,
              1.49971
            ],
            [
              0.0287,
              0.07413,
              0.11749,
              0.20625,
              0.38936,
              0.75837,
              1.50171
            ],
            [
              0.02991,
              0.07525,
              0.11797,
              0.20659,
              0.38923,
              0.75955,
              1.49856
            ],
            [
              0.03143,
              0.07691,
              0.11961,
              0.20744,
              0.38957,
              0.76036,
              1.4986
            ],
            [
              0.03375,
              0.0794,
              0.12155,
              0.20877,
              0.39006,
              0.7585,
              1.4997
            ],
            [
              0.0374,
              0.0834,
              0.1246,
              0.2107,
              0.3919,
              0.7587,
              1.5
            ],
            [
              0.0424,
              0.0891,
              0.1295,
              0.2137,
              0.3926,
              0.7599,
              1.4974
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.19693,
              0.2388,
              0.26734,
              0.31434,
              0.39676,
              0.55186,
              0.85832
            ],
            [
              0.19945,
              0.24134,
              0.2699,
              0.31689,
              0.39928,
              0.55438,
              0.86062
            ],
            [
              0.20264,
              0.24453,
              0.27308,
              0.3201,
              0.40254,
              0.55766,
              0.86411
            ],
            [
              0.20764,
              0.24954,
              0.27809,
              0.32512,
              0.40757,
              0.56269,
              0.86914
            ],
            [
              0.21527,
              0.25715,
              0.28572,
              0.33276,
              0.41523,
              0.57036,
              0.8768
            ],
            [
              0.22642,
              0.2683,
              0.29688,
              0.34393,
              0.42641,
              0.58157,
              0.88798
            ],
            [
              0.24216,
              0.28403,
              0.31262,
              0.35969,
              0.44216,
              0.59732,
              0.90353
            ],
            [
              0.26441,
              0.30624,
              0.33486,
              0.38198,
              0.46451,
              0.61962,
              0.92626
            ],
            [
              0.29621,
              0.33808,
              0.36674,
              0.41396,
              0.49658,
              0.65174,
              0.95835
            ],
            [
              0.3381,
              0.38169,
              0.41094,
              0.45861,
              0.54147,
              0.69679,
              1.00299
            ],
            [
              0.38976,
              0.43596,
              0.46682,
              0.51632,
              0.60082,
              0.75652,
              1.06292
            ],
            [
              0.45377,
              0.50337,
              0.53607,
              0.58797,
              0.67457,
              0.83217,
              1.13877
            ],
            [
              0.5345,
              0.5886,
              0.6238,
              0.6787,
              0.7681,
              0.9274,
              1.235
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.13328,
              0.1804,
              0.21628,
              0.28196,
              0.41025,
              0.66573,
              1.17647
            ],
            [
              0.13544,
              0.18258,
              0.2184,
              0.28424,
              0.41218,
              0.66781,
              1.17874
            ],
            [
              0.13781,
              0.18493,
              0.22077,
              0.28661,
              0.41455,
              0.67031,
              1.18092
            ],
            [
              0.14108,
              0.18821,
              0.22406,
              0.28989,
              0.41802,
              0.67353,
              1.18448
            ],
            [
              0.14561,
              0.19274,
              0.22857,
              0.29444,
              0.42262,
              0.67774,
              1.18881
            ],
            [
              0.15199,
              0.19909,
              0.23492,
              0.30082,
              0.42909,
              0.68428,
              1.19542
            ],
            [
              0.16126,
              0.20826,
              0.24415,
              0.31003,
              0.43847,
              0.69405,
              1.20493
            ],
            [
              0.17443,
              0.22164,
              0.25755,
              0.32351,
              0.45201,
              0.70702,
              1.21896
            ],
            [
              0.19084,
              0.23937,
              0.27567,
              0.34191,
              0.47035,
              0.7262,
              1.23675
            ],
            [
              0.21078,
              0.26089,
              0.2978,
              0.36465,
              0.49346,
              0.74889,
              1.25999
            ],
            [
              0.23325,
              0.2857,
              0.32333,
              0.39069,
              0.51992,
              0.77552,
              1.28652
            ],
            [
              0.25547,
              0.31157,
              0.35037,
              0.41837,
              0.54787,
              0.80387,
              1.31447
            ],
            [
              0.2735,
              0.335,
              0.3755,
              0.4448,
              0.5745,
              0.8307,
              1.3413
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02793,
              0.05974,
              0.08508,
              0.13294,
              0.22827,
              0.42576,
              0.83032
            ],
            [
              0.02794,
              0.05963,
              0.08504,
              0.1328,
              0.22803,
              0.42512,
              0.83182
            ],
            [
              0.02793,
              0.05967,
              0.08508,
              0.13295,
              0.22826,
              0.42577,
              0.83038
            ],
            [
              0.02793,
              0.05967,
              0.08509,
              0.13294,
              0.22825,
              0.42577,
              0.83039
            ],
            [
              0.02794,
              0.05966,
              0.08506,
              0.13294,
              0.22825,
              0.4258,
              0.83046
            ],
            [
              0.02794,
              0.05965,
              0.08505,
              0.13296,
              0.22823,
              0.42584,
              0.83067
            ],
            [
              0.02794,
              0.05967,
              0.08501,
              0.13273,
              0.22795,
              0.42525,
              0.83178
            ],
            [
              0.02795,
              0.05966,
              0.08503,
              0.13273,
              0.22822,
              0.42558,
              0.83136
            ],
            [
              0.02812,
              0.05975,
              0.08516,
              0.13296,
              0.2281,
              0.425,
              0.83141
            ],
            [
              0.03041,
              0.06204,
              0.08689,
              0.13393,
              0.22872,
              0.42599,
              0.83125
            ],
            [
              0.03337,
              0.06615,
              0.09154,
              0.1383,
              0.2318,
              0.4266,
              0.8323
            ],
            [
              0.0376,
              0.0717,
              0.0976,
              0.1442,
              0.2371,
              0.43,
              0.8323
            ],
            [
              0.0435,
              0.0795,
              0.1057,
              0.1527,
              0.244,
              0.4349,
              0.8339
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02829,
              0.07399,
              0.11724,
              0.20611,
              0.38883,
              0.75821,
              1.50131
            ],
            [
              0.02828,
              0.07402,
              0.11732,
              0.20632,
              0.38988,
              0.76069,
              1.50145
            ],
            [
              0.02826,
              0.07395,
              0.11735,
              0.2063,
              0.38982,
              0.76056,
              1.49889
            ],
            [
              0.02828,
              0.07396,
              0.11726,
              0.2063,
              0.38905,
              0.76063,
              1.49983
            ],
            [
              0.02825,
              0.07391,
              0.11732,
              0.20629,
              0.38906,
              0.75864,
              1.49857
            ],
            [
              0.02827,
              0.0739,
              0.11721,
              0.20632,
              0.38919,
              0.76096,
              1.49931
            ],
            [
              0.02819,
              0.07395,
              0.11721,
              0.20621,
              0.38864,
              0.75823,
              1.49952
            ],
            [
              0.02879,
              0.07418,
              0.1176,
              0.20617,
              0.38874,
              0.75864,
              1.49905
            ],
            [
              0.02998,
              0.07545,
              0.11837,
              0.20652,
              0.38975,
              0.75884,
              1.50004
            ],
            [
              0.03164,
              0.07724,
              0.11999,
              0.20782,
              0.38954,
              0.75967,
              1.50199
            ],
            [
              0.03428,
              0.07995,
              0.12208,
              0.20935,
              0.39026,
              0.7589,
              1.4998
            ],
            [
              0.0384,
              0.0843,
              0.1256,
              0.2111,
              0.3919,
              0.7591,
              1.4997
            ],
            [
              0.0436,
              0.091,
              0.1308,
              0.2145,
              0.3928,
              0.7599,
              1.4986
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.20963,
              0.25193,
              0.28057,
              0.32765,
              0.41014,
              0.5653,
              0.87179
            ],
            [
              0.21224,
              0.25454,
              0.28318,
              0.33026,
              0.41278,
              0.56802,
              0.87427
            ],
            [
              0.21552,
              0.25784,
              0.2865,
              0.33359,
              0.41607,
              0.57128,
              0.87797
            ],
            [
              0.22062,
              0.26295,
              0.29159,
              0.33871,
              0.42123,
              0.57651,
              0.88291
            ],
            [
              0.22835,
              0.27066,
              0.29933,
              0.34645,
              0.42895,
              0.58417,
              0.89087
            ],
            [
              0.23961,
              0.28194,
              0.31061,
              0.35774,
              0.44025,
              0.59548,
              0.90216
            ],
            [
              0.25551,
              0.29781,
              0.32649,
              0.37365,
              0.45621,
              0.61153,
              0.91803
            ],
            [
              0.27804,
              0.32032,
              0.34901,
              0.39621,
              0.47883,
              0.63417,
              0.94036
            ],
            [
              0.3105,
              0.3528,
              0.38155,
              0.42882,
              0.51151,
              0.6669,
              0.97305
            ],
            [
              0.35517,
              0.39871,
              0.4278,
              0.47535,
              0.55819,
              0.71349,
              1.01999
            ],
            [
              0.41077,
              0.45712,
              0.48772,
              0.53702,
              0.62112,
              0.77692,
              1.08352
            ],
            [
              0.47987,
              0.52977,
              0.56227,
              0.61387,
              0.70017,
              0.85747,
              1.16447
            ],
            [
              0.5664,
              0.6211,
              0.6562,
              0.7106,
              0.7996,
              0.9586,
              1.2662
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.14088,
              0.19209,
              0.22939,
              0.29617,
              0.42459,
              0.67988,
              1.19077
            ],
            [
              0.14304,
              0.19426,
              0.23153,
              0.29833,
              0.4266,
              0.68199,
              1.19294
            ],
            [
              0.14543,
              0.19662,
              0.23388,
              0.30069,
              0.42916,
              0.68444,
              1.19432
            ],
            [
              0.14869,
              0.1999,
              0.23719,
              0.30402,
              0.43238,
              0.68785,
              1.19968
            ],
            [
              0.15322,
              0.20442,
              0.24168,
              0.30859,
              0.4371,
              0.69246,
              1.20431
            ],
            [
              0.15958,
              0.21076,
              0.24801,
              0.31496,
              0.44351,
              0.69885,
              1.20922
            ],
            [
              0.16883,
              0.21993,
              0.25718,
              0.32419,
              0.45282,
              0.70826,
              1.22013
            ],
            [
              0.18214,
              0.23332,
              0.27066,
              0.33765,
              0.46633,
              0.72204,
              1.23316
            ],
            [
              0.19902,
              0.25158,
              0.28926,
              0.35654,
              0.48534,
              0.74055,
              1.25105
            ],
            [
              0.21964,
              0.27398,
              0.31239,
              0.38028,
              0.50937,
              0.76509,
              1.27519
            ],
            [
              0.24336,
              0.30021,
              0.33952,
              0.4082,
              0.53782,
              0.79342,
              1.30462
            ],
            [
              0.26767,
              0.32837,
              0.36907,
              0.43867,
              0.56877,
              0.82467,
              1.33527
            ],
            [
              0.2888,
              0.355,
              0.3977,
              0.4689,
              0.5996,
              0.856,
              1.3662
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02889,
              0.06028,
              0.08554,
              0.13334,
              0.22853,
              0.42549,
              0.83206
            ],
            [
              0.02889,
              0.06036,
              0.08556,
              0.13331,
              0.22855,
              0.42566,
              0.832
            ],
            [
              0.02892,
              0.06027,
              0.08553,
              0.13337,
              0.22823,
              0.42586,
              0.83206
            ],
            [
              0.02889,
              0.06027,
              0.08559,
              0.13322,
              0.22846,
              0.42621,
              0.83176
            ],
            [
              0.02891,
              0.06027,
              0.08552,
              0.13337,
              0.22822,
              0.42587,
              0.83196
            ],
            [
              0.02891,
              0.06027,
              0.0855,
              0.13311,
              0.22824,
              0.42588,
              0.83206
            ],
            [
              0.02889,
              0.06028,
              0.08562,
              0.13322,
              0.22846,
              0.4262,
              0.8316
            ],
            [
              0.02888,
              0.06028,
              0.08552,
              0.13326,
              0.2285,
              0.42605,
              0.832
            ],
            [
              0.02894,
              0.0603,
              0.08547,
              0.13305,
              0.22845,
              0.42621,
              0.83194
            ],
            [
              0.03095,
              0.06194,
              0.08663,
              0.1339,
              0.22869,
              0.42549,
              0.831
            ],
            [
              0.03402,
              0.06612,
              0.09118,
              0.1378,
              0.2314,
              0.427,
              0.8317
            ],
            [
              0.0384,
              0.0718,
              0.0971,
              0.1439,
              0.2365,
              0.4296,
              0.8332
            ],
            [
              0.0446,
              0.0796,
              0.1053,
              0.1516,
              0.2431,
              0.434,
              0.8331
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.03277,
              0.07807,
              0.12075,
              0.2084,
              0.39028,
              0.75893,
              1.49819
            ],
            [
              0.03276,
              0.078,
              0.12096,
              0.20831,
              0.39008,
              0.75902,
              1.49832
            ],
            [
              0.03277,
              0.07805,
              0.12088,
              0.20827,
              0.38944,
              0.75872,
              1.49924
            ],
            [
              0.03277,
              0.07801,
              0.12068,
              0.20839,
              0.38977,
              0.75872,
              1.50211
            ],
            [
              0.03278,
              0.07806,
              0.12068,
              0.2085,
              0.39006,
              0.75822,
              1.50216
            ],
            [
              0.03278,
              0.07805,
              0.12071,
              0.20849,
              0.3902,
              0.75847,
              1.49851
            ],
            [
              0.03275,
              0.07804,
              0.1207,
              0.20848,
              0.3901,
              0.75833,
              1.50154
            ],
            [
              0.03317,
              0.07829,
              0.12078,
              0.20828,
              0.39025,
              0.75848,
              1.50187
            ],
            [
              0.03459,
              0.07958,
              0.12172,
              0.2088,
              0.38984,
              0.75858,
              1.49879
            ],
            [
              0.03648,
              0.08178,
              0.12371,
              0.21001,
              0.39031,
              0.75882,
              1.502
            ],
            [
              0.0394,
              0.0849,
              0.12627,
              0.21212,
              0.39077,
              0.7587,
              1.498
            ],
            [
              0.0439,
              0.0897,
              0.1305,
              0.2146,
              0.393,
              0.7589,
              1.4999
            ],
            [
              0.0497,
              0.0973,
              0.1367,
              0.2189,
              0.3947,
              0.7599,
              1.4974
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.09147,
              0.12515,
              0.14917,
              0.19107,
              0.2691,
              0.42217,
              0.72793
            ],
            [
              0.09365,
              0.12731,
              0.15139,
              0.19329,
              0.27126,
              0.42446,
              0.73037
            ],
            [
              0.09642,
              0.13008,
              0.15418,
              0.19609,
              0.2741,
              0.4272,
              0.73324
            ],
            [
              0.1009,
              0.13453,
              0.15862,
              0.20053,
              0.27857,
              0.43175,
              0.73701
            ],
            [
              0.10814,
              0.14172,
              0.16582,
              0.20776,
              0.28585,
              0.43898,
              0.74485
            ],
            [
              0.11955,
              0.15308,
              0.17719,
              0.21916,
              0.29727,
              0.45046,
              0.75626
            ],
            [
              0.13727,
              0.17063,
              0.1948,
              0.23682,
              0.31493,
              0.46815,
              0.77403
            ],
            [
              0.16213,
              0.19619,
              0.22051,
              0.26264,
              0.34087,
              0.49407,
              0.79974
            ],
            [
              0.19239,
              0.22866,
              0.25393,
              0.29675,
              0.37521,
              0.52846,
              0.83405
            ],
            [
              0.22894,
              0.26815,
              0.2944,
              0.33845,
              0.41806,
              0.57144,
              0.87729
            ],
            [
              0.2734,
              0.31655,
              0.34425,
              0.38949,
              0.46992,
              0.62442,
              0.93022
            ],
            [
              0.32857,
              0.37647,
              0.40627,
              0.45327,
              0.53467,
              0.68947,
              0.99587
            ],
            [
              0.399,
              0.452,
              0.4849,
              0.5346,
              0.6176,
              0.7726,
              1.0796
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.07484,
              0.1154,
              0.14892,
              0.21335,
              0.34077,
              0.59472,
              1.10377
            ],
            [
              0.07697,
              0.11752,
              0.15108,
              0.2155,
              0.34302,
              0.59718,
              1.10564
            ],
            [
              0.0796,
              0.12012,
              0.15365,
              0.21811,
              0.34545,
              0.5996,
              1.10862
            ],
            [
              0.08359,
              0.12405,
              0.15757,
              0.22207,
              0.3494,
              0.60359,
              1.11218
            ],
            [
              0.08978,
              0.13017,
              0.16366,
              0.22813,
              0.35588,
              0.61007,
              1.11801
            ],
            [
              0.09914,
              0.13933,
              0.17282,
              0.23736,
              0.36501,
              0.61886,
              1.12812
            ],
            [
              0.11149,
              0.15212,
              0.18564,
              0.25005,
              0.37794,
              0.63289,
              1.14073
            ],
            [
              0.12541,
              0.16721,
              0.20109,
              0.2656,
              0.39355,
              0.64805,
              1.15706
            ],
            [
              0.14059,
              0.18384,
              0.21806,
              0.28313,
              0.41069,
              0.66532,
              1.17475
            ],
            [
              0.15613,
              0.2019,
              0.23641,
              0.30157,
              0.42978,
              0.68439,
              1.19389
            ],
            [
              0.17081,
              0.22053,
              0.25562,
              0.3208,
              0.44922,
              0.70392,
              1.21262
            ],
            [
              0.18277,
              0.23797,
              0.27437,
              0.33987,
              0.46807,
              0.72377,
              1.23147
            ],
            [
              0.1888,
              0.2512,
              0.29,
              0.3565,
              0.4847,
              0.7402,
              1.2486
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.01889,
              0.04659,
              0.07092,
              0.11866,
              0.21712,
              0.4197,
              0.82894
            ],
            [
              0.01889,
              0.0466,
              0.07077,
              0.11864,
              0.21692,
              0.41905,
              0.8277
            ],
            [
              0.01889,
              0.0467,
              0.07085,
              0.11866,
              0.21702,
              0.41927,
              0.82838
            ],
            [
              0.01889,
              0.0466,
              0.07089,
              0.11862,
              0.2169,
              0.41891,
              0.8284
            ],
            [
              0.01888,
              0.04663,
              0.07084,
              0.11863,
              0.21714,
              0.41952,
              0.8289
            ],
            [
              0.01889,
              0.04663,
              0.07086,
              0.11861,
              0.21707,
              0.41894,
              0.82887
            ],
            [
              0.01896,
              0.04678,
              0.07092,
              0.11862,
              0.21695,
              0.4193,
              0.82744
            ],
            [
              0.02071,
              0.04772,
              0.07158,
              0.119,
              0.21726,
              0.41926,
              0.82789
            ],
            [
              0.02363,
              0.05085,
              0.07431,
              0.12072,
              0.21783,
              0.41906,
              0.82824
            ],
            [
              0.02755,
              0.05479,
              0.07781,
              0.12399,
              0.2201,
              0.42029,
              0.82839
            ],
            [
              0.03226,
              0.06038,
              0.08282,
              0.12781,
              0.22283,
              0.42164,
              0.8279
            ],
            [
              0.0377,
              0.0678,
              0.0897,
              0.1331,
              0.226,
              0.4235,
              0.8287
            ],
            [
              0.0443,
              0.0772,
              0.0989,
              0.1408,
              0.2305,
              0.4262,
              0.8305
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.0213,
              0.06479,
              0.10897,
              0.19989,
              0.38341,
              0.7528,
              1.49495
            ],
            [
              0.0213,
              0.06499,
              0.10911,
              0.19967,
              0.3836,
              0.75191,
              1.49023
            ],
            [
              0.02133,
              0.06481,
              0.10894,
              0.1999,
              0.38368,
              0.75373,
              1.49183
            ],
            [
              0.02133,
              0.06481,
              0.10895,
              0.19989,
              0.3837,
              0.75379,
              1.48932
            ],
            [
              0.02131,
              0.06498,
              0.10898,
              0.20006,
              0.38411,
              0.75183,
              1.49354
            ],
            [
              0.02146,
              0.06502,
              0.10913,
              0.19976,
              0.3838,
              0.75328,
              1.49106
            ],
            [
              0.02264,
              0.06533,
              0.10938,
              0.20026,
              0.3848,
              0.75363,
              1.48887
            ],
            [
              0.02434,
              0.06699,
              0.11041,
              0.2003,
              0.38423,
              0.75446,
              1.49334
            ],
            [
              0.02701,
              0.06877,
              0.11186,
              0.20175,
              0.38456,
              0.75243,
              1.4933
            ],
            [
              0.03072,
              0.07104,
              0.1133,
              0.20237,
              0.38446,
              0.75214,
              1.49208
            ],
            [
              0.03517,
              0.0751,
              0.11551,
              0.20336,
              0.38567,
              0.75514,
              1.4916
            ],
            [
              0.04039,
              0.0814,
              0.1196,
              0.2051,
              0.3863,
              0.7538,
              1.4881
            ],
            [
              0.0468,
              0.0909,
              0.1272,
              0.2088,
              0.3872,
              0.7564,
              1.4917
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.10096,
              0.13698,
              0.1624,
              0.20576,
              0.28494,
              0.43837,
              0.74396
            ],
            [
              0.10297,
              0.13901,
              0.16444,
              0.20782,
              0.28698,
              0.44047,
              0.74618
            ],
            [
              0.10554,
              0.14156,
              0.16699,
              0.21038,
              0.28957,
              0.44302,
              0.74887
            ],
            [
              0.10973,
              0.14572,
              0.17114,
              0.21454,
              0.29367,
              0.447,
              0.75287
            ],
            [
              0.11659,
              0.15253,
              0.17795,
              0.22135,
              0.30054,
              0.45395,
              0.75952
            ],
            [
              0.12758,
              0.16343,
              0.18885,
              0.23228,
              0.31144,
              0.46495,
              0.77048
            ],
            [
              0.14483,
              0.18051,
              0.20594,
              0.24942,
              0.32867,
              0.4822,
              0.78786
            ],
            [
              0.17019,
              0.20604,
              0.23151,
              0.27507,
              0.35438,
              0.50795,
              0.81337
            ],
            [
              0.2017,
              0.2395,
              0.26579,
              0.30986,
              0.38935,
              0.54302,
              0.84885
            ],
            [
              0.23979,
              0.28027,
              0.30747,
              0.35285,
              0.43351,
              0.58737,
              0.89329
            ],
            [
              0.28614,
              0.33041,
              0.35895,
              0.4054,
              0.48712,
              0.64232,
              0.94812
            ],
            [
              0.34367,
              0.39257,
              0.42317,
              0.47127,
              0.55397,
              0.70967,
              1.01647
            ],
            [
              0.4171,
              0.4711,
              0.5047,
              0.5555,
              0.6397,
              0.7956,
              1.1032
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.07497,
              0.11568,
              0.14937,
              0.2141,
              0.34218,
              0.59752,
              1.10767
            ],
            [
              0.07713,
              0.11783,
              0.15153,
              0.21627,
              0.34437,
              0.59971,
              1.11004
            ],
            [
              0.0798,
              0.12047,
              0.15415,
              0.21892,
              0.34686,
              0.6023,
              1.11372
            ],
            [
              0.08382,
              0.12445,
              0.15817,
              0.22293,
              0.35108,
              0.60635,
              1.11768
            ],
            [
              0.09006,
              0.1306,
              0.16431,
              0.22906,
              0.35728,
              0.61268,
              1.12291
            ],
            [
              0.09946,
              0.1398,
              0.17346,
              0.23831,
              0.36652,
              0.62193,
              1.13322
            ],
            [
              0.11186,
              0.15262,
              0.18629,
              0.25104,
              0.37928,
              0.63507,
              1.14583
            ],
            [
              0.12576,
              0.16771,
              0.20174,
              0.26653,
              0.39513,
              0.65091,
              1.16226
            ],
            [
              0.14089,
              0.18427,
              0.21864,
              0.28402,
              0.4122,
              0.66806,
              1.17995
            ],
            [
              0.1563,
              0.20219,
              0.23686,
              0.30232,
              0.43115,
              0.68699,
              1.19899
            ],
            [
              0.17069,
              0.22057,
              0.25581,
              0.32129,
              0.45032,
              0.70632,
              1.21752
            ],
            [
              0.18207,
              0.23757,
              0.27417,
              0.33997,
              0.46887,
              0.72567,
              1.23607
            ],
            [
              0.1872,
              0.25,
              0.289,
              0.356,
              0.4849,
              0.7415,
              1.2526
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02067,
              0.04964,
              0.0741,
              0.12194,
              0.21935,
              0.4201,
              0.82947
            ],
            [
              0.02068,
              0.04958,
              0.07426,
              0.1219,
              0.21938,
              0.42027,
              0.82849
            ],
            [
              0.02067,
              0.04957,
              0.07418,
              0.12188,
              0.21939,
              0.4199,
              0.82913
            ],
            [
              0.02072,
              0.04958,
              0.07426,
              0.12194,
              0.21913,
              0.42039,
              0.82928
            ],
            [
              0.02066,
              0.04961,
              0.07428,
              0.12194,
              0.21931,
              0.4202,
              0.82876
            ],
            [
              0.02063,
              0.04962,
              0.07421,
              0.12185,
              0.21913,
              0.42012,
              0.8292
            ],
            [
              0.02061,
              0.04971,
              0.07417,
              0.12196,
              0.21932,
              0.41986,
              0.82935
            ],
            [
              0.02173,
              0.05018,
              0.07456,
              0.12216,
              0.21939,
              0.42063,
              0.82894
            ],
            [
              0.02463,
              0.05311,
              0.0769,
              0.12357,
              0.21971,
              0.42072,
              0.82813
            ],
            [
              0.02857,
              0.05681,
              0.08047,
              0.12708,
              0.22232,
              0.42147,
              0.82837
            ],
            [
              0.03334,
              0.06228,
              0.08519,
              0.13079,
              0.22525,
              0.4234,
              0.8295
            ],
            [
              0.0389,
              0.0696,
              0.0919,
              0.1358,
              0.2287,
              0.4252,
              0.8303
            ],
            [
              0.0454,
              0.079,
              0.1013,
              0.1432,
              0.233,
              0.428,
              0.832
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02138,
              0.065,
              0.10953,
              0.2009,
              0.38548,
              0.75573,
              1.49599
            ],
            [
              0.02137,
              0.06501,
              0.10955,
              0.20075,
              0.38552,
              0.75572,
              1.49588
            ],
            [
              0.02138,
              0.06505,
              0.10941,
              0.20079,
              0.38543,
              0.75731,
              1.49864
            ],
            [
              0.02139,
              0.06506,
              0.10956,
              0.20057,
              0.38544,
              0.75584,
              1.49592
            ],
            [
              0.02142,
              0.06514,
              0.10959,
              0.20081,
              0.38554,
              0.75561,
              1.49597
            ],
            [
              0.02152,
              0.06532,
              0.10963,
              0.20069,
              0.38516,
              0.75718,
              1.49818
            ],
            [
              0.02271,
              0.06562,
              0.10984,
              0.20122,
              0.38561,
              0.75725,
              1.49753
            ],
            [
              0.02438,
              0.06722,
              0.11085,
              0.20116,
              0.38583,
              0.75781,
              1.49999
            ],
            [
              0.02704,
              0.06892,
              0.11234,
              0.20259,
              0.38624,
              0.7559,
              1.50011
            ],
            [
              0.03076,
              0.07128,
              0.11376,
              0.20329,
              0.38615,
              0.75564,
              1.49895
            ],
            [
              0.0353,
              0.07535,
              0.11603,
              0.20424,
              0.38752,
              0.75588,
              1.4982
            ],
            [
              0.04062,
              0.0818,
              0.1203,
              0.206,
              0.3879,
              0.7573,
              1.495
            ],
            [
              0.0471,
              0.0916,
              0.128,
              0.2102,
              0.3895,
              0.7608,
              1.4986
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.0964,
              0.13115,
              0.15582,
              0.19835,
              0.27683,
              0.43009,
              0.73571
            ],
            [
              0.09847,
              0.13324,
              0.15792,
              0.20047,
              0.27897,
              0.43217,
              0.73758
            ],
            [
              0.10111,
              0.13588,
              0.16059,
              0.20312,
              0.28165,
              0.43491,
              0.74054
            ],
            [
              0.10541,
              0.14016,
              0.16487,
              0.20744,
              0.28596,
              0.4392,
              0.74499
            ],
            [
              0.11247,
              0.14715,
              0.17185,
              0.21443,
              0.29301,
              0.44626,
              0.75146
            ],
            [
              0.12362,
              0.15825,
              0.18297,
              0.22558,
              0.30413,
              0.4574,
              0.76306
            ],
            [
              0.14108,
              0.17555,
              0.20029,
              0.24296,
              0.32158,
              0.47486,
              0.78033
            ],
            [
              0.16618,
              0.20112,
              0.22596,
              0.26869,
              0.34737,
              0.5005,
              0.80645
            ],
            [
              0.19699,
              0.23403,
              0.25979,
              0.30314,
              0.38198,
              0.53522,
              0.84125
            ],
            [
              0.23423,
              0.27409,
              0.3008,
              0.34545,
              0.42552,
              0.57907,
              0.88489
            ],
            [
              0.27955,
              0.32331,
              0.35141,
              0.39721,
              0.47822,
              0.63292,
              0.93872
            ],
            [
              0.33587,
              0.38427,
              0.41447,
              0.46207,
              0.54397,
              0.69897,
              1.00567
            ],
            [
              0.4077,
              0.4613,
              0.4945,
              0.5447,
              0.6283,
              0.7836,
              1.0909
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.0749,
              0.11549,
              0.14907,
              0.21358,
              0.34121,
              0.59565,
              1.10397
            ],
            [
              0.07705,
              0.11763,
              0.15121,
              0.21574,
              0.34336,
              0.59771,
              1.10704
            ],
            [
              0.0797,
              0.12025,
              0.15382,
              0.21836,
              0.34579,
              0.60037,
              1.11002
            ],
            [
              0.08371,
              0.12422,
              0.15777,
              0.22234,
              0.34981,
              0.60437,
              1.11378
            ],
            [
              0.08991,
              0.13033,
              0.16386,
              0.22838,
              0.35637,
              0.61098,
              1.11981
            ],
            [
              0.09928,
              0.13951,
              0.17305,
              0.23767,
              0.36545,
              0.61978,
              1.12952
            ],
            [
              0.11164,
              0.1523,
              0.18586,
              0.25038,
              0.37839,
              0.63341,
              1.14213
            ],
            [
              0.12555,
              0.16738,
              0.2013,
              0.26588,
              0.39402,
              0.64889,
              1.15846
            ],
            [
              0.14071,
              0.18398,
              0.21823,
              0.28338,
              0.41118,
              0.66606,
              1.17605
            ],
            [
              0.15618,
              0.20197,
              0.23652,
              0.30174,
              0.43011,
              0.68509,
              1.19529
            ],
            [
              0.1707,
              0.22045,
              0.25558,
              0.32078,
              0.44932,
              0.70432,
              1.21382
            ],
            [
              0.18237,
              0.23767,
              0.27407,
              0.33957,
              0.46787,
              0.72387,
              1.23227
            ],
            [
              0.1879,
              0.2503,
              0.2891,
              0.3556,
              0.4838,
              0.7396,
              1.2488
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.01984,
              0.04817,
              0.07249,
              0.12011,
              0.21803,
              0.41934,
              0.82816
            ],
            [
              0.01983,
              0.04816,
              0.07263,
              0.12019,
              0.21812,
              0.42012,
              0.82867
            ],
            [
              0.01984,
              0.04814,
              0.07252,
              0.12009,
              0.21813,
              0.41936,
              0.82807
            ],
            [
              0.01984,
              0.04815,
              0.07242,
              0.12014,
              0.21805,
              0.41946,
              0.82778
            ],
            [
              0.01983,
              0.04819,
              0.07253,
              0.1201,
              0.21817,
              0.41979,
              0.82881
            ],
            [
              0.01981,
              0.04821,
              0.07244,
              0.12013,
              0.218,
              0.41949,
              0.82811
            ],
            [
              0.01985,
              0.04829,
              0.0725,
              0.12026,
              0.21817,
              0.41997,
              0.8291
            ],
            [
              0.02136,
              0.04898,
              0.07304,
              0.1204,
              0.21816,
              0.42003,
              0.829
            ],
            [
              0.02423,
              0.05203,
              0.07559,
              0.12216,
              0.21856,
              0.41997,
              0.82883
            ],
            [
              0.02816,
              0.05595,
              0.0792,
              0.12562,
              0.22105,
              0.42039,
              0.82785
            ],
            [
              0.03292,
              0.06146,
              0.08411,
              0.12934,
              0.2241,
              0.42259,
              0.8288
            ],
            [
              0.0384,
              0.0689,
              0.0909,
              0.1345,
              0.2273,
              0.4244,
              0.83
            ],
            [
              0.0451,
              0.0782,
              0.1003,
              0.1422,
              0.2317,
              0.427,
              0.8314
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02133,
              0.06482,
              0.1092,
              0.20031,
              0.38422,
              0.75309,
              1.49097
            ],
            [
              0.02134,
              0.06485,
              0.10916,
              0.20043,
              0.38423,
              0.7534,
              1.49161
            ],
            [
              0.02132,
              0.06489,
              0.10915,
              0.20015,
              0.3842,
              0.7548,
              1.49363
            ],
            [
              0.02132,
              0.06489,
              0.10908,
              0.20015,
              0.38419,
              0.75473,
              1.49209
            ],
            [
              0.02133,
              0.0649,
              0.10912,
              0.20054,
              0.38505,
              0.75308,
              1.49184
            ],
            [
              0.02148,
              0.06517,
              0.1093,
              0.20004,
              0.38392,
              0.75442,
              1.49304
            ],
            [
              0.02265,
              0.06543,
              0.10951,
              0.20058,
              0.38414,
              0.7541,
              1.49194
            ],
            [
              0.02436,
              0.06706,
              0.11053,
              0.20055,
              0.3846,
              0.7553,
              1.495
            ],
            [
              0.02701,
              0.06875,
              0.11199,
              0.20194,
              0.38503,
              0.75339,
              1.49511
            ],
            [
              0.03072,
              0.0711,
              0.11343,
              0.20259,
              0.38492,
              0.75308,
              1.49387
            ],
            [
              0.0352,
              0.07514,
              0.1157,
              0.20349,
              0.38648,
              0.75341,
              1.4933
            ],
            [
              0.04051,
              0.0815,
              0.1198,
              0.2052,
              0.3866,
              0.7547,
              1.4899
            ],
            [
              0.0469,
              0.091,
              0.1273,
              0.209,
              0.3877,
              0.7575,
              1.4936
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.12,
              0.16025,
              0.1882,
              0.23458,
              0.31637,
              0.47088,
              0.77699
            ],
            [
              0.12153,
              0.16179,
              0.18976,
              0.23615,
              0.31797,
              0.47264,
              0.77856
            ],
            [
              0.12368,
              0.16393,
              0.1919,
              0.2383,
              0.32013,
              0.47475,
              0.78058
            ],
            [
              0.12732,
              0.16753,
              0.1955,
              0.24191,
              0.32375,
              0.4784,
              0.78409
            ],
            [
              0.13347,
              0.17363,
              0.20159,
              0.24799,
              0.32981,
              0.48433,
              0.79041
            ],
            [
              0.14357,
              0.18366,
              0.21159,
              0.258,
              0.33987,
              0.49446,
              0.80019
            ],
            [
              0.15982,
              0.19976,
              0.22768,
              0.2741,
              0.356,
              0.51072,
              0.81682
            ],
            [
              0.18515,
              0.22473,
              0.25259,
              0.29905,
              0.38097,
              0.53565,
              0.84156
            ],
            [
              0.21878,
              0.25962,
              0.28782,
              0.33454,
              0.41662,
              0.57144,
              0.87725
            ],
            [
              0.25965,
              0.30263,
              0.33175,
              0.37982,
              0.46287,
              0.61786,
              0.92329
            ],
            [
              0.30946,
              0.35595,
              0.38613,
              0.43501,
              0.51952,
              0.67602,
              0.98162
            ],
            [
              0.37127,
              0.42227,
              0.45437,
              0.50467,
              0.58997,
              0.74747,
              1.05497
            ],
            [
              0.4503,
              0.5063,
              0.5413,
              0.5941,
              0.6808,
              0.8386,
              1.1467
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.07504,
              0.11575,
              0.14944,
              0.21416,
              0.34232,
              0.59779,
              1.10817
            ],
            [
              0.07726,
              0.11796,
              0.15165,
              0.2164,
              0.34448,
              0.59972,
              1.11074
            ],
            [
              0.07999,
              0.12067,
              0.15436,
              0.21912,
              0.34721,
              0.60242,
              1.11372
            ],
            [
              0.08408,
              0.1247,
              0.15842,
              0.22315,
              0.35131,
              0.60686,
              1.11688
            ],
            [
              0.09038,
              0.13093,
              0.16461,
              0.22941,
              0.3576,
              0.6134,
              1.12431
            ],
            [
              0.09983,
              0.14021,
              0.17386,
              0.23873,
              0.36677,
              0.62277,
              1.13292
            ],
            [
              0.1123,
              0.15303,
              0.18671,
              0.25146,
              0.37978,
              0.63571,
              1.14723
            ],
            [
              0.12627,
              0.1682,
              0.20222,
              0.26701,
              0.39562,
              0.65148,
              1.16266
            ],
            [
              0.14135,
              0.18469,
              0.21906,
              0.28446,
              0.41267,
              0.66848,
              1.18035
            ],
            [
              0.15651,
              0.20238,
              0.23705,
              0.30252,
              0.43135,
              0.68719,
              1.19919
            ],
            [
              0.17037,
              0.22026,
              0.25552,
              0.32102,
              0.45022,
              0.70592,
              1.21732
            ],
            [
              0.18077,
              0.23637,
              0.27287,
              0.33877,
              0.46757,
              0.72457,
              1.23477
            ],
            [
              0.1839,
              0.2468,
              0.2859,
              0.3529,
              0.4817,
              0.7382,
              1.2495
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02431,
              0.05567,
              0.08111,
              0.12899,
              0.22493,
              0.42307,
              0.8299
            ],
            [
              0.02431,
              0.05569,
              0.08123,
              0.12907,
              0.22505,
              0.42355,
              0.83001
            ],
            [
              0.02431,
              0.05565,
              0.08106,
              0.12914,
              0.22506,
              0.42291,
              0.83015
            ],
            [
              0.02431,
              0.05575,
              0.08123,
              0.12916,
              0.22507,
              0.42313,
              0.82968
            ],
            [
              0.02427,
              0.05576,
              0.08111,
              0.12927,
              0.22495,
              0.42308,
              0.83012
            ],
            [
              0.02423,
              0.05568,
              0.08109,
              0.12923,
              0.22504,
              0.42285,
              0.82976
            ],
            [
              0.02414,
              0.05565,
              0.08123,
              0.12895,
              0.22506,
              0.42357,
              0.82891
            ],
            [
              0.02417,
              0.05576,
              0.08117,
              0.12917,
              0.22504,
              0.42341,
              0.83025
            ],
            [
              0.02686,
              0.05769,
              0.08261,
              0.13005,
              0.22547,
              0.42366,
              0.82939
            ],
            [
              0.03074,
              0.06114,
              0.0861,
              0.13349,
              0.22776,
              0.42386,
              0.83041
            ],
            [
              0.0357,
              0.06623,
              0.09032,
              0.1371,
              0.23128,
              0.4269,
              0.8305
            ],
            [
              0.0414,
              0.0735,
              0.0969,
              0.1419,
              0.2346,
              0.4294,
              0.8329
            ],
            [
              0.0481,
              0.0829,
              0.1059,
              0.149,
              0.239,
              0.4325,
              0.8332
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02138,
              0.06524,
              0.10957,
              0.20052,
              0.38538,
              0.75527,
              1.49547
            ],
            [
              0.02138,
              0.06501,
              0.10949,
              0.20105,
              0.38542,
              0.756,
              1.49709
            ],
            [
              0.02138,
              0.06504,
              0.10946,
              0.20075,
              0.38543,
              0.75605,
              1.50187
            ],
            [
              0.02138,
              0.06504,
              0.10956,
              0.2013,
              0.38533,
              0.75784,
              1.49775
            ],
            [
              0.02138,
              0.06506,
              0.10952,
              0.20079,
              0.38535,
              0.75793,
              1.49923
            ],
            [
              0.02149,
              0.06516,
              0.10964,
              0.20066,
              0.38546,
              0.75798,
              1.49655
            ],
            [
              0.02271,
              0.06561,
              0.10976,
              0.2012,
              0.38637,
              0.75775,
              1.49724
            ],
            [
              0.02432,
              0.06707,
              0.11083,
              0.20114,
              0.38618,
              0.75793,
              1.49929
            ],
            [
              0.02703,
              0.06881,
              0.11233,
              0.20259,
              0.38625,
              0.75586,
              1.50007
            ],
            [
              0.03072,
              0.07123,
              0.11374,
              0.20327,
              0.38625,
              0.75564,
              1.49894
            ],
            [
              0.03528,
              0.07535,
              0.11589,
              0.2043,
              0.38742,
              0.75627,
              1.4978
            ],
            [
              0.04062,
              0.0819,
              0.1203,
              0.2062,
              0.3883,
              0.7572,
              1.4954
            ],
            [
              0.0473,
              0.0919,
              0.1283,
              0.2103,
              0.3899,
              0.7612,
              1.4985
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.11889,
              0.15533,
              0.18095,
              0.22455,
              0.30393,
              0.45759,
              0.7633
            ],
            [
              0.12099,
              0.15746,
              0.18309,
              0.2267,
              0.30606,
              0.45964,
              0.76544
            ],
            [
              0.12364,
              0.16009,
              0.18572,
              0.22933,
              0.30876,
              0.4623,
              0.76849
            ],
            [
              0.12788,
              0.16434,
              0.18998,
              0.23361,
              0.31298,
              0.46671,
              0.77243
            ],
            [
              0.13469,
              0.17113,
              0.19677,
              0.24039,
              0.31982,
              0.47328,
              0.77953
            ],
            [
              0.14556,
              0.18197,
              0.2076,
              0.25124,
              0.33062,
              0.48423,
              0.79049
            ],
            [
              0.1626,
              0.19893,
              0.22456,
              0.26822,
              0.34771,
              0.50132,
              0.80737
            ],
            [
              0.18887,
              0.22504,
              0.25069,
              0.29438,
              0.37391,
              0.52744,
              0.83368
            ],
            [
              0.22449,
              0.2621,
              0.28805,
              0.33195,
              0.4115,
              0.56531,
              0.87085
            ],
            [
              0.26766,
              0.30781,
              0.33487,
              0.38007,
              0.46036,
              0.61422,
              0.92019
            ],
            [
              0.31988,
              0.36374,
              0.39201,
              0.43823,
              0.51992,
              0.67482,
              0.98062
            ],
            [
              0.38387,
              0.43247,
              0.46267,
              0.51047,
              0.59287,
              0.74857,
              1.05547
            ],
            [
              0.4642,
              0.5184,
              0.5513,
              0.6015,
              0.6854,
              0.8412,
              1.149
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.08014,
              0.12419,
              0.1587,
              0.22354,
              0.3513,
              0.60532,
              1.11447
            ],
            [
              0.08231,
              0.12635,
              0.16084,
              0.22575,
              0.35355,
              0.60804,
              1.11584
            ],
            [
              0.08498,
              0.12901,
              0.16352,
              0.22832,
              0.35621,
              0.61006,
              1.12012
            ],
            [
              0.089,
              0.13296,
              0.16748,
              0.23231,
              0.36011,
              0.61455,
              1.12417
            ],
            [
              0.0952,
              0.13909,
              0.17357,
              0.23841,
              0.36648,
              0.621,
              1.12861
            ],
            [
              0.1046,
              0.14826,
              0.18273,
              0.24762,
              0.37565,
              0.62964,
              1.14042
            ],
            [
              0.11762,
              0.16157,
              0.19604,
              0.26101,
              0.3889,
              0.64379,
              1.15163
            ],
            [
              0.13269,
              0.17823,
              0.21297,
              0.27804,
              0.40596,
              0.66055,
              1.17076
            ],
            [
              0.14928,
              0.19694,
              0.23235,
              0.29785,
              0.42582,
              0.68017,
              1.19025
            ],
            [
              0.1665,
              0.21756,
              0.25351,
              0.3194,
              0.44784,
              0.70249,
              1.21269
            ],
            [
              0.1833,
              0.23917,
              0.27616,
              0.34237,
              0.47102,
              0.72592,
              1.23492
            ],
            [
              0.19797,
              0.25997,
              0.29887,
              0.36577,
              0.49407,
              0.74967,
              1.25857
            ],
            [
              0.2075,
              0.2768,
              0.3188,
              0.3874,
              0.516,
              0.7716,
              1.2803
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.022,
              0.05092,
              0.07523,
              0.12278,
              0.21993,
              0.42061,
              0.82912
            ],
            [
              0.022,
              0.05082,
              0.07534,
              0.12283,
              0.21988,
              0.42114,
              0.82935
            ],
            [
              0.02199,
              0.05083,
              0.07521,
              0.12284,
              0.22007,
              0.42083,
              0.82901
            ],
            [
              0.022,
              0.05088,
              0.07519,
              0.12271,
              0.21989,
              0.42066,
              0.82988
            ],
            [
              0.02199,
              0.05089,
              0.07518,
              0.12282,
              0.22001,
              0.42099,
              0.829
            ],
            [
              0.02199,
              0.05082,
              0.07533,
              0.12277,
              0.21983,
              0.42114,
              0.82927
            ],
            [
              0.02198,
              0.05083,
              0.07539,
              0.12282,
              0.22006,
              0.42075,
              0.82859
            ],
            [
              0.02213,
              0.051,
              0.07536,
              0.12285,
              0.22008,
              0.42107,
              0.8294
            ],
            [
              0.02478,
              0.05289,
              0.07675,
              0.12361,
              0.21998,
              0.42072,
              0.82944
            ],
            [
              0.02868,
              0.05656,
              0.0804,
              0.12669,
              0.22206,
              0.42138,
              0.82871
            ],
            [
              0.03372,
              0.06178,
              0.08475,
              0.13044,
              0.22533,
              0.4232,
              0.829
            ],
            [
              0.0397,
              0.0691,
              0.0912,
              0.1352,
              0.2282,
              0.4252,
              0.8313
            ],
            [
              0.0466,
              0.0785,
              0.1001,
              0.1421,
              0.2324,
              0.4281,
              0.8309
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02485,
              0.06768,
              0.11109,
              0.20108,
              0.38395,
              0.75318,
              1.49087
            ],
            [
              0.02486,
              0.06774,
              0.11108,
              0.2011,
              0.38501,
              0.75304,
              1.4908
            ],
            [
              0.02485,
              0.06775,
              0.11107,
              0.20092,
              0.38522,
              0.75441,
              1.49178
            ],
            [
              0.02488,
              0.06781,
              0.11116,
              0.20081,
              0.38425,
              0.75564,
              1.49026
            ],
            [
              0.02488,
              0.06779,
              0.1112,
              0.20091,
              0.38454,
              0.75358,
              1.49118
            ],
            [
              0.025,
              0.06796,
              0.11122,
              0.20084,
              0.38419,
              0.75414,
              1.49331
            ],
            [
              0.0263,
              0.0684,
              0.11148,
              0.20119,
              0.38423,
              0.7546,
              1.49062
            ],
            [
              0.02878,
              0.07017,
              0.11251,
              0.20144,
              0.38521,
              0.75445,
              1.49246
            ],
            [
              0.03241,
              0.07256,
              0.11441,
              0.20267,
              0.38507,
              0.75339,
              1.49567
            ],
            [
              0.03699,
              0.07612,
              0.11685,
              0.20406,
              0.38593,
              0.75298,
              1.49295
            ],
            [
              0.04235,
              0.08147,
              0.12028,
              0.20575,
              0.38651,
              0.75337,
              1.4943
            ],
            [
              0.0485,
              0.0894,
              0.1261,
              0.2086,
              0.3879,
              0.7539,
              1.4905
            ],
            [
              0.0557,
              0.1006,
              0.1355,
              0.2137,
              0.3891,
              0.7571,
              1.4931
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.15018,
              0.19238,
              0.22143,
              0.26913,
              0.35233,
              0.5078,
              0.81444
            ],
            [
              0.15189,
              0.19409,
              0.22312,
              0.27087,
              0.35406,
              0.50954,
              0.8162
            ],
            [
              0.15407,
              0.19625,
              0.22531,
              0.27306,
              0.35625,
              0.51178,
              0.81832
            ],
            [
              0.15765,
              0.19984,
              0.22887,
              0.27661,
              0.35979,
              0.51543,
              0.82127
            ],
            [
              0.1636,
              0.20577,
              0.23482,
              0.28256,
              0.36576,
              0.5212,
              0.8277
            ],
            [
              0.17333,
              0.2155,
              0.24454,
              0.29231,
              0.37551,
              0.53099,
              0.8375
            ],
            [
              0.18901,
              0.23109,
              0.26011,
              0.30789,
              0.39107,
              0.54675,
              0.85293
            ],
            [
              0.21378,
              0.25573,
              0.28474,
              0.33251,
              0.41577,
              0.57144,
              0.87776
            ],
            [
              0.2513,
              0.29312,
              0.3221,
              0.36991,
              0.45321,
              0.60893,
              0.91495
            ],
            [
              0.29861,
              0.34245,
              0.3723,
              0.42092,
              0.50461,
              0.66049,
              0.96639
            ],
            [
              0.3561,
              0.40313,
              0.43379,
              0.48352,
              0.56902,
              0.72562,
              1.03192
            ],
            [
              0.42647,
              0.47817,
              0.51047,
              0.56137,
              0.64757,
              0.80617,
              1.11347
            ],
            [
              0.5149,
              0.572,
              0.6069,
              0.66,
              0.7475,
              0.9061,
              1.215
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.08023,
              0.12439,
              0.15901,
              0.22413,
              0.3521,
              0.60799,
              1.11787
            ],
            [
              0.08248,
              0.12663,
              0.16126,
              0.22637,
              0.35453,
              0.6102,
              1.12034
            ],
            [
              0.08522,
              0.12935,
              0.16401,
              0.22912,
              0.35726,
              0.61288,
              1.12332
            ],
            [
              0.08933,
              0.13343,
              0.16806,
              0.23311,
              0.36167,
              0.61725,
              1.12748
            ],
            [
              0.09564,
              0.13964,
              0.17421,
              0.23942,
              0.36782,
              0.62334,
              1.13521
            ],
            [
              0.10512,
              0.14895,
              0.18353,
              0.24873,
              0.37689,
              0.63277,
              1.14442
            ],
            [
              0.11827,
              0.16223,
              0.19683,
              0.26195,
              0.39016,
              0.64623,
              1.15673
            ],
            [
              0.13335,
              0.17898,
              0.21382,
              0.27913,
              0.40758,
              0.66307,
              1.17516
            ],
            [
              0.14987,
              0.19759,
              0.23307,
              0.29887,
              0.4273,
              0.68262,
              1.19475
            ],
            [
              0.16676,
              0.21788,
              0.25394,
              0.32005,
              0.44903,
              0.70479,
              1.21679
            ],
            [
              0.18287,
              0.23891,
              0.27601,
              0.34239,
              0.47162,
              0.72752,
              1.23862
            ],
            [
              0.19627,
              0.25857,
              0.29757,
              0.36487,
              0.49377,
              0.75047,
              1.26107
            ],
            [
              0.2033,
              0.2732,
              0.3156,
              0.3847,
              0.5138,
              0.7699,
              1.2813
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02703,
              0.0589,
              0.08446,
              0.13267,
              0.22805,
              0.4252,
              0.82987
            ],
            [
              0.02702,
              0.05889,
              0.08447,
              0.13264,
              0.22803,
              0.42518,
              0.8298
            ],
            [
              0.02702,
              0.0589,
              0.08446,
              0.13266,
              0.22803,
              0.42533,
              0.83009
            ],
            [
              0.02702,
              0.05892,
              0.08451,
              0.1326,
              0.22776,
              0.42553,
              0.83108
            ],
            [
              0.02703,
              0.05895,
              0.08446,
              0.13265,
              0.22802,
              0.4249,
              0.83036
            ],
            [
              0.02702,
              0.0589,
              0.08446,
              0.13258,
              0.22798,
              0.42513,
              0.83091
            ],
            [
              0.02701,
              0.05893,
              0.08448,
              0.13231,
              0.2279,
              0.42555,
              0.83098
            ],
            [
              0.02687,
              0.05891,
              0.08445,
              0.13262,
              0.228,
              0.42555,
              0.8308
            ],
            [
              0.02791,
              0.05943,
              0.08482,
              0.13281,
              0.22805,
              0.42554,
              0.8311
            ],
            [
              0.03166,
              0.06263,
              0.08785,
              0.13515,
              0.22909,
              0.42593,
              0.83161
            ],
            [
              0.03685,
              0.0672,
              0.09185,
              0.13922,
              0.2333,
              0.4276,
              0.8312
            ],
            [
              0.0431,
              0.0744,
              0.0977,
              0.1431,
              0.2366,
              0.4309,
              0.8326
            ],
            [
              0.0502,
              0.0838,
              0.1066,
              0.15,
              0.2406,
              0.434,
              0.8357
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02489,
              0.06794,
              0.11151,
              0.20171,
              0.38666,
              0.7569,
              1.49639
            ],
            [
              0.02486,
              0.06791,
              0.11152,
              0.20184,
              0.38666,
              0.75603,
              1.49699
            ],
            [
              0.02486,
              0.06792,
              0.11148,
              0.2018,
              0.38669,
              0.75533,
              1.49698
            ],
            [
              0.02488,
              0.0679,
              0.11145,
              0.20164,
              0.38619,
              0.75728,
              1.4958
            ],
            [
              0.02487,
              0.06793,
              0.11148,
              0.20178,
              0.38579,
              0.75684,
              1.49857
            ],
            [
              0.025,
              0.06808,
              0.11161,
              0.20151,
              0.38667,
              0.75803,
              1.49803
            ],
            [
              0.02628,
              0.06856,
              0.11182,
              0.20162,
              0.3867,
              0.75806,
              1.49677
            ],
            [
              0.0287,
              0.07027,
              0.11279,
              0.20215,
              0.38645,
              0.75738,
              1.49839
            ],
            [
              0.03232,
              0.07271,
              0.11472,
              0.20342,
              0.38652,
              0.75609,
              1.50099
            ],
            [
              0.03693,
              0.07621,
              0.11697,
              0.20477,
              0.38736,
              0.75579,
              1.49863
            ],
            [
              0.04234,
              0.08171,
              0.12083,
              0.20615,
              0.38803,
              0.75598,
              1.4995
            ],
            [
              0.0486,
              0.0899,
              0.1267,
              0.2091,
              0.3888,
              0.7568,
              1.4964
            ],
            [
              0.056,
              0.1014,
              0.1366,
              0.215,
              0.3911,
              0.7586,
              1.4986
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.16253,
              0.20454,
              0.23325,
              0.28064,
              0.36353,
              0.51907,
              0.82551
            ],
            [
              0.16439,
              0.20641,
              0.23513,
              0.28254,
              0.36539,
              0.5209,
              0.8271
            ],
            [
              0.16677,
              0.2088,
              0.23752,
              0.28494,
              0.3678,
              0.52324,
              0.82966
            ],
            [
              0.17058,
              0.2126,
              0.24133,
              0.28875,
              0.37163,
              0.52702,
              0.83366
            ],
            [
              0.17673,
              0.2187,
              0.24752,
              0.29487,
              0.37776,
              0.53314,
              0.83961
            ],
            [
              0.18656,
              0.22856,
              0.25735,
              0.30478,
              0.38764,
              0.54324,
              0.84963
            ],
            [
              0.20222,
              0.24421,
              0.273,
              0.32045,
              0.40335,
              0.5588,
              0.86512
            ],
            [
              0.22695,
              0.26891,
              0.29769,
              0.34513,
              0.42807,
              0.58352,
              0.88986
            ],
            [
              0.26526,
              0.30691,
              0.33564,
              0.38309,
              0.46602,
              0.62162,
              0.92835
            ],
            [
              0.31609,
              0.35948,
              0.38885,
              0.43673,
              0.51984,
              0.67529,
              0.98149
            ],
            [
              0.37783,
              0.42422,
              0.45442,
              0.50352,
              0.58832,
              0.74442,
              1.05072
            ],
            [
              0.45297,
              0.50387,
              0.53567,
              0.58597,
              0.67137,
              0.82937,
              1.13647
            ],
            [
              0.5463,
              0.6028,
              0.6371,
              0.6894,
              0.776,
              0.9341,
              1.2427
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.08097,
              0.13018,
              0.16624,
              0.23207,
              0.3604,
              0.6155,
              1.12697
            ],
            [
              0.08322,
              0.13241,
              0.16848,
              0.23425,
              0.36266,
              0.61815,
              1.12864
            ],
            [
              0.08596,
              0.13514,
              0.17119,
              0.23708,
              0.36543,
              0.62067,
              1.13072
            ],
            [
              0.09005,
              0.13919,
              0.17525,
              0.24116,
              0.3695,
              0.62453,
              1.13678
            ],
            [
              0.09634,
              0.14537,
              0.18141,
              0.24725,
              0.37572,
              0.63127,
              1.14181
            ],
            [
              0.10578,
              0.15464,
              0.19067,
              0.25656,
              0.38509,
              0.64071,
              1.15102
            ],
            [
              0.11889,
              0.16794,
              0.204,
              0.26995,
              0.39859,
              0.65414,
              1.16493
            ],
            [
              0.13412,
              0.18519,
              0.22146,
              0.28751,
              0.41585,
              0.67161,
              1.18316
            ],
            [
              0.15081,
              0.205,
              0.24213,
              0.30872,
              0.43731,
              0.69323,
              1.20355
            ],
            [
              0.16804,
              0.22696,
              0.26504,
              0.33232,
              0.46128,
              0.71679,
              1.22879
            ],
            [
              0.18475,
              0.25008,
              0.28971,
              0.35774,
              0.48712,
              0.74292,
              1.25432
            ],
            [
              0.19917,
              0.27227,
              0.31447,
              0.38387,
              0.51337,
              0.76997,
              1.28047
            ],
            [
              0.2081,
              0.2899,
              0.3362,
              0.4081,
              0.538,
              0.7942,
              1.3048
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02794,
              0.05955,
              0.08492,
              0.13277,
              0.22804,
              0.42578,
              0.83136
            ],
            [
              0.02793,
              0.05958,
              0.08501,
              0.13251,
              0.22786,
              0.42513,
              0.83163
            ],
            [
              0.02794,
              0.05958,
              0.08499,
              0.13266,
              0.22775,
              0.42505,
              0.83139
            ],
            [
              0.02794,
              0.05957,
              0.08491,
              0.13269,
              0.2278,
              0.42527,
              0.83123
            ],
            [
              0.02793,
              0.05955,
              0.08494,
              0.1327,
              0.22791,
              0.42522,
              0.83132
            ],
            [
              0.02794,
              0.05956,
              0.08485,
              0.1325,
              0.22782,
              0.42566,
              0.83153
            ],
            [
              0.02793,
              0.0596,
              0.08494,
              0.13239,
              0.22784,
              0.42501,
              0.83144
            ],
            [
              0.02786,
              0.05952,
              0.0848,
              0.13272,
              0.22799,
              0.42503,
              0.83154
            ],
            [
              0.02799,
              0.05957,
              0.08492,
              0.13266,
              0.22801,
              0.42581,
              0.83099
            ],
            [
              0.03162,
              0.06234,
              0.08716,
              0.1339,
              0.2284,
              0.42561,
              0.83169
            ],
            [
              0.03676,
              0.0667,
              0.09121,
              0.13814,
              0.2322,
              0.4274,
              0.8322
            ],
            [
              0.0431,
              0.0736,
              0.0967,
              0.1421,
              0.2356,
              0.4306,
              0.8337
            ],
            [
              0.0505,
              0.0829,
              0.1053,
              0.1487,
              0.2396,
              0.4337,
              0.8349
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02726,
              0.07225,
              0.11477,
              0.20321,
              0.3857,
              0.75627,
              1.50009
            ],
            [
              0.02728,
              0.07223,
              0.11476,
              0.20311,
              0.38571,
              0.7554,
              1.49714
            ],
            [
              0.02725,
              0.07232,
              0.1146,
              0.20326,
              0.38613,
              0.75598,
              1.49923
            ],
            [
              0.02727,
              0.07228,
              0.1148,
              0.20331,
              0.38614,
              0.75572,
              1.49902
            ],
            [
              0.02728,
              0.07234,
              0.11484,
              0.20312,
              0.38571,
              0.75546,
              1.49709
            ],
            [
              0.02739,
              0.07253,
              0.11493,
              0.20319,
              0.38579,
              0.75573,
              1.49709
            ],
            [
              0.02866,
              0.07296,
              0.11514,
              0.20318,
              0.38641,
              0.75614,
              1.49719
            ],
            [
              0.03151,
              0.07495,
              0.11608,
              0.2035,
              0.38631,
              0.75585,
              1.4981
            ],
            [
              0.0358,
              0.07824,
              0.11863,
              0.20504,
              0.38669,
              0.75819,
              1.49635
            ],
            [
              0.04116,
              0.08314,
              0.1222,
              0.20692,
              0.38765,
              0.75747,
              1.49805
            ],
            [
              0.04773,
              0.09051,
              0.12696,
              0.20967,
              0.38844,
              0.75752,
              1.4954
            ],
            [
              0.0557,
              0.1008,
              0.1349,
              0.2137,
              0.3903,
              0.7568,
              1.4969
            ],
            [
              0.0657,
              0.1146,
              0.1469,
              0.221,
              0.3928,
              0.7589,
              1.498
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.09951,
              0.13353,
              0.15786,
              0.20007,
              0.2784,
              0.43178,
              0.73772
            ],
            [
              0.10182,
              0.13584,
              0.16017,
              0.20238,
              0.28074,
              0.43409,
              0.74012
            ],
            [
              0.10474,
              0.13878,
              0.16312,
              0.20533,
              0.28368,
              0.437,
              0.74284
            ],
            [
              0.10935,
              0.14339,
              0.16773,
              0.20994,
              0.28825,
              0.44157,
              0.74755
            ],
            [
              0.11654,
              0.15055,
              0.17489,
              0.21711,
              0.29544,
              0.44885,
              0.75422
            ],
            [
              0.1278,
              0.16176,
              0.1861,
              0.22834,
              0.30665,
              0.46001,
              0.76577
            ],
            [
              0.14506,
              0.17895,
              0.20332,
              0.2456,
              0.32403,
              0.47731,
              0.78327
            ],
            [
              0.17023,
              0.20431,
              0.22876,
              0.27112,
              0.34957,
              0.503,
              0.80889
            ],
            [
              0.20134,
              0.23732,
              0.26248,
              0.3053,
              0.38394,
              0.53722,
              0.84335
            ],
            [
              0.23845,
              0.27706,
              0.30311,
              0.34704,
              0.42664,
              0.58019,
              0.88639
            ],
            [
              0.2826,
              0.32492,
              0.35224,
              0.39721,
              0.47762,
              0.63212,
              0.93812
            ],
            [
              0.33607,
              0.38297,
              0.41217,
              0.45867,
              0.53977,
              0.69447,
              1.00117
            ],
            [
              0.4025,
              0.4545,
              0.4864,
              0.5351,
              0.6176,
              0.7726,
              1.0798
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.07931,
              0.11983,
              0.15341,
              0.21768,
              0.34537,
              0.59975,
              1.10827
            ],
            [
              0.08184,
              0.12238,
              0.15596,
              0.22036,
              0.34784,
              0.60203,
              1.11004
            ],
            [
              0.08447,
              0.12498,
              0.15858,
              0.2229,
              0.35058,
              0.6054,
              1.11342
            ],
            [
              0.08821,
              0.12871,
              0.16226,
              0.22673,
              0.35402,
              0.60843,
              1.11718
            ],
            [
              0.09372,
              0.13418,
              0.16773,
              0.2322,
              0.35978,
              0.6143,
              1.12281
            ],
            [
              0.10186,
              0.14218,
              0.17572,
              0.24019,
              0.36757,
              0.62245,
              1.12952
            ],
            [
              0.11303,
              0.15362,
              0.18717,
              0.25172,
              0.37922,
              0.63373,
              1.14163
            ],
            [
              0.12675,
              0.16844,
              0.20223,
              0.26678,
              0.39454,
              0.64907,
              1.15686
            ],
            [
              0.14271,
              0.186,
              0.22012,
              0.28494,
              0.41281,
              0.66773,
              1.17615
            ],
            [
              0.16021,
              0.20587,
              0.24049,
              0.30559,
              0.43348,
              0.68809,
              1.19599
            ],
            [
              0.1782,
              0.22751,
              0.26296,
              0.32828,
              0.45652,
              0.71072,
              1.21932
            ],
            [
              0.19527,
              0.24977,
              0.28667,
              0.35267,
              0.48077,
              0.73597,
              1.24357
            ],
            [
              0.2095,
              0.2708,
              0.31,
              0.3774,
              0.506,
              0.7609,
              1.2691
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.01965,
              0.0474,
              0.07164,
              0.11933,
              0.2175,
              0.4193,
              0.8286
            ],
            [
              0.01969,
              0.04737,
              0.07153,
              0.11925,
              0.21767,
              0.41985,
              0.82924
            ],
            [
              0.01965,
              0.04738,
              0.07163,
              0.11924,
              0.21757,
              0.41976,
              0.82822
            ],
            [
              0.01965,
              0.04738,
              0.07155,
              0.11927,
              0.21751,
              0.42013,
              0.82891
            ],
            [
              0.01968,
              0.04739,
              0.07155,
              0.11925,
              0.21743,
              0.41936,
              0.82938
            ],
            [
              0.01965,
              0.04741,
              0.07156,
              0.11927,
              0.21737,
              0.41989,
              0.82933
            ],
            [
              0.01967,
              0.04748,
              0.07151,
              0.11934,
              0.21771,
              0.42014,
              0.82898
            ],
            [
              0.02074,
              0.04801,
              0.07187,
              0.11948,
              0.21772,
              0.41948,
              0.82896
            ],
            [
              0.02345,
              0.05058,
              0.07412,
              0.12073,
              0.21811,
              0.4199,
              0.82918
            ],
            [
              0.02726,
              0.05414,
              0.07729,
              0.12374,
              0.22012,
              0.42031,
              0.8284
            ],
            [
              0.03201,
              0.0592,
              0.08177,
              0.12713,
              0.2225,
              0.4217,
              0.8296
            ],
            [
              0.0376,
              0.0661,
              0.088,
              0.1318,
              0.2253,
              0.4234,
              0.8289
            ],
            [
              0.0439,
              0.0748,
              0.0962,
              0.1384,
              0.2289,
              0.4259,
              0.8305
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02133,
              0.0648,
              0.10913,
              0.20021,
              0.38455,
              0.75308,
              1.49246
            ],
            [
              0.02131,
              0.06487,
              0.10912,
              0.19979,
              0.38382,
              0.75195,
              1.49361
            ],
            [
              0.02133,
              0.06474,
              0.10915,
              0.20018,
              0.3848,
              0.75376,
              1.49307
            ],
            [
              0.02132,
              0.0648,
              0.10895,
              0.19989,
              0.38371,
              0.75398,
              1.49305
            ],
            [
              0.02133,
              0.06481,
              0.10907,
              0.1999,
              0.38356,
              0.75225,
              1.49165
            ],
            [
              0.02141,
              0.06489,
              0.10914,
              0.20038,
              0.38421,
              0.75339,
              1.48794
            ],
            [
              0.0223,
              0.06522,
              0.10921,
              0.19993,
              0.38384,
              0.75188,
              1.49033
            ],
            [
              0.02365,
              0.06636,
              0.10998,
              0.20027,
              0.38506,
              0.75205,
              1.49032
            ],
            [
              0.02579,
              0.06812,
              0.11123,
              0.20068,
              0.38367,
              0.75379,
              1.49003
            ],
            [
              0.02888,
              0.07063,
              0.11278,
              0.20164,
              0.38414,
              0.75304,
              1.48967
            ],
            [
              0.03299,
              0.07443,
              0.11546,
              0.20294,
              0.38503,
              0.75319,
              1.4926
            ],
            [
              0.038,
              0.0804,
              0.1198,
              0.2052,
              0.3858,
              0.7526,
              1.4877
            ],
            [
              0.0439,
              0.0891,
              0.1268,
              0.209,
              0.3876,
              0.7563,
              1.491
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(!A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.1116,
              0.14833,
              0.17412,
              0.21799,
              0.29764,
              0.45131,
              0.75708
            ],
            [
              0.11375,
              0.15047,
              0.17628,
              0.22015,
              0.29979,
              0.45359,
              0.75964
            ],
            [
              0.11648,
              0.15321,
              0.17903,
              0.22291,
              0.30249,
              0.45635,
              0.76214
            ],
            [
              0.12084,
              0.15756,
              0.1834,
              0.22726,
              0.30693,
              0.46058,
              0.76657
            ],
            [
              0.12771,
              0.16438,
              0.19022,
              0.2341,
              0.31378,
              0.46745,
              0.77349
            ],
            [
              0.1385,
              0.17512,
              0.20096,
              0.24485,
              0.32454,
              0.47834,
              0.78446
            ],
            [
              0.15519,
              0.19172,
              0.21755,
              0.26147,
              0.34121,
              0.495,
              0.8011
            ],
            [
              0.18045,
              0.21687,
              0.2427,
              0.28669,
              0.36644,
              0.52028,
              0.82596
            ],
            [
              0.21308,
              0.25094,
              0.27727,
              0.32156,
              0.40153,
              0.55541,
              0.86145
            ],
            [
              0.25213,
              0.29228,
              0.31947,
              0.36494,
              0.44576,
              0.59984,
              0.90569
            ],
            [
              0.29866,
              0.34237,
              0.37069,
              0.41707,
              0.49892,
              0.65412,
              0.96002
            ],
            [
              0.35497,
              0.40327,
              0.43337,
              0.48117,
              0.56377,
              0.71967,
              1.02647
            ],
            [
              0.4252,
              0.4785,
              0.5112,
              0.5612,
              0.6451,
              0.8009,
              1.1087
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.07944,
              0.12014,
              0.15382,
              0.21856,
              0.34657,
              0.60181,
              1.11207
            ],
            [
              0.08203,
              0.12272,
              0.15645,
              0.22117,
              0.34926,
              0.6046,
              1.11464
            ],
            [
              0.0847,
              0.12537,
              0.15912,
              0.22375,
              0.35205,
              0.6077,
              1.11852
            ],
            [
              0.08848,
              0.12913,
              0.16287,
              0.22751,
              0.35585,
              0.6115,
              1.12238
            ],
            [
              0.09403,
              0.13464,
              0.16831,
              0.23307,
              0.36146,
              0.61694,
              1.12761
            ],
            [
              0.10219,
              0.14267,
              0.17632,
              0.24118,
              0.36943,
              0.62503,
              1.13592
            ],
            [
              0.11337,
              0.15411,
              0.18779,
              0.25266,
              0.3807,
              0.63634,
              1.14793
            ],
            [
              0.12711,
              0.16895,
              0.20289,
              0.26774,
              0.39622,
              0.65167,
              1.16246
            ],
            [
              0.14304,
              0.18646,
              0.22074,
              0.28588,
              0.41436,
              0.67057,
              1.18135
            ],
            [
              0.16047,
              0.20626,
              0.24102,
              0.30644,
              0.43494,
              0.69079,
              1.20089
            ],
            [
              0.17825,
              0.22771,
              0.26333,
              0.32892,
              0.45782,
              0.71322,
              1.22382
            ],
            [
              0.19487,
              0.24957,
              0.28657,
              0.35297,
              0.48177,
              0.73827,
              1.24837
            ],
            [
              0.208,
              0.2697,
              0.3091,
              0.3769,
              0.5064,
              0.7631,
              1.2731
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02178,
              0.05074,
              0.07547,
              0.12308,
              0.22022,
              0.42122,
              0.83008
            ],
            [
              0.02173,
              0.05074,
              0.07525,
              0.12303,
              0.22023,
              0.42046,
              0.82869
            ],
            [
              0.02174,
              0.05075,
              0.07531,
              0.12303,
              0.22001,
              0.42124,
              0.82994
            ],
            [
              0.02178,
              0.05084,
              0.07527,
              0.12311,
              0.22031,
              0.4209,
              0.82949
            ],
            [
              0.02173,
              0.05085,
              0.07528,
              0.12309,
              0.22026,
              0.42124,
              0.82877
            ],
            [
              0.02171,
              0.05081,
              0.07529,
              0.12311,
              0.22029,
              0.42048,
              0.82852
            ],
            [
              0.02169,
              0.05081,
              0.07547,
              0.12312,
              0.2203,
              0.42063,
              0.82891
            ],
            [
              0.02207,
              0.05107,
              0.07549,
              0.1232,
              0.22033,
              0.42056,
              0.83018
            ],
            [
              0.02469,
              0.05318,
              0.07716,
              0.12426,
              0.22078,
              0.42108,
              0.8296
            ],
            [
              0.02847,
              0.05651,
              0.08041,
              0.12716,
              0.22268,
              0.4214,
              0.82999
            ],
            [
              0.03329,
              0.06146,
              0.08451,
              0.13056,
              0.22547,
              0.4233,
              0.8299
            ],
            [
              0.039,
              0.0683,
              0.0905,
              0.1349,
              0.2284,
              0.4252,
              0.8303
            ],
            [
              0.0454,
              0.077,
              0.0989,
              0.1415,
              0.2321,
              0.4275,
              0.8319
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02138,
              0.06501,
              0.10945,
              0.20078,
              0.38526,
              0.75618,
              1.49595
            ],
            [
              0.02137,
              0.06511,
              0.10957,
              0.2006,
              0.3855,
              0.75564,
              1.49602
            ],
            [
              0.0214,
              0.06501,
              0.10961,
              0.20105,
              0.38652,
              0.75562,
              1.49973
            ],
            [
              0.02138,
              0.06502,
              0.10959,
              0.20118,
              0.38651,
              0.75801,
              1.49864
            ],
            [
              0.0214,
              0.06506,
              0.10943,
              0.20124,
              0.38625,
              0.75563,
              1.49739
            ],
            [
              0.02146,
              0.06513,
              0.10946,
              0.20076,
              0.38553,
              0.75559,
              1.49683
            ],
            [
              0.0223,
              0.06545,
              0.10957,
              0.20081,
              0.38557,
              0.75561,
              1.49983
            ],
            [
              0.02369,
              0.06657,
              0.11043,
              0.20115,
              0.38665,
              0.75607,
              1.49731
            ],
            [
              0.02582,
              0.06835,
              0.11169,
              0.2016,
              0.38546,
              0.75725,
              1.49701
            ],
            [
              0.02894,
              0.07086,
              0.11324,
              0.20254,
              0.38574,
              0.75646,
              1.49673
            ],
            [
              0.03302,
              0.07467,
              0.11597,
              0.20377,
              0.38641,
              0.75661,
              1.4999
            ],
            [
              0.0381,
              0.0807,
              0.1203,
              0.2061,
              0.3876,
              0.7561,
              1.4948
            ],
            [
              0.0442,
              0.0896,
              0.1274,
              0.2105,
              0.3903,
              0.7592,
              1.4976
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.10616,
              0.14152,
              0.16657,
              0.20956,
              0.28845,
              0.44181,
              0.74772
            ],
            [
              0.10837,
              0.14374,
              0.1688,
              0.2118,
              0.29074,
              0.44422,
              0.74998
            ],
            [
              0.1112,
              0.14657,
              0.17163,
              0.21463,
              0.29356,
              0.44707,
              0.75254
            ],
            [
              0.11564,
              0.15102,
              0.17608,
              0.21907,
              0.298,
              0.4515,
              0.75694
            ],
            [
              0.12263,
              0.15798,
              0.18305,
              0.22604,
              0.30501,
              0.45852,
              0.76415
            ],
            [
              0.13362,
              0.1689,
              0.19397,
              0.237,
              0.31598,
              0.4695,
              0.77548
            ],
            [
              0.15053,
              0.18579,
              0.21086,
              0.25391,
              0.33288,
              0.48638,
              0.79241
            ],
            [
              0.17579,
              0.21104,
              0.23614,
              0.27925,
              0.35828,
              0.51184,
              0.81753
            ],
            [
              0.20766,
              0.24463,
              0.27035,
              0.31386,
              0.39309,
              0.54656,
              0.85235
            ],
            [
              0.24573,
              0.28518,
              0.3118,
              0.35646,
              0.43657,
              0.59038,
              0.89589
            ],
            [
              0.29108,
              0.33419,
              0.36201,
              0.40766,
              0.48872,
              0.64352,
              0.94952
            ],
            [
              0.34607,
              0.39367,
              0.42337,
              0.47047,
              0.55227,
              0.70757,
              1.01417
            ],
            [
              0.4145,
              0.4672,
              0.4995,
              0.5489,
              0.632,
              0.7873,
              1.0946
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.07937,
              0.11996,
              0.15354,
              0.21805,
              0.34567,
              0.60011,
              1.10857
            ],
            [
              0.08194,
              0.12253,
              0.15612,
              0.22064,
              0.34827,
              0.60282,
              1.11154
            ],
            [
              0.0846,
              0.12515,
              0.15879,
              0.22319,
              0.35104,
              0.60579,
              1.11482
            ],
            [
              0.08836,
              0.1289,
              0.16248,
              0.22704,
              0.35444,
              0.60923,
              1.11858
            ],
            [
              0.09388,
              0.13438,
              0.16796,
              0.23251,
              0.36032,
              0.61506,
              1.12421
            ],
            [
              0.10201,
              0.14237,
              0.17596,
              0.24053,
              0.36809,
              0.62322,
              1.13242
            ],
            [
              0.11318,
              0.15379,
              0.1874,
              0.25202,
              0.38003,
              0.63419,
              1.14363
            ],
            [
              0.12691,
              0.16863,
              0.20246,
              0.26708,
              0.39502,
              0.64979,
              1.15846
            ],
            [
              0.14285,
              0.18617,
              0.22033,
              0.28522,
              0.41326,
              0.66854,
              1.17765
            ],
            [
              0.16031,
              0.20599,
              0.24065,
              0.30582,
              0.43383,
              0.68879,
              1.19879
            ],
            [
              0.17818,
              0.22751,
              0.26298,
              0.32839,
              0.45662,
              0.71122,
              1.22002
            ],
            [
              0.19497,
              0.24947,
              0.28637,
              0.35237,
              0.48077,
              0.73617,
              1.24437
            ],
            [
              0.2085,
              0.2699,
              0.3091,
              0.3765,
              0.5051,
              0.7605,
              1.269
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02085,
              0.04928,
              0.07364,
              0.12126,
              0.21881,
              0.42057,
              0.82882
            ],
            [
              0.02085,
              0.0493,
              0.07353,
              0.12115,
              0.21895,
              0.42061,
              0.82938
            ],
            [
              0.02089,
              0.04928,
              0.07372,
              0.12124,
              0.21893,
              0.41982,
              0.82961
            ],
            [
              0.02085,
              0.04934,
              0.07357,
              0.12116,
              0.21889,
              0.42063,
              0.82911
            ],
            [
              0.02084,
              0.04928,
              0.07363,
              0.12119,
              0.21895,
              0.42053,
              0.82954
            ],
            [
              0.02088,
              0.04936,
              0.07353,
              0.12119,
              0.21895,
              0.42043,
              0.82931
            ],
            [
              0.02088,
              0.04931,
              0.07364,
              0.12119,
              0.21883,
              0.42068,
              0.82829
            ],
            [
              0.02152,
              0.04968,
              0.07392,
              0.12135,
              0.21898,
              0.41996,
              0.82964
            ],
            [
              0.02422,
              0.05212,
              0.07574,
              0.12257,
              0.21948,
              0.42082,
              0.82884
            ],
            [
              0.02808,
              0.05559,
              0.07903,
              0.12559,
              0.2214,
              0.42138,
              0.82972
            ],
            [
              0.03287,
              0.06058,
              0.0833,
              0.12906,
              0.22403,
              0.423,
              0.8299
            ],
            [
              0.0385,
              0.0675,
              0.0894,
              0.1334,
              0.227,
              0.4243,
              0.8299
            ],
            [
              0.0449,
              0.0762,
              0.0978,
              0.1402,
              0.2306,
              0.4266,
              0.8317
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02132,
              0.06484,
              0.10918,
              0.20044,
              0.38423,
              0.75313,
              1.49076
            ],
            [
              0.02132,
              0.06483,
              0.10918,
              0.20035,
              0.38422,
              0.75272,
              1.49164
            ],
            [
              0.02135,
              0.06484,
              0.10929,
              0.20041,
              0.38526,
              0.75311,
              1.49474
            ],
            [
              0.02135,
              0.06488,
              0.10908,
              0.20015,
              0.3842,
              0.75489,
              1.49471
            ],
            [
              0.02134,
              0.06486,
              0.10917,
              0.20066,
              0.38395,
              0.75377,
              1.49366
            ],
            [
              0.02143,
              0.06496,
              0.10927,
              0.20014,
              0.38471,
              0.75411,
              1.49597
            ],
            [
              0.02225,
              0.06523,
              0.1093,
              0.20012,
              0.38495,
              0.7533,
              1.49661
            ],
            [
              0.02366,
              0.06642,
              0.11011,
              0.20051,
              0.38554,
              0.75276,
              1.49223
            ],
            [
              0.0258,
              0.06817,
              0.11134,
              0.20093,
              0.38414,
              0.75474,
              1.49201
            ],
            [
              0.02889,
              0.07069,
              0.11289,
              0.20188,
              0.38565,
              0.75394,
              1.49435
            ],
            [
              0.03296,
              0.07448,
              0.11536,
              0.20319,
              0.38517,
              0.75419,
              1.4947
            ],
            [
              0.038,
              0.0804,
              0.1199,
              0.2052,
              0.386,
              0.7534,
              1.4894
            ],
            [
              0.044,
              0.089,
              0.1267,
              0.2095,
              0.3884,
              0.7556,
              1.4929
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.1365,
              0.17806,
              0.20676,
              0.25408,
              0.33686,
              0.49221,
              0.79793
            ],
            [
              0.13831,
              0.17988,
              0.20858,
              0.25592,
              0.33867,
              0.494,
              0.80046
            ],
            [
              0.14068,
              0.18227,
              0.21097,
              0.2583,
              0.34108,
              0.49645,
              0.80215
            ],
            [
              0.14456,
              0.18615,
              0.21487,
              0.26219,
              0.34497,
              0.50013,
              0.80683
            ],
            [
              0.1508,
              0.19237,
              0.22108,
              0.26842,
              0.35122,
              0.50645,
              0.81271
            ],
            [
              0.16074,
              0.20226,
              0.23096,
              0.27832,
              0.36111,
              0.51649,
              0.82238
            ],
            [
              0.17635,
              0.2178,
              0.24648,
              0.29384,
              0.37666,
              0.53199,
              0.83852
            ],
            [
              0.20069,
              0.24193,
              0.27059,
              0.31797,
              0.4008,
              0.55624,
              0.86256
            ],
            [
              0.23557,
              0.27716,
              0.3059,
              0.35338,
              0.43634,
              0.59181,
              0.89785
            ],
            [
              0.27822,
              0.32156,
              0.35108,
              0.39961,
              0.48322,
              0.63879,
              0.94529
            ],
            [
              0.32927,
              0.37575,
              0.4061,
              0.45542,
              0.54042,
              0.69722,
              1.00372
            ],
            [
              0.39117,
              0.44207,
              0.47397,
              0.52447,
              0.61017,
              0.76817,
              1.07587
            ],
            [
              0.4683,
              0.5243,
              0.5587,
              0.6112,
              0.6981,
              0.8563,
              1.1652
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.07954,
              0.12024,
              0.15394,
              0.21868,
              0.34673,
              0.60179,
              1.11347
            ],
            [
              0.08219,
              0.12286,
              0.15661,
              0.22131,
              0.34942,
              0.60476,
              1.11534
            ],
            [
              0.08493,
              0.1256,
              0.15936,
              0.22398,
              0.35229,
              0.60832,
              1.11882
            ],
            [
              0.08879,
              0.12945,
              0.16315,
              0.22792,
              0.35603,
              0.61152,
              1.12278
            ],
            [
              0.09441,
              0.13501,
              0.16874,
              0.23348,
              0.36171,
              0.61683,
              1.12821
            ],
            [
              0.10263,
              0.1431,
              0.17681,
              0.24168,
              0.36965,
              0.62532,
              1.13652
            ],
            [
              0.1139,
              0.1546,
              0.18831,
              0.2532,
              0.38163,
              0.63726,
              1.14713
            ],
            [
              0.12765,
              0.16947,
              0.20341,
              0.26824,
              0.39675,
              0.65191,
              1.16336
            ],
            [
              0.14357,
              0.18696,
              0.22124,
              0.28638,
              0.41487,
              0.67106,
              1.18175
            ],
            [
              0.16086,
              0.20662,
              0.2414,
              0.30681,
              0.43518,
              0.69119,
              1.20129
            ],
            [
              0.17825,
              0.22769,
              0.26331,
              0.32888,
              0.45782,
              0.71342,
              1.22332
            ],
            [
              0.19387,
              0.24867,
              0.28567,
              0.35197,
              0.48087,
              0.73727,
              1.24737
            ],
            [
              0.2049,
              0.2668,
              0.3063,
              0.3742,
              0.5034,
              0.7604,
              1.2704
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02615,
              0.05788,
              0.0834,
              0.13156,
              0.22706,
              0.42477,
              0.83094
            ],
            [
              0.02615,
              0.05797,
              0.08343,
              0.13142,
              0.22698,
              0.4248,
              0.82977
            ],
            [
              0.02616,
              0.05795,
              0.08339,
              0.13151,
              0.22699,
              0.42497,
              0.83066
            ],
            [
              0.02615,
              0.05786,
              0.08338,
              0.13131,
              0.2271,
              0.42441,
              0.83063
            ],
            [
              0.02615,
              0.05786,
              0.08338,
              0.13155,
              0.22707,
              0.42423,
              0.83122
            ],
            [
              0.02614,
              0.05788,
              0.08339,
              0.13144,
              0.22705,
              0.42496,
              0.8307
            ],
            [
              0.0261,
              0.05789,
              0.0834,
              0.13149,
              0.22696,
              0.42474,
              0.82964
            ],
            [
              0.02595,
              0.05798,
              0.08346,
              0.13137,
              0.22684,
              0.42496,
              0.83045
            ],
            [
              0.02758,
              0.05886,
              0.08413,
              0.13175,
              0.22713,
              0.42502,
              0.83057
            ],
            [
              0.03121,
              0.06186,
              0.08715,
              0.13444,
              0.22873,
              0.42525,
              0.83098
            ],
            [
              0.03628,
              0.06635,
              0.09073,
              0.13813,
              0.23248,
              0.4274,
              0.8304
            ],
            [
              0.0421,
              0.0731,
              0.0965,
              0.1419,
              0.2353,
              0.4306,
              0.8336
            ],
            [
              0.0488,
              0.0818,
              0.1049,
              0.1482,
              0.2391,
              0.4331,
              0.8343
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02138,
              0.06524,
              0.10954,
              0.20092,
              0.38543,
              0.75648,
              1.50079
            ],
            [
              0.02137,
              0.06501,
              0.10961,
              0.2008,
              0.38556,
              0.75567,
              1.49632
            ],
            [
              0.02139,
              0.06501,
              0.10961,
              0.20109,
              0.38648,
              0.75724,
              1.49874
            ],
            [
              0.02139,
              0.06505,
              0.1095,
              0.20078,
              0.38537,
              0.75747,
              1.49915
            ],
            [
              0.02142,
              0.06507,
              0.10957,
              0.20098,
              0.38543,
              0.75634,
              1.50201
            ],
            [
              0.02148,
              0.06509,
              0.10959,
              0.20085,
              0.38546,
              0.75834,
              1.50122
            ],
            [
              0.0223,
              0.06535,
              0.10971,
              0.2008,
              0.38616,
              0.75593,
              1.497
            ],
            [
              0.02365,
              0.06652,
              0.11039,
              0.20113,
              0.38667,
              0.75685,
              1.50179
            ],
            [
              0.02578,
              0.06832,
              0.11166,
              0.20159,
              0.38546,
              0.75725,
              1.49664
            ],
            [
              0.02888,
              0.07077,
              0.11328,
              0.20254,
              0.38557,
              0.75638,
              1.49676
            ],
            [
              0.03306,
              0.07469,
              0.11596,
              0.20367,
              0.38632,
              0.75552,
              1.4989
            ],
            [
              0.0381,
              0.0807,
              0.1204,
              0.2061,
              0.3876,
              0.756,
              1.4947
            ],
            [
              0.0442,
              0.0898,
              0.1276,
              0.2107,
              0.3896,
              0.7586,
              1.4978
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.12444,
              0.16094,
              0.18653,
              0.23015,
              0.30964,
              0.4635,
              0.76977
            ],
            [
              0.12669,
              0.16321,
              0.1888,
              0.23242,
              0.31193,
              0.46579,
              0.77205
            ],
            [
              0.12951,
              0.16605,
              0.19162,
              0.23526,
              0.31476,
              0.4686,
              0.7747
            ],
            [
              0.13397,
              0.17047,
              0.19609,
              0.23974,
              0.3192,
              0.47302,
              0.77904
            ],
            [
              0.1409,
              0.17742,
              0.20305,
              0.24667,
              0.32616,
              0.47993,
              0.78623
            ],
            [
              0.15177,
              0.18826,
              0.21389,
              0.25755,
              0.33701,
              0.49074,
              0.79719
            ],
            [
              0.16849,
              0.20493,
              0.23056,
              0.27424,
              0.35375,
              0.5076,
              0.81351
            ],
            [
              0.19415,
              0.23048,
              0.25612,
              0.29984,
              0.3794,
              0.53308,
              0.83956
            ],
            [
              0.22972,
              0.26703,
              0.29287,
              0.33671,
              0.41633,
              0.57003,
              0.87645
            ],
            [
              0.27262,
              0.31223,
              0.33903,
              0.38394,
              0.46414,
              0.61815,
              0.92439
            ],
            [
              0.32361,
              0.36676,
              0.39465,
              0.44049,
              0.52192,
              0.67672,
              0.98272
            ],
            [
              0.38477,
              0.43267,
              0.46227,
              0.50947,
              0.59157,
              0.74707,
              1.05407
            ],
            [
              0.4599,
              0.5133,
              0.5454,
              0.5947,
              0.678,
              0.8336,
              1.1413
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.08453,
              0.1286,
              0.16311,
              0.22795,
              0.35572,
              0.61014,
              1.11897
            ],
            [
              0.08711,
              0.13116,
              0.16569,
              0.23053,
              0.35851,
              0.61279,
              1.12204
            ],
            [
              0.08977,
              0.13383,
              0.16832,
              0.23313,
              0.36094,
              0.61528,
              1.12492
            ],
            [
              0.09355,
              0.13758,
              0.17206,
              0.23689,
              0.36469,
              0.61914,
              1.12888
            ],
            [
              0.09908,
              0.14303,
              0.17755,
              0.24243,
              0.37025,
              0.62474,
              1.13371
            ],
            [
              0.10722,
              0.15103,
              0.18556,
              0.2505,
              0.37804,
              0.63307,
              1.14212
            ],
            [
              0.11864,
              0.16263,
              0.19713,
              0.2621,
              0.38999,
              0.64434,
              1.15353
            ],
            [
              0.13291,
              0.17815,
              0.21286,
              0.27791,
              0.40555,
              0.66016,
              1.16986
            ],
            [
              0.14973,
              0.19695,
              0.23221,
              0.29746,
              0.4255,
              0.68056,
              1.18965
            ],
            [
              0.16851,
              0.21862,
              0.25459,
              0.3204,
              0.4484,
              0.70349,
              1.21199
            ],
            [
              0.1882,
              0.24253,
              0.27961,
              0.34595,
              0.47412,
              0.72902,
              1.23812
            ],
            [
              0.20747,
              0.26757,
              0.30637,
              0.37367,
              0.50207,
              0.75737,
              1.26577
            ],
            [
              0.2245,
              0.2916,
              0.3333,
              0.4025,
              0.5315,
              0.7867,
              1.295
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.0225,
              0.05107,
              0.07531,
              0.12293,
              0.22017,
              0.42123,
              0.82925
            ],
            [
              0.02253,
              0.05107,
              0.07531,
              0.12293,
              0.22021,
              0.42113,
              0.82933
            ],
            [
              0.02248,
              0.05104,
              0.07551,
              0.1229,
              0.22017,
              0.42064,
              0.82997
            ],
            [
              0.02249,
              0.05106,
              0.07537,
              0.12286,
              0.22008,
              0.42091,
              0.82921
            ],
            [
              0.02249,
              0.05104,
              0.07532,
              0.12292,
              0.22009,
              0.42146,
              0.8298
            ],
            [
              0.02249,
              0.05106,
              0.07548,
              0.12282,
              0.22,
              0.42118,
              0.82883
            ],
            [
              0.02247,
              0.05108,
              0.07547,
              0.12288,
              0.22009,
              0.42091,
              0.82948
            ],
            [
              0.02253,
              0.05118,
              0.07538,
              0.12282,
              0.22018,
              0.4213,
              0.82859
            ],
            [
              0.02469,
              0.05254,
              0.07634,
              0.12347,
              0.22026,
              0.42133,
              0.83002
            ],
            [
              0.02847,
              0.05599,
              0.07961,
              0.12616,
              0.22172,
              0.42175,
              0.82889
            ],
            [
              0.03353,
              0.0607,
              0.08357,
              0.12962,
              0.2248,
              0.4231,
              0.83
            ],
            [
              0.0395,
              0.0676,
              0.0894,
              0.1337,
              0.2275,
              0.4248,
              0.8312
            ],
            [
              0.0463,
              0.0764,
              0.0977,
              0.1402,
              0.2309,
              0.4275,
              0.8316
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02487,
              0.0677,
              0.11107,
              0.20108,
              0.38427,
              0.75253,
              1.49672
            ],
            [
              0.02487,
              0.06773,
              0.11116,
              0.20106,
              0.38495,
              0.75271,
              1.49497
            ],
            [
              0.02487,
              0.06771,
              0.1111,
              0.20085,
              0.3842,
              0.75568,
              1.49038
            ],
            [
              0.02488,
              0.06773,
              0.11112,
              0.20081,
              0.38423,
              0.75557,
              1.49655
            ],
            [
              0.02486,
              0.06778,
              0.11116,
              0.20064,
              0.38427,
              0.75262,
              1.49657
            ],
            [
              0.02495,
              0.06791,
              0.11123,
              0.20111,
              0.38505,
              0.75514,
              1.49236
            ],
            [
              0.02581,
              0.06817,
              0.11133,
              0.20105,
              0.38423,
              0.75338,
              1.49665
            ],
            [
              0.02757,
              0.06951,
              0.11193,
              0.20105,
              0.3853,
              0.75432,
              1.49547
            ],
            [
              0.0302,
              0.07166,
              0.11361,
              0.20172,
              0.3844,
              0.75276,
              1.49145
            ],
            [
              0.03394,
              0.07492,
              0.11601,
              0.2033,
              0.38468,
              0.75331,
              1.496
            ],
            [
              0.03888,
              0.0796,
              0.11945,
              0.20507,
              0.38574,
              0.75332,
              1.4944
            ],
            [
              0.0447,
              0.0866,
              0.1248,
              0.2081,
              0.3873,
              0.7524,
              1.49
            ],
            [
              0.0515,
              0.0968,
              0.1334,
              0.2132,
              0.389,
              0.7548,
              1.4919
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.15962,
              0.20232,
              0.23155,
              0.27942,
              0.36279,
              0.51856,
              0.82497
            ],
            [
              0.1615,
              0.20421,
              0.2334,
              0.28132,
              0.36469,
              0.52051,
              0.82682
            ],
            [
              0.164,
              0.20671,
              0.23594,
              0.28377,
              0.36714,
              0.52299,
              0.82905
            ],
            [
              0.16792,
              0.21063,
              0.23983,
              0.28775,
              0.37115,
              0.52685,
              0.83381
            ],
            [
              0.17415,
              0.21683,
              0.24606,
              0.29399,
              0.37735,
              0.53318,
              0.83993
            ],
            [
              0.184,
              0.22668,
              0.25591,
              0.30386,
              0.38723,
              0.54295,
              0.84993
            ],
            [
              0.19938,
              0.24204,
              0.27125,
              0.31921,
              0.40258,
              0.55841,
              0.86524
            ],
            [
              0.22336,
              0.26593,
              0.29511,
              0.34308,
              0.42653,
              0.5824,
              0.88886
            ],
            [
              0.25994,
              0.30224,
              0.33138,
              0.37937,
              0.46284,
              0.61875,
              0.92555
            ],
            [
              0.30739,
              0.35124,
              0.38102,
              0.42957,
              0.51337,
              0.66929,
              0.97599
            ],
            [
              0.36424,
              0.41099,
              0.44148,
              0.49102,
              0.57632,
              0.73302,
              1.03982
            ],
            [
              0.43257,
              0.48377,
              0.51567,
              0.56627,
              0.65227,
              0.81067,
              1.11797
            ],
            [
              0.5165,
              0.5733,
              0.6075,
              0.6599,
              0.747,
              0.9054,
              1.2145
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.08465,
              0.12878,
              0.16342,
              0.22845,
              0.35685,
              0.61211,
              1.12357
            ],
            [
              0.0873,
              0.13147,
              0.16611,
              0.23124,
              0.35927,
              0.6151,
              1.12624
            ],
            [
              0.09004,
              0.1342,
              0.16885,
              0.23391,
              0.36229,
              0.61768,
              1.12802
            ],
            [
              0.09391,
              0.13805,
              0.17269,
              0.23775,
              0.36617,
              0.62159,
              1.13228
            ],
            [
              0.09953,
              0.14359,
              0.17824,
              0.24334,
              0.37178,
              0.62716,
              1.13751
            ],
            [
              0.10776,
              0.15169,
              0.18633,
              0.25149,
              0.37981,
              0.63488,
              1.14662
            ],
            [
              0.11926,
              0.16331,
              0.19795,
              0.26312,
              0.39155,
              0.64663,
              1.15843
            ],
            [
              0.13354,
              0.17887,
              0.21368,
              0.27901,
              0.40719,
              0.66288,
              1.17426
            ],
            [
              0.15034,
              0.19762,
              0.23304,
              0.29853,
              0.42707,
              0.68303,
              1.19415
            ],
            [
              0.16894,
              0.21913,
              0.25521,
              0.32121,
              0.44987,
              0.70579,
              1.21639
            ],
            [
              0.18817,
              0.24262,
              0.27981,
              0.34641,
              0.47522,
              0.73102,
              1.24212
            ],
            [
              0.20637,
              0.26667,
              0.30567,
              0.37337,
              0.50237,
              0.75817,
              1.26897
            ],
            [
              0.2211,
              0.2886,
              0.3307,
              0.4003,
              0.53,
              0.7865,
              1.2967
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02804,
              0.05968,
              0.08517,
              0.13309,
              0.22836,
              0.42537,
              0.83182
            ],
            [
              0.02804,
              0.05966,
              0.08519,
              0.13308,
              0.22834,
              0.42568,
              0.83159
            ],
            [
              0.02804,
              0.05968,
              0.08504,
              0.1331,
              0.22833,
              0.42595,
              0.83151
            ],
            [
              0.02805,
              0.05966,
              0.08509,
              0.13311,
              0.22842,
              0.42559,
              0.83108
            ],
            [
              0.02805,
              0.05966,
              0.08506,
              0.13285,
              0.22835,
              0.42583,
              0.83046
            ],
            [
              0.02805,
              0.05967,
              0.08506,
              0.13307,
              0.22839,
              0.42552,
              0.8312
            ],
            [
              0.02803,
              0.05968,
              0.08513,
              0.13286,
              0.22824,
              0.42575,
              0.83031
            ],
            [
              0.02795,
              0.05968,
              0.08513,
              0.13299,
              0.22839,
              0.42593,
              0.83127
            ],
            [
              0.02833,
              0.0599,
              0.0853,
              0.13322,
              0.22845,
              0.42598,
              0.83071
            ],
            [
              0.03179,
              0.06252,
              0.08765,
              0.13493,
              0.22935,
              0.42567,
              0.83039
            ],
            [
              0.03694,
              0.06662,
              0.0912,
              0.13845,
              0.2324,
              0.4275,
              0.8309
            ],
            [
              0.0433,
              0.0732,
              0.0965,
              0.1421,
              0.2358,
              0.4303,
              0.8327
            ],
            [
              0.0504,
              0.0824,
              0.1047,
              0.1481,
              0.2395,
              0.4332,
              0.8354
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02486,
              0.06795,
              0.11148,
              0.20158,
              0.38653,
              0.75779,
              1.49738
            ],
            [
              0.02488,
              0.0679,
              0.11146,
              0.2018,
              0.38605,
              0.75657,
              1.49558
            ],
            [
              0.02488,
              0.0679,
              0.11143,
              0.20143,
              0.38577,
              0.75554,
              1.49705
            ],
            [
              0.02488,
              0.06789,
              0.11146,
              0.20144,
              0.38578,
              0.75574,
              1.50178
            ],
            [
              0.02489,
              0.06795,
              0.11149,
              0.20142,
              0.38579,
              0.75554,
              1.49712
            ],
            [
              0.02496,
              0.06811,
              0.11152,
              0.20183,
              0.38561,
              0.75612,
              1.49957
            ],
            [
              0.02578,
              0.06834,
              0.11168,
              0.20141,
              0.38564,
              0.75686,
              1.49962
            ],
            [
              0.02756,
              0.06964,
              0.11233,
              0.20186,
              0.38664,
              0.75656,
              1.5011
            ],
            [
              0.03016,
              0.07183,
              0.11392,
              0.20246,
              0.38569,
              0.75552,
              1.49727
            ],
            [
              0.03388,
              0.07507,
              0.11635,
              0.20398,
              0.38632,
              0.75596,
              1.50158
            ],
            [
              0.03877,
              0.07967,
              0.11993,
              0.20582,
              0.38709,
              0.75596,
              1.4999
            ],
            [
              0.0447,
              0.0871,
              0.1255,
              0.209,
              0.3881,
              0.7554,
              1.4957
            ],
            [
              0.0517,
              0.0973,
              0.1342,
              0.2146,
              0.3906,
              0.7574,
              1.4975
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.17037,
              0.21277,
              0.24156,
              0.28905,
              0.372,
              0.52759,
              0.83458
            ],
            [
              0.17233,
              0.21474,
              0.24354,
              0.29103,
              0.374,
              0.52959,
              0.83659
            ],
            [
              0.1749,
              0.21732,
              0.24612,
              0.29362,
              0.37658,
              0.53218,
              0.83915
            ],
            [
              0.17896,
              0.22138,
              0.25026,
              0.29769,
              0.38066,
              0.53626,
              0.84323
            ],
            [
              0.18532,
              0.22774,
              0.25655,
              0.30405,
              0.38706,
              0.54277,
              0.84933
            ],
            [
              0.19532,
              0.23774,
              0.26659,
              0.31408,
              0.39707,
              0.55278,
              0.85969
            ],
            [
              0.21082,
              0.25324,
              0.28211,
              0.32963,
              0.41264,
              0.56836,
              0.87515
            ],
            [
              0.23482,
              0.27724,
              0.30611,
              0.35363,
              0.43666,
              0.5924,
              0.89886
            ],
            [
              0.27183,
              0.31407,
              0.34283,
              0.39036,
              0.47338,
              0.62905,
              0.93545
            ],
            [
              0.32221,
              0.36566,
              0.39494,
              0.44277,
              0.52595,
              0.68159,
              0.98839
            ],
            [
              0.38263,
              0.42887,
              0.45892,
              0.50782,
              0.59232,
              0.74862,
              1.05502
            ],
            [
              0.45497,
              0.50567,
              0.53707,
              0.58707,
              0.67227,
              0.82997,
              1.13717
            ],
            [
              0.5431,
              0.5994,
              0.6331,
              0.6848,
              0.771,
              0.9289,
              1.2373
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.08539,
              0.1346,
              0.17067,
              0.23644,
              0.36483,
              0.62034,
              1.13067
            ],
            [
              0.08805,
              0.13725,
              0.17333,
              0.23911,
              0.3675,
              0.62301,
              1.13334
            ],
            [
              0.09078,
              0.13998,
              0.17605,
              0.24194,
              0.37009,
              0.6253,
              1.13602
            ],
            [
              0.09463,
              0.1438,
              0.17988,
              0.24571,
              0.37409,
              0.6296,
              1.13948
            ],
            [
              0.10023,
              0.14934,
              0.1854,
              0.25132,
              0.37958,
              0.63493,
              1.14621
            ],
            [
              0.10843,
              0.15741,
              0.19347,
              0.25934,
              0.38784,
              0.64341,
              1.15372
            ],
            [
              0.11988,
              0.16901,
              0.20507,
              0.27107,
              0.39954,
              0.655,
              1.16623
            ],
            [
              0.13421,
              0.1848,
              0.22103,
              0.28705,
              0.41558,
              0.67076,
              1.18266
            ],
            [
              0.15109,
              0.20414,
              0.24108,
              0.30744,
              0.43616,
              0.69163,
              1.20345
            ],
            [
              0.16988,
              0.22658,
              0.26449,
              0.33167,
              0.4604,
              0.71629,
              1.22779
            ],
            [
              0.18947,
              0.2515,
              0.29088,
              0.35888,
              0.48812,
              0.74372,
              1.25382
            ],
            [
              0.20837,
              0.27747,
              0.31907,
              0.38847,
              0.51807,
              0.77427,
              1.28457
            ],
            [
              0.2243,
              0.3019,
              0.3471,
              0.4189,
              0.5492,
              0.805,
              1.3153
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.0289,
              0.06019,
              0.08537,
              0.13287,
              0.22822,
              0.42564,
              0.83203
            ],
            [
              0.02889,
              0.06019,
              0.08535,
              0.13286,
              0.22824,
              0.42564,
              0.83211
            ],
            [
              0.02888,
              0.06018,
              0.08539,
              0.1328,
              0.22818,
              0.42565,
              0.8321
            ],
            [
              0.0289,
              0.06017,
              0.08532,
              0.13284,
              0.22806,
              0.42568,
              0.83208
            ],
            [
              0.02887,
              0.06019,
              0.08534,
              0.13289,
              0.22832,
              0.42589,
              0.83193
            ],
            [
              0.02888,
              0.06019,
              0.0854,
              0.13301,
              0.22832,
              0.42609,
              0.83074
            ],
            [
              0.02891,
              0.06016,
              0.0854,
              0.13298,
              0.22829,
              0.4261,
              0.83138
            ],
            [
              0.02883,
              0.06015,
              0.08527,
              0.13283,
              0.22828,
              0.4261,
              0.83206
            ],
            [
              0.02872,
              0.06018,
              0.08545,
              0.1328,
              0.22799,
              0.42591,
              0.83203
            ],
            [
              0.03192,
              0.06232,
              0.08705,
              0.13393,
              0.22882,
              0.42586,
              0.83114
            ],
            [
              0.03707,
              0.06626,
              0.09068,
              0.13758,
              0.2318,
              0.4276,
              0.8326
            ],
            [
              0.0435,
              0.0728,
              0.0958,
              0.1416,
              0.2352,
              0.4303,
              0.8328
            ],
            [
              0.051,
              0.0819,
              0.1039,
              0.1471,
              0.2385,
              0.4332,
              0.8349
            ]
          ]
        },
        "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.00568,
            0.01137,
            0.02273,
            0.04546,
            0.09091,
            0.18183
          ],
          "values": [
            [
              0.02728,
              0.07223,
              0.11477,
              0.20313,
              0.38577,
              0.75575,
              1.49706
            ],
            [
              0.02727,
              0.07222,
              0.11476,
              0.20312,
              0.38577,
              0.75575,
              1.49708
            ],
            [
              0.02726,
              0.0723,
              0.11465,
              0.2033,
              0.38648,
              0.75767,
              1.49569
            ],
            [
              0.02724,
              0.07224,
              0.11477,
              0.20316,
              0.38594,
              0.75628,
              1.49704
            ],
            [
              0.02726,
              0.0723,
              0.11466,
              0.20327,
              0.38701,
              0.75685,
              1.49711
            ],
            [
              0.02735,
              0.07242,
              0.11487,
              0.20315,
              0.38575,
              0.75573,
              1.49702
            ],
            [
              0.02817,
              0.07281,
              0.11488,
              0.20335,
              0.38647,
              0.75592,
              1.50017
            ],
            [
              0.03011,
              0.07411,
              0.11565,
              0.20336,
              0.38616,
              0.75603,
              1.49918
            ],
            [
              0.03302,
              0.07693,
              0.11768,
              0.20458,
              0.38607,
              0.75626,
              1.50131
            ],
            [
              0.03721,
              0.0809,
              0.12086,
              0.20606,
              0.38706,
              0.75565,
              1.49636
            ],
            [
              0.04288,
              0.08684,
              0.12528,
              0.20871,
              0.3878,
              0.75528,
              1.4994
            ],
            [
              0.0499,
              0.0955,
              0.132,
              0.2129,
              0.39,
              0.7561,
              1.4965
            ],
            [
              0.0587,
              0.1076,
              0.1423,
              0.2193,
              0.3925,
              0.7575,
              1.4961
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "positive_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}