{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_lp__a32oi",
  "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.00289,
    "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.00811,
          0.00774,
          0.00787,
          0.00771,
          0.00775,
          0.00772,
          0.00773,
          0.00773,
          0.00773,
          0.00836,
          0.00836,
          0.00901,
          0.00902
        ]
      },
      "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.00474,
          0.00485,
          0.00465,
          0.00448,
          0.00469,
          0.00479,
          0.00482,
          0.0049,
          0.00493,
          0.0054,
          0.00535,
          0.00583,
          0.00584
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00272,
    "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.00834,
          0.00786,
          0.008,
          0.00777,
          0.00774,
          0.00768,
          0.00769,
          0.00771,
          0.00771,
          0.00834,
          0.00834,
          0.00899,
          0.009
        ]
      },
      "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.00496,
          0.00476,
          0.00468,
          0.00465,
          0.00479,
          0.00482,
          0.00493,
          0.00495,
          0.00501,
          0.00547,
          0.00549,
          0.00591,
          0.00588
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "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.00786,
          0.00762,
          0.00766,
          0.00764,
          0.00769,
          0.00762,
          0.00765,
          0.00767,
          0.00766,
          0.00829,
          0.0083,
          0.00909,
          0.00895
        ]
      },
      "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.00488,
          0.00483,
          0.00468,
          0.00467,
          0.00478,
          0.00487,
          0.00492,
          0.00497,
          0.00502,
          0.00548,
          0.0055,
          0.00596,
          0.00593
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00307,
    "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.00455,
          0.00455,
          0.00443,
          0.00437,
          0.00455,
          0.00461,
          0.00468,
          0.00473,
          0.0048,
          0.00524,
          0.00527,
          0.0057,
          0.00574
        ]
      },
      "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.00818,
          0.00779,
          0.00774,
          0.00768,
          0.00774,
          0.00768,
          0.00769,
          0.0077,
          0.00768,
          0.00848,
          0.00831,
          0.00895,
          0.00893
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00296,
    "clock": "false",
    "direction": "input",
    "internal_power": {
      "fall_power,hidden_pwr_template13": {
        "index_1": [
          0.01,
          0.01735,
          0.02602,
          0.03903,
          0.05855,
          0.08782,
          0.13172,
          0.19757,
          0.29634,
          0.44449,
          0.6667,
          1.0,
          1.5
        ],
        "values": [
          0.00443,
          0.00438,
          0.00412,
          0.00405,
          0.00429,
          0.00436,
          0.00441,
          0.00447,
          0.00451,
          0.00493,
          0.00487,
          0.00533,
          0.0053
        ]
      },
      "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.00768,
          0.00752,
          0.00762,
          0.00754,
          0.00756,
          0.00753,
          0.00754,
          0.00756,
          0.00756,
          0.00816,
          0.00817,
          0.00881,
          0.00885
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,Y": {
    "direction": "output",
    "function": "(!A1&!B1) | (!A1&!B2) | (!A2&!B1) | (!A3&!B1) | (!A2&!B2) | (!A3&!B2)",
    "internal_power": [
      {
        "fall_power,pwr_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.00612,
              -0.00734,
              -0.01003,
              -0.01327,
              -0.01715,
              -0.02181,
              -0.02739
            ],
            [
              0.00618,
              -0.0073,
              -0.00999,
              -0.01323,
              -0.01711,
              -0.02177,
              -0.02735
            ],
            [
              0.00619,
              -0.00726,
              -0.00996,
              -0.0132,
              -0.01708,
              -0.02173,
              -0.02732
            ],
            [
              0.00625,
              -0.00721,
              -0.0099,
              -0.01314,
              -0.01702,
              -0.02168,
              -0.02726
            ],
            [
              0.0063,
              -0.00716,
              -0.00986,
              -0.0131,
              -0.01698,
              -0.02163,
              -0.02722
            ],
            [
              0.00638,
              -0.0071,
              -0.0098,
              -0.01304,
              -0.01692,
              -0.02158,
              -0.02716
            ],
            [
              0.00648,
              -0.00704,
              -0.00973,
              -0.01298,
              -0.01686,
              -0.02152,
              -0.0271
            ],
            [
              0.0066,
              -0.00696,
              -0.00966,
              -0.01291,
              -0.01679,
              -0.02146,
              -0.02705
            ],
            [
              0.00673,
              -0.00688,
              -0.00958,
              -0.01283,
              -0.01672,
              -0.02139,
              -0.02698
            ],
            [
              0.00688,
              -0.00677,
              -0.00948,
              -0.01274,
              -0.01664,
              -0.02131,
              -0.02691
            ],
            [
              0.00701,
              -0.00667,
              -0.00938,
              -0.01265,
              -0.01655,
              -0.02123,
              -0.02683
            ],
            [
              0.00713,
              -0.00655,
              -0.00927,
              -0.01254,
              -0.01646,
              -0.02114,
              -0.02675
            ],
            [
              0.00716,
              -0.00646,
              -0.00919,
              -0.01246,
              -0.01638,
              -0.02107,
              -0.02668
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.02431,
              0.03768,
              0.04033,
              0.04354,
              0.04738,
              0.05199,
              0.0575
            ],
            [
              0.0243,
              0.03769,
              0.04037,
              0.04357,
              0.04741,
              0.05198,
              0.05755
            ],
            [
              0.02427,
              0.03771,
              0.04038,
              0.04359,
              0.04743,
              0.05201,
              0.05757
            ],
            [
              0.02422,
              0.03771,
              0.04038,
              0.04358,
              0.04743,
              0.05202,
              0.05755
            ],
            [
              0.02416,
              0.0377,
              0.04037,
              0.04357,
              0.04741,
              0.05203,
              0.05756
            ],
            [
              0.0241,
              0.03768,
              0.04033,
              0.04357,
              0.0474,
              0.05201,
              0.05757
            ],
            [
              0.02403,
              0.03764,
              0.04031,
              0.04354,
              0.04738,
              0.05201,
              0.05751
            ],
            [
              0.02396,
              0.03758,
              0.04027,
              0.04347,
              0.04734,
              0.05195,
              0.05748
            ],
            [
              0.0239,
              0.03752,
              0.04021,
              0.04344,
              0.0473,
              0.05192,
              0.05746
            ],
            [
              0.02386,
              0.03746,
              0.04016,
              0.04338,
              0.04723,
              0.05188,
              0.0574
            ],
            [
              0.02383,
              0.03737,
              0.04007,
              0.04331,
              0.04717,
              0.0518,
              0.05737
            ],
            [
              0.02382,
              0.03731,
              0.04,
              0.04323,
              0.04709,
              0.05171,
              0.05729
            ],
            [
              0.02385,
              0.03726,
              0.03994,
              0.04317,
              0.04703,
              0.05167,
              0.05721
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.00616,
              -0.0073,
              -0.00999,
              -0.01323,
              -0.01711,
              -0.02177,
              -0.02735
            ],
            [
              0.0062,
              -0.00726,
              -0.00995,
              -0.01319,
              -0.01707,
              -0.02173,
              -0.02732
            ],
            [
              0.00623,
              -0.00723,
              -0.00992,
              -0.01316,
              -0.01704,
              -0.0217,
              -0.02728
            ],
            [
              0.00627,
              -0.00719,
              -0.00989,
              -0.01313,
              -0.01701,
              -0.02167,
              -0.02725
            ],
            [
              0.00632,
              -0.00715,
              -0.00984,
              -0.01308,
              -0.01696,
              -0.02162,
              -0.0272
            ],
            [
              0.00639,
              -0.00709,
              -0.00978,
              -0.01302,
              -0.0169,
              -0.02156,
              -0.02714
            ],
            [
              0.00647,
              -0.00702,
              -0.00972,
              -0.01296,
              -0.01684,
              -0.0215,
              -0.02709
            ],
            [
              0.00658,
              -0.00696,
              -0.00966,
              -0.0129,
              -0.01679,
              -0.02145,
              -0.02703
            ],
            [
              0.0067,
              -0.00688,
              -0.00958,
              -0.01283,
              -0.01672,
              -0.02138,
              -0.02697
            ],
            [
              0.00685,
              -0.00678,
              -0.00949,
              -0.01274,
              -0.01664,
              -0.02131,
              -0.0269
            ],
            [
              0.00698,
              -0.00668,
              -0.00939,
              -0.01266,
              -0.01656,
              -0.02123,
              -0.02683
            ],
            [
              0.00712,
              -0.00656,
              -0.00928,
              -0.01255,
              -0.01646,
              -0.02114,
              -0.02675
            ],
            [
              0.0072,
              -0.00646,
              -0.00918,
              -0.01245,
              -0.01636,
              -0.02105,
              -0.02666
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.02593,
              0.03927,
              0.04193,
              0.04512,
              0.04896,
              0.05356,
              0.05908
            ],
            [
              0.02592,
              0.03925,
              0.0419,
              0.04511,
              0.04894,
              0.05355,
              0.05907
            ],
            [
              0.0259,
              0.03924,
              0.04189,
              0.0451,
              0.04893,
              0.05353,
              0.05905
            ],
            [
              0.02587,
              0.03924,
              0.0419,
              0.0451,
              0.04892,
              0.05353,
              0.05906
            ],
            [
              0.02583,
              0.03921,
              0.04189,
              0.04507,
              0.04892,
              0.05351,
              0.05904
            ],
            [
              0.02578,
              0.03919,
              0.04186,
              0.04507,
              0.0489,
              0.05351,
              0.05903
            ],
            [
              0.02573,
              0.03917,
              0.04182,
              0.04504,
              0.04887,
              0.05348,
              0.059
            ],
            [
              0.02566,
              0.03914,
              0.04181,
              0.04501,
              0.04886,
              0.05344,
              0.05899
            ],
            [
              0.02563,
              0.0391,
              0.04179,
              0.04501,
              0.04885,
              0.05345,
              0.05898
            ],
            [
              0.02559,
              0.03906,
              0.04174,
              0.04495,
              0.04881,
              0.05342,
              0.05894
            ],
            [
              0.02555,
              0.03902,
              0.0417,
              0.0449,
              0.04877,
              0.05336,
              0.05892
            ],
            [
              0.02555,
              0.03898,
              0.04166,
              0.04487,
              0.04873,
              0.05334,
              0.05885
            ],
            [
              0.02559,
              0.03895,
              0.04162,
              0.04482,
              0.04869,
              0.0533,
              0.05884
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.00621,
              -0.00724,
              -0.00993,
              -0.01318,
              -0.01706,
              -0.02171,
              -0.0273
            ],
            [
              0.00625,
              -0.0072,
              -0.0099,
              -0.01314,
              -0.01702,
              -0.02168,
              -0.02726
            ],
            [
              0.00627,
              -0.00717,
              -0.00987,
              -0.01311,
              -0.01699,
              -0.02165,
              -0.02723
            ],
            [
              0.00631,
              -0.00714,
              -0.00983,
              -0.01307,
              -0.01695,
              -0.02161,
              -0.02719
            ],
            [
              0.00638,
              -0.00708,
              -0.00977,
              -0.01301,
              -0.01689,
              -0.02155,
              -0.02713
            ],
            [
              0.00644,
              -0.00703,
              -0.00972,
              -0.01296,
              -0.01684,
              -0.0215,
              -0.02708
            ],
            [
              0.00653,
              -0.00696,
              -0.00966,
              -0.0129,
              -0.01679,
              -0.02144,
              -0.02703
            ],
            [
              0.00664,
              -0.0069,
              -0.0096,
              -0.01284,
              -0.01673,
              -0.02139,
              -0.02698
            ],
            [
              0.00676,
              -0.00682,
              -0.00952,
              -0.01277,
              -0.01666,
              -0.02133,
              -0.02692
            ],
            [
              0.00691,
              -0.00672,
              -0.00943,
              -0.01268,
              -0.01658,
              -0.02125,
              -0.02684
            ],
            [
              0.00704,
              -0.00662,
              -0.00933,
              -0.0126,
              -0.0165,
              -0.02117,
              -0.02677
            ],
            [
              0.00716,
              -0.0065,
              -0.00922,
              -0.01249,
              -0.0164,
              -0.02108,
              -0.02669
            ],
            [
              0.00724,
              -0.0064,
              -0.00913,
              -0.01239,
              -0.0163,
              -0.02099,
              -0.0266
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.02722,
              0.04055,
              0.04321,
              0.04641,
              0.05022,
              0.05484,
              0.06036
            ],
            [
              0.02718,
              0.04053,
              0.04318,
              0.04638,
              0.0502,
              0.0548,
              0.06033
            ],
            [
              0.02716,
              0.0405,
              0.04316,
              0.04636,
              0.05019,
              0.05479,
              0.06032
            ],
            [
              0.02714,
              0.04049,
              0.04314,
              0.04634,
              0.05018,
              0.05476,
              0.0603
            ],
            [
              0.02711,
              0.04046,
              0.04312,
              0.04632,
              0.05015,
              0.05474,
              0.06027
            ],
            [
              0.02708,
              0.04044,
              0.04311,
              0.04631,
              0.05013,
              0.05473,
              0.06025
            ],
            [
              0.02705,
              0.04043,
              0.04309,
              0.04629,
              0.05012,
              0.05472,
              0.06023
            ],
            [
              0.02702,
              0.0404,
              0.04308,
              0.04628,
              0.05013,
              0.05469,
              0.06021
            ],
            [
              0.02699,
              0.04039,
              0.04305,
              0.04626,
              0.05011,
              0.05468,
              0.06021
            ],
            [
              0.02697,
              0.04039,
              0.04305,
              0.04625,
              0.05011,
              0.05469,
              0.06024
            ],
            [
              0.02694,
              0.04034,
              0.04302,
              0.04624,
              0.05008,
              0.05469,
              0.0602
            ],
            [
              0.02695,
              0.04032,
              0.043,
              0.04621,
              0.05005,
              0.05466,
              0.0602
            ],
            [
              0.027,
              0.04031,
              0.04299,
              0.0462,
              0.05003,
              0.05464,
              0.06019
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.00269,
              -0.01095,
              -0.01365,
              -0.01689,
              -0.02078,
              -0.02544,
              -0.03102
            ],
            [
              0.00275,
              -0.01095,
              -0.01367,
              -0.01691,
              -0.02079,
              -0.02545,
              -0.03103
            ],
            [
              0.00282,
              -0.01094,
              -0.01365,
              -0.0169,
              -0.02079,
              -0.02545,
              -0.03104
            ],
            [
              0.00292,
              -0.01094,
              -0.01365,
              -0.0169,
              -0.02079,
              -0.02545,
              -0.03105
            ],
            [
              0.00302,
              -0.01093,
              -0.01364,
              -0.01689,
              -0.02078,
              -0.02545,
              -0.03104
            ],
            [
              0.00316,
              -0.01088,
              -0.01361,
              -0.01687,
              -0.02077,
              -0.02544,
              -0.03104
            ],
            [
              0.0033,
              -0.01083,
              -0.01356,
              -0.01683,
              -0.02074,
              -0.02542,
              -0.03102
            ],
            [
              0.00345,
              -0.01074,
              -0.01349,
              -0.01677,
              -0.02068,
              -0.02537,
              -0.03098
            ],
            [
              0.00358,
              -0.01063,
              -0.01338,
              -0.01667,
              -0.0206,
              -0.0253,
              -0.03093
            ],
            [
              0.00368,
              -0.01049,
              -0.01325,
              -0.01655,
              -0.0205,
              -0.0252,
              -0.03084
            ],
            [
              0.00375,
              -0.01033,
              -0.0131,
              -0.01641,
              -0.02036,
              -0.02508,
              -0.03072
            ],
            [
              0.00375,
              -0.01018,
              -0.01295,
              -0.01625,
              -0.02021,
              -0.02493,
              -0.03058
            ],
            [
              0.00366,
              -0.01008,
              -0.01281,
              -0.01612,
              -0.02007,
              -0.02478,
              -0.03044
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.01159,
              0.02508,
              0.02775,
              0.03096,
              0.03481,
              0.03942,
              0.04497
            ],
            [
              0.01151,
              0.02511,
              0.02778,
              0.03099,
              0.03484,
              0.03946,
              0.04499
            ],
            [
              0.01149,
              0.0251,
              0.02778,
              0.03099,
              0.03485,
              0.03946,
              0.04501
            ],
            [
              0.01143,
              0.0251,
              0.02777,
              0.03098,
              0.03483,
              0.03948,
              0.04501
            ],
            [
              0.01134,
              0.02508,
              0.02776,
              0.03097,
              0.03483,
              0.03944,
              0.04502
            ],
            [
              0.01126,
              0.02503,
              0.02772,
              0.03096,
              0.0348,
              0.03944,
              0.045
            ],
            [
              0.01117,
              0.02496,
              0.02766,
              0.03089,
              0.03476,
              0.03937,
              0.04496
            ],
            [
              0.01109,
              0.0249,
              0.0276,
              0.03082,
              0.03468,
              0.03931,
              0.04485
            ],
            [
              0.01103,
              0.02478,
              0.02749,
              0.03074,
              0.03462,
              0.03926,
              0.04481
            ],
            [
              0.01101,
              0.02468,
              0.02738,
              0.03063,
              0.03452,
              0.03914,
              0.04471
            ],
            [
              0.01103,
              0.02459,
              0.02727,
              0.03051,
              0.03439,
              0.03904,
              0.04461
            ],
            [
              0.01107,
              0.02451,
              0.02719,
              0.03042,
              0.03432,
              0.03893,
              0.0445
            ],
            [
              0.01119,
              0.02448,
              0.02714,
              0.03038,
              0.03423,
              0.03886,
              0.0444
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.00271,
              -0.01094,
              -0.01365,
              -0.0169,
              -0.02078,
              -0.02544,
              -0.03103
            ],
            [
              0.00274,
              -0.01096,
              -0.01367,
              -0.01693,
              -0.02081,
              -0.02548,
              -0.03106
            ],
            [
              0.00285,
              -0.01095,
              -0.01366,
              -0.01691,
              -0.0208,
              -0.02547,
              -0.03105
            ],
            [
              0.00296,
              -0.01096,
              -0.01367,
              -0.01692,
              -0.02082,
              -0.02548,
              -0.03107
            ],
            [
              0.00308,
              -0.01094,
              -0.01366,
              -0.01692,
              -0.02081,
              -0.02548,
              -0.03108
            ],
            [
              0.00323,
              -0.0109,
              -0.01363,
              -0.01689,
              -0.02079,
              -0.02547,
              -0.03107
            ],
            [
              0.0034,
              -0.01083,
              -0.01357,
              -0.01684,
              -0.02075,
              -0.02544,
              -0.03104
            ],
            [
              0.00357,
              -0.01074,
              -0.01348,
              -0.01677,
              -0.02069,
              -0.02539,
              -0.031
            ],
            [
              0.00373,
              -0.0106,
              -0.01336,
              -0.01666,
              -0.02059,
              -0.0253,
              -0.03093
            ],
            [
              0.00386,
              -0.01043,
              -0.0132,
              -0.01651,
              -0.02046,
              -0.02518,
              -0.03082
            ],
            [
              0.00396,
              -0.01023,
              -0.01301,
              -0.01633,
              -0.02029,
              -0.02503,
              -0.03068
            ],
            [
              0.00401,
              -0.01004,
              -0.01282,
              -0.01614,
              -0.0201,
              -0.02484,
              -0.03051
            ],
            [
              0.004,
              -0.00988,
              -0.01264,
              -0.01596,
              -0.01992,
              -0.02466,
              -0.03033
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.01335,
              0.02677,
              0.02946,
              0.03263,
              0.03648,
              0.04108,
              0.04659
            ],
            [
              0.0133,
              0.02677,
              0.02944,
              0.03265,
              0.0365,
              0.0411,
              0.04664
            ],
            [
              0.01324,
              0.02675,
              0.02942,
              0.03263,
              0.03647,
              0.0411,
              0.04661
            ],
            [
              0.01319,
              0.02673,
              0.0294,
              0.03262,
              0.03646,
              0.04108,
              0.0466
            ],
            [
              0.01312,
              0.0267,
              0.02937,
              0.03258,
              0.03644,
              0.04106,
              0.04659
            ],
            [
              0.01304,
              0.02668,
              0.02934,
              0.03256,
              0.0364,
              0.04104,
              0.04658
            ],
            [
              0.01295,
              0.02662,
              0.0293,
              0.03253,
              0.03637,
              0.04099,
              0.04651
            ],
            [
              0.01287,
              0.02655,
              0.02924,
              0.03246,
              0.03632,
              0.04094,
              0.04647
            ],
            [
              0.01281,
              0.02647,
              0.02917,
              0.0324,
              0.03626,
              0.04089,
              0.04644
            ],
            [
              0.01278,
              0.02638,
              0.02909,
              0.03233,
              0.03618,
              0.04082,
              0.04635
            ],
            [
              0.01278,
              0.0263,
              0.029,
              0.03224,
              0.0361,
              0.04072,
              0.04629
            ],
            [
              0.01283,
              0.02624,
              0.02894,
              0.03216,
              0.03601,
              0.04063,
              0.04618
            ],
            [
              0.01297,
              0.02622,
              0.0289,
              0.03212,
              0.03598,
              0.04056,
              0.04611
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.02463,
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.22174,
              0.49542,
              0.54787,
              0.61052,
              0.68515,
              0.77446,
              0.88106
            ],
            [
              0.22397,
              0.49767,
              0.55003,
              0.61269,
              0.68738,
              0.77662,
              0.88333
            ],
            [
              0.22666,
              0.50037,
              0.55276,
              0.61545,
              0.69013,
              0.77938,
              0.88603
            ],
            [
              0.23084,
              0.50475,
              0.55717,
              0.61989,
              0.69458,
              0.78387,
              0.89046
            ],
            [
              0.23737,
              0.51141,
              0.56389,
              0.62661,
              0.70131,
              0.79057,
              0.89716
            ],
            [
              0.24727,
              0.5217,
              0.57414,
              0.63688,
              0.71166,
              0.80094,
              0.90758
            ],
            [
              0.26244,
              0.53735,
              0.5899,
              0.65271,
              0.72744,
              0.81677,
              0.92343
            ],
            [
              0.28561,
              0.56116,
              0.61375,
              0.67658,
              0.75139,
              0.84086,
              0.94766
            ],
            [
              0.32087,
              0.59714,
              0.64983,
              0.71274,
              0.78765,
              0.87715,
              0.98395
            ],
            [
              0.37561,
              0.65169,
              0.70439,
              0.76739,
              0.84239,
              0.93199,
              1.03889
            ],
            [
              0.45432,
              0.73422,
              0.78702,
              0.85002,
              0.92512,
              1.01482,
              1.12182
            ],
            [
              0.54847,
              0.85977,
              0.91237,
              0.97517,
              1.04927,
              1.13907,
              1.24607
            ],
            [
              0.6584,
              1.0364,
              1.096,
              1.1629,
              1.2404,
              1.3291,
              1.4358
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.21138,
              0.53538,
              0.59969,
              0.67744,
              0.76961,
              0.8801,
              1.01247
            ],
            [
              0.21455,
              0.5397,
              0.60391,
              0.68155,
              0.77389,
              0.88401,
              1.01804
            ],
            [
              0.21826,
              0.54407,
              0.60878,
              0.68605,
              0.7786,
              0.88861,
              1.02242
            ],
            [
              0.22387,
              0.55088,
              0.61528,
              0.69288,
              0.78504,
              0.89631,
              1.02828
            ],
            [
              0.23253,
              0.56039,
              0.62532,
              0.70264,
              0.79534,
              0.90566,
              1.03821
            ],
            [
              0.24596,
              0.57484,
              0.63998,
              0.71657,
              0.81002,
              0.9201,
              1.05372
            ],
            [
              0.26691,
              0.59704,
              0.6615,
              0.73891,
              0.83175,
              0.94313,
              1.07533
            ],
            [
              0.29903,
              0.62931,
              0.6941,
              0.772,
              0.86436,
              0.97566,
              1.10826
            ],
            [
              0.34741,
              0.67766,
              0.74255,
              0.82015,
              0.91255,
              1.02385,
              1.15705
            ],
            [
              0.41789,
              0.74779,
              0.81259,
              0.89099,
              0.98419,
              1.09579,
              1.22889
            ],
            [
              0.51142,
              0.85032,
              0.91542,
              0.99302,
              1.08652,
              1.19812,
              1.33142
            ],
            [
              0.62977,
              1.00147,
              1.06617,
              1.14407,
              1.23687,
              1.34847,
              1.48237
            ],
            [
              0.7789,
              1.2219,
              1.2898,
              1.3684,
              1.4612,
              1.5732,
              1.7068
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.16936,
              0.51663,
              0.58496,
              0.6669,
              0.76489,
              0.883,
              1.02426
            ],
            [
              0.16935,
              0.51666,
              0.5847,
              0.66644,
              0.76528,
              0.88307,
              1.02387
            ],
            [
              0.16931,
              0.51652,
              0.58473,
              0.66722,
              0.76537,
              0.88313,
              1.02404
            ],
            [
              0.16933,
              0.51653,
              0.58496,
              0.66716,
              0.76518,
              0.88294,
              1.02334
            ],
            [
              0.16948,
              0.51615,
              0.58496,
              0.66707,
              0.76519,
              0.88259,
              1.02377
            ],
            [
              0.16947,
              0.51648,
              0.58495,
              0.6673,
              0.7653,
              0.88333,
              1.02353
            ],
            [
              0.1694,
              0.51626,
              0.58494,
              0.66708,
              0.76502,
              0.88331,
              1.02422
            ],
            [
              0.16959,
              0.51612,
              0.58499,
              0.66724,
              0.76534,
              0.88277,
              1.02337
            ],
            [
              0.16834,
              0.5163,
              0.58497,
              0.66667,
              0.7652,
              0.88296,
              1.02362
            ],
            [
              0.17765,
              0.51645,
              0.58453,
              0.66685,
              0.76518,
              0.883,
              1.02409
            ],
            [
              0.20672,
              0.5214,
              0.5871,
              0.6675,
              0.7644,
              0.8824,
              1.0233
            ],
            [
              0.2499,
              0.5555,
              0.6159,
              0.6894,
              0.7804,
              0.8911,
              1.0277
            ],
            [
              0.3111,
              0.6397,
              0.6943,
              0.7606,
              0.8424,
              0.9433,
              1.0678
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.13827,
              0.56115,
              0.64552,
              0.74572,
              0.86727,
              1.01239,
              1.18428
            ],
            [
              0.13832,
              0.56111,
              0.64546,
              0.74576,
              0.86712,
              1.01184,
              1.18627
            ],
            [
              0.1384,
              0.56118,
              0.64497,
              0.74607,
              0.86704,
              1.01161,
              1.18667
            ],
            [
              0.1384,
              0.56043,
              0.64525,
              0.74586,
              0.86732,
              1.01226,
              1.18465
            ],
            [
              0.13855,
              0.5611,
              0.64484,
              0.74614,
              0.86682,
              1.01215,
              1.18468
            ],
            [
              0.13881,
              0.56085,
              0.64458,
              0.74687,
              0.86704,
              1.01138,
              1.18628
            ],
            [
              0.13885,
              0.56016,
              0.64536,
              0.74628,
              0.86729,
              1.01243,
              1.18454
            ],
            [
              0.13919,
              0.56044,
              0.64522,
              0.74588,
              0.86711,
              1.01257,
              1.18511
            ],
            [
              0.13982,
              0.56083,
              0.64482,
              0.7464,
              0.86673,
              1.01155,
              1.18508
            ],
            [
              0.14442,
              0.56106,
              0.64546,
              0.74606,
              0.86661,
              1.0121,
              1.1865
            ],
            [
              0.1655,
              0.5605,
              0.6453,
              0.7462,
              0.8665,
              1.0124,
              1.1863
            ],
            [
              0.2072,
              0.5737,
              0.6535,
              0.7506,
              0.8681,
              1.0127,
              1.1857
            ],
            [
              0.2652,
              0.6204,
              0.6925,
              0.7833,
              0.8933,
              1.0288,
              1.1945
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A2&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.16374,
              0.44175,
              0.49434,
              0.55716,
              0.63196,
              0.7213,
              0.82797
            ],
            [
              0.1658,
              0.44379,
              0.49639,
              0.5592,
              0.63401,
              0.72334,
              0.83004
            ],
            [
              0.16836,
              0.44642,
              0.49901,
              0.56182,
              0.63663,
              0.72596,
              0.83265
            ],
            [
              0.17234,
              0.45056,
              0.50319,
              0.566,
              0.64082,
              0.73016,
              0.83684
            ],
            [
              0.17854,
              0.45698,
              0.50959,
              0.57247,
              0.64728,
              0.73666,
              0.84336
            ],
            [
              0.18821,
              0.46695,
              0.51959,
              0.58245,
              0.65731,
              0.74673,
              0.85347
            ],
            [
              0.20307,
              0.48233,
              0.53501,
              0.5979,
              0.67279,
              0.76225,
              0.86903
            ],
            [
              0.22615,
              0.50593,
              0.55867,
              0.62162,
              0.69656,
              0.78603,
              0.89286
            ],
            [
              0.26222,
              0.54188,
              0.59469,
              0.65771,
              0.73271,
              0.82225,
              0.92915
            ],
            [
              0.3178,
              0.59635,
              0.64929,
              0.71239,
              0.78749,
              0.87709,
              0.98399
            ],
            [
              0.38465,
              0.67932,
              0.73212,
              0.79512,
              0.87022,
              0.95992,
              1.06692
            ],
            [
              0.46377,
              0.80587,
              0.85837,
              0.92107,
              0.99597,
              1.08547,
              1.19227
            ],
            [
              0.5543,
              0.9715,
              1.0345,
              1.1055,
              1.1837,
              1.274,
              1.3803
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.23244,
              0.65542,
              0.73964,
              0.8411,
              0.9621,
              1.10717,
              1.28157
            ],
            [
              0.23541,
              0.65989,
              0.74402,
              0.84462,
              0.96625,
              1.11074,
              1.28414
            ],
            [
              0.23894,
              0.6645,
              0.74861,
              0.8493,
              0.97102,
              1.11582,
              1.28902
            ],
            [
              0.24419,
              0.67114,
              0.75509,
              0.85677,
              0.97798,
              1.12357,
              1.29768
            ],
            [
              0.25243,
              0.68086,
              0.76502,
              0.86619,
              0.98781,
              1.13341,
              1.30711
            ],
            [
              0.26544,
              0.69503,
              0.77944,
              0.88126,
              1.00222,
              1.14682,
              1.32232
            ],
            [
              0.28585,
              0.71664,
              0.80086,
              0.90293,
              1.02433,
              1.16933,
              1.34473
            ],
            [
              0.31754,
              0.74869,
              0.83277,
              0.93496,
              1.05676,
              1.20236,
              1.37576
            ],
            [
              0.36508,
              0.79575,
              0.88015,
              0.98265,
              1.10435,
              1.25075,
              1.42535
            ],
            [
              0.43347,
              0.86379,
              0.94889,
              1.05049,
              1.17219,
              1.31889,
              1.49279
            ],
            [
              0.52402,
              0.96052,
              1.04542,
              1.14702,
              1.26892,
              1.41472,
              1.59112
            ],
            [
              0.63697,
              1.09977,
              1.18477,
              1.28647,
              1.40857,
              1.55477,
              1.72867
            ],
            [
              0.7817,
              1.3038,
              1.3889,
              1.4908,
              1.613,
              1.7589,
              1.9335
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.14414,
              0.48627,
              0.55409,
              0.63555,
              0.73328,
              0.85067,
              0.99201
            ],
            [
              0.14417,
              0.48655,
              0.55427,
              0.63587,
              0.73388,
              0.85121,
              0.99196
            ],
            [
              0.1441,
              0.48616,
              0.55416,
              0.63572,
              0.73362,
              0.85136,
              0.99188
            ],
            [
              0.14417,
              0.48654,
              0.55398,
              0.63603,
              0.73373,
              0.85125,
              0.99202
            ],
            [
              0.1442,
              0.48651,
              0.55441,
              0.63554,
              0.73383,
              0.85105,
              0.99129
            ],
            [
              0.14397,
              0.4865,
              0.55445,
              0.63619,
              0.73397,
              0.85106,
              0.9913
            ],
            [
              0.1436,
              0.48652,
              0.55442,
              0.63615,
              0.73408,
              0.85135,
              0.99135
            ],
            [
              0.1406,
              0.48652,
              0.55451,
              0.63609,
              0.73405,
              0.85147,
              0.99164
            ],
            [
              0.14348,
              0.48617,
              0.55429,
              0.63608,
              0.73395,
              0.85133,
              0.99136
            ],
            [
              0.16068,
              0.48551,
              0.55359,
              0.63562,
              0.73383,
              0.85067,
              0.99189
            ],
            [
              0.19028,
              0.49554,
              0.5597,
              0.6377,
              0.734,
              0.8509,
              0.9918
            ],
            [
              0.2326,
              0.5371,
              0.5951,
              0.6666,
              0.7555,
              0.8644,
              0.9977
            ],
            [
              0.2916,
              0.6283,
              0.6809,
              0.7455,
              0.8256,
              0.9237,
              1.0456
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.13999,
              0.69557,
              0.80778,
              0.94072,
              1.09992,
              1.29325,
              1.522
            ],
            [
              0.14013,
              0.69656,
              0.80692,
              0.94099,
              1.10119,
              1.29142,
              1.52337
            ],
            [
              0.14026,
              0.69651,
              0.80669,
              0.94135,
              1.10117,
              1.29171,
              1.52334
            ],
            [
              0.14026,
              0.696,
              0.80772,
              0.94085,
              1.10014,
              1.29062,
              1.52162
            ],
            [
              0.14062,
              0.69651,
              0.8069,
              0.94144,
              1.10092,
              1.29147,
              1.52302
            ],
            [
              0.14093,
              0.69556,
              0.80771,
              0.94039,
              1.1006,
              1.29363,
              1.52297
            ],
            [
              0.14118,
              0.69605,
              0.80764,
              0.94087,
              1.10003,
              1.29364,
              1.52135
            ],
            [
              0.14151,
              0.69606,
              0.8075,
              0.94141,
              1.10102,
              1.29191,
              1.52343
            ],
            [
              0.14208,
              0.69557,
              0.80739,
              0.94036,
              1.10022,
              1.29048,
              1.52164
            ],
            [
              0.14621,
              0.69634,
              0.80722,
              0.9413,
              1.1003,
              1.2923,
              1.521
            ],
            [
              0.1648,
              0.6964,
              0.8076,
              0.94,
              1.101,
              1.2926,
              1.5199
            ],
            [
              0.1966,
              0.703,
              0.8105,
              0.9417,
              1.1009,
              1.292,
              1.522
            ],
            [
              0.2395,
              0.738,
              0.8394,
              0.9636,
              1.1142,
              1.2998,
              1.5224
            ]
          ]
        },
        "sdf_cond": "(A2&A3&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A2&A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.1684,
              0.44573,
              0.49831,
              0.56112,
              0.63592,
              0.72529,
              0.832
            ],
            [
              0.17047,
              0.44783,
              0.50037,
              0.56318,
              0.63799,
              0.72736,
              0.83408
            ],
            [
              0.173,
              0.45038,
              0.50297,
              0.56577,
              0.64059,
              0.72994,
              0.83667
            ],
            [
              0.177,
              0.45456,
              0.50713,
              0.56995,
              0.64477,
              0.73415,
              0.84086
            ],
            [
              0.18324,
              0.46099,
              0.51356,
              0.5764,
              0.65125,
              0.74062,
              0.84737
            ],
            [
              0.19288,
              0.47093,
              0.52356,
              0.58644,
              0.6613,
              0.75072,
              0.85748
            ],
            [
              0.2077,
              0.48634,
              0.53902,
              0.60193,
              0.67682,
              0.76628,
              0.87306
            ],
            [
              0.23073,
              0.50997,
              0.56271,
              0.62567,
              0.7006,
              0.7901,
              0.89696
            ],
            [
              0.26677,
              0.54591,
              0.59873,
              0.66177,
              0.73677,
              0.82635,
              0.93325
            ],
            [
              0.32253,
              0.60045,
              0.65329,
              0.71639,
              0.79149,
              0.88119,
              0.98809
            ],
            [
              0.39037,
              0.68332,
              0.73612,
              0.79922,
              0.87432,
              0.96402,
              1.07102
            ],
            [
              0.47087,
              0.80997,
              0.86237,
              0.92507,
              0.99997,
              1.08957,
              1.19647
            ],
            [
              0.5632,
              0.9765,
              1.0392,
              1.11,
              1.1897,
              1.2797,
              1.3862
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.2646,
              0.67577,
              0.75734,
              0.85531,
              0.97251,
              1.11297,
              1.28147
            ],
            [
              0.26809,
              0.67999,
              0.7615,
              0.85954,
              0.97677,
              1.11734,
              1.28574
            ],
            [
              0.27198,
              0.68463,
              0.76617,
              0.86426,
              0.98152,
              1.12202,
              1.29062
            ],
            [
              0.27775,
              0.69129,
              0.77297,
              0.87099,
              0.98838,
              1.12898,
              1.29747
            ],
            [
              0.28642,
              0.70105,
              0.78279,
              0.88089,
              0.99831,
              1.13891,
              1.30751
            ],
            [
              0.29973,
              0.71543,
              0.7973,
              0.89555,
              1.01302,
              1.15382,
              1.32242
            ],
            [
              0.32018,
              0.73699,
              0.81896,
              0.91733,
              1.03483,
              1.17583,
              1.34453
            ],
            [
              0.35171,
              0.76919,
              0.85116,
              0.94976,
              1.06746,
              1.20836,
              1.37726
            ],
            [
              0.39911,
              0.81665,
              0.89875,
              0.99745,
              1.11525,
              1.25645,
              1.42545
            ],
            [
              0.4675,
              0.88479,
              0.96699,
              1.06569,
              1.18379,
              1.32519,
              1.49419
            ],
            [
              0.56272,
              0.98172,
              1.06402,
              1.16282,
              1.28102,
              1.42252,
              1.59182
            ],
            [
              0.68267,
              1.12187,
              1.20407,
              1.30287,
              1.42107,
              1.56247,
              1.73207
            ],
            [
              0.8375,
              1.3277,
              1.4101,
              1.5088,
              1.6269,
              1.7684,
              1.9379
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.17695,
              0.51431,
              0.58222,
              0.66355,
              0.76148,
              0.87901,
              1.01949
            ],
            [
              0.17694,
              0.51436,
              0.58217,
              0.66354,
              0.76173,
              0.87886,
              1.01852
            ],
            [
              0.17695,
              0.51428,
              0.58236,
              0.66341,
              0.76151,
              0.87898,
              1.01859
            ],
            [
              0.17696,
              0.51451,
              0.58224,
              0.66395,
              0.76146,
              0.87898,
              1.01945
            ],
            [
              0.17696,
              0.51449,
              0.58226,
              0.66353,
              0.76161,
              0.87849,
              1.01955
            ],
            [
              0.17681,
              0.51443,
              0.58228,
              0.66351,
              0.76164,
              0.879,
              1.02019
            ],
            [
              0.17655,
              0.51444,
              0.58223,
              0.66366,
              0.76161,
              0.87845,
              1.01982
            ],
            [
              0.17382,
              0.51469,
              0.58232,
              0.66397,
              0.76179,
              0.87855,
              1.01928
            ],
            [
              0.17629,
              0.51455,
              0.58221,
              0.66344,
              0.76156,
              0.87938,
              1.01869
            ],
            [
              0.19312,
              0.51384,
              0.58175,
              0.6638,
              0.76145,
              0.87811,
              1.01951
            ],
            [
              0.22725,
              0.52407,
              0.5877,
              0.6658,
              0.7617,
              0.8781,
              1.0187
            ],
            [
              0.2755,
              0.5654,
              0.6233,
              0.695,
              0.783,
              0.8923,
              1.0257
            ],
            [
              0.3434,
              0.6571,
              0.7091,
              0.7741,
              0.8526,
              0.951,
              1.0728
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.16355,
              0.70639,
              0.81487,
              0.94526,
              1.10059,
              1.28712,
              1.50996
            ],
            [
              0.16366,
              0.70675,
              0.81519,
              0.94381,
              1.10043,
              1.28587,
              1.51059
            ],
            [
              0.16373,
              0.70679,
              0.815,
              0.94397,
              1.10046,
              1.28524,
              1.51056
            ],
            [
              0.16359,
              0.70711,
              0.81423,
              0.94463,
              1.10075,
              1.28589,
              1.51054
            ],
            [
              0.16381,
              0.70707,
              0.81431,
              0.94476,
              1.1008,
              1.28623,
              1.50996
            ],
            [
              0.16395,
              0.70647,
              0.81485,
              0.94515,
              1.09968,
              1.28596,
              1.51028
            ],
            [
              0.16406,
              0.70615,
              0.81462,
              0.94499,
              1.10058,
              1.28636,
              1.50968
            ],
            [
              0.16429,
              0.70709,
              0.81461,
              0.94441,
              1.10049,
              1.28634,
              1.50862
            ],
            [
              0.16454,
              0.70689,
              0.81464,
              0.94406,
              1.09963,
              1.2864,
              1.51033
            ],
            [
              0.16702,
              0.70698,
              0.81453,
              0.945,
              1.1002,
              1.2863,
              1.5085
            ],
            [
              0.1816,
              0.7073,
              0.815,
              0.9448,
              1.1007,
              1.2859,
              1.5106
            ],
            [
              0.2145,
              0.713,
              0.8179,
              0.9456,
              1.1008,
              1.2857,
              1.5105
            ],
            [
              0.2592,
              0.7454,
              0.845,
              0.9668,
              1.113,
              1.2934,
              1.5119
            ]
          ]
        },
        "sdf_cond": "(A2&A3&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A2&A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.24038,
              0.51408,
              0.56646,
              0.62912,
              0.70381,
              0.7931,
              0.89969
            ],
            [
              0.24282,
              0.51653,
              0.56889,
              0.63155,
              0.70624,
              0.79558,
              0.90217
            ],
            [
              0.2459,
              0.51957,
              0.57198,
              0.63464,
              0.70933,
              0.79864,
              0.90521
            ],
            [
              0.25056,
              0.52429,
              0.57669,
              0.63936,
              0.71406,
              0.80331,
              0.90994
            ],
            [
              0.2573,
              0.53117,
              0.58357,
              0.64625,
              0.721,
              0.81022,
              0.91686
            ],
            [
              0.26697,
              0.54117,
              0.59355,
              0.65628,
              0.73098,
              0.82024,
              0.92692
            ],
            [
              0.28114,
              0.55581,
              0.60826,
              0.67098,
              0.74573,
              0.83511,
              0.94183
            ],
            [
              0.30236,
              0.57769,
              0.63028,
              0.6931,
              0.76794,
              0.85726,
              0.96406
            ],
            [
              0.33447,
              0.61065,
              0.6633,
              0.72619,
              0.80115,
              0.89055,
              0.99745
            ],
            [
              0.38369,
              0.66029,
              0.71309,
              0.77619,
              0.85119,
              0.94079,
              1.04769
            ],
            [
              0.45242,
              0.73492,
              0.78792,
              0.85112,
              0.92632,
              1.01612,
              1.12322
            ],
            [
              0.54187,
              0.84717,
              0.90027,
              0.96367,
              1.03907,
              1.12907,
              1.23647
            ],
            [
              0.6541,
              1.0025,
              1.061,
              1.1288,
              1.2073,
              1.2984,
              1.4062
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.23855,
              0.56336,
              0.62779,
              0.70521,
              0.79785,
              0.9089,
              1.04197
            ],
            [
              0.24191,
              0.56686,
              0.63132,
              0.70874,
              0.80135,
              0.91247,
              1.04564
            ],
            [
              0.24582,
              0.57111,
              0.63557,
              0.71299,
              0.80561,
              0.91674,
              1.04992
            ],
            [
              0.2517,
              0.57749,
              0.64202,
              0.71945,
              0.8121,
              0.92327,
              1.05628
            ],
            [
              0.26076,
              0.58711,
              0.65177,
              0.72923,
              0.82194,
              0.93304,
              1.06621
            ],
            [
              0.27456,
              0.60178,
              0.66637,
              0.7439,
              0.8366,
              0.94782,
              1.08092
            ],
            [
              0.29583,
              0.6236,
              0.68823,
              0.76581,
              0.85858,
              0.96983,
              1.10303
            ],
            [
              0.3281,
              0.65657,
              0.72125,
              0.7989,
              0.89176,
              1.00306,
              1.13636
            ],
            [
              0.37663,
              0.70515,
              0.76985,
              0.84765,
              0.94055,
              1.05195,
              1.18535
            ],
            [
              0.44716,
              0.77569,
              0.84049,
              0.91829,
              1.01129,
              1.12279,
              1.25599
            ],
            [
              0.54502,
              0.87792,
              0.94272,
              1.02052,
              1.11362,
              1.22522,
              1.35872
            ],
            [
              0.66997,
              1.02797,
              1.09277,
              1.17047,
              1.26357,
              1.37527,
              1.50887
            ],
            [
              0.8294,
              1.2488,
              1.3154,
              1.3935,
              1.4866,
              1.5982,
              1.7318
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.16937,
              0.51651,
              0.58469,
              0.6666,
              0.76528,
              0.88305,
              1.02433
            ],
            [
              0.16949,
              0.51664,
              0.58447,
              0.66644,
              0.76531,
              0.88283,
              1.02394
            ],
            [
              0.16944,
              0.51649,
              0.5847,
              0.66645,
              0.7648,
              0.88286,
              1.02409
            ],
            [
              0.16942,
              0.51661,
              0.58468,
              0.6672,
              0.76481,
              0.88296,
              1.0238
            ],
            [
              0.1695,
              0.51654,
              0.5845,
              0.66681,
              0.76522,
              0.88307,
              1.02423
            ],
            [
              0.16955,
              0.51666,
              0.58449,
              0.66709,
              0.76532,
              0.88316,
              1.02436
            ],
            [
              0.16959,
              0.5168,
              0.58478,
              0.66693,
              0.76508,
              0.88304,
              1.02434
            ],
            [
              0.16932,
              0.5165,
              0.58494,
              0.66694,
              0.76515,
              0.88253,
              1.02348
            ],
            [
              0.16937,
              0.51643,
              0.58495,
              0.66701,
              0.76527,
              0.88304,
              1.02398
            ],
            [
              0.17598,
              0.5159,
              0.58446,
              0.66681,
              0.7649,
              0.883,
              1.02409
            ],
            [
              0.19515,
              0.5214,
              0.5881,
              0.6679,
              0.7655,
              0.8823,
              1.024
            ],
            [
              0.2269,
              0.5439,
              0.6072,
              0.6843,
              0.7778,
              0.891,
              1.0283
            ],
            [
              0.2763,
              0.6,
              0.6585,
              0.7307,
              0.8176,
              0.9253,
              1.0561
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.16009,
              0.58405,
              0.66938,
              0.77053,
              0.89285,
              1.03728,
              1.21249
            ],
            [
              0.16024,
              0.58507,
              0.66902,
              0.77119,
              0.89227,
              1.03758,
              1.21285
            ],
            [
              0.16006,
              0.58436,
              0.66896,
              0.77122,
              0.89229,
              1.03749,
              1.21285
            ],
            [
              0.16024,
              0.58477,
              0.66918,
              0.77118,
              0.89178,
              1.03861,
              1.21179
            ],
            [
              0.16016,
              0.58468,
              0.66988,
              0.76993,
              0.89292,
              1.03756,
              1.21253
            ],
            [
              0.16059,
              0.58484,
              0.66856,
              0.77139,
              0.8919,
              1.03869,
              1.21171
            ],
            [
              0.16066,
              0.58476,
              0.66902,
              0.77111,
              0.89193,
              1.03751,
              1.21267
            ],
            [
              0.16053,
              0.58503,
              0.66902,
              0.77085,
              0.89282,
              1.03724,
              1.21246
            ],
            [
              0.16103,
              0.58432,
              0.66976,
              0.77138,
              0.8928,
              1.03843,
              1.21303
            ],
            [
              0.1638,
              0.58498,
              0.66964,
              0.77139,
              0.89255,
              1.0386,
              1.2132
            ],
            [
              0.1804,
              0.5857,
              0.6691,
              0.771,
              0.8929,
              1.0386,
              1.2114
            ],
            [
              0.2206,
              0.5961,
              0.6766,
              0.7745,
              0.8938,
              1.0386,
              1.2122
            ],
            [
              0.2776,
              0.6389,
              0.7128,
              0.8039,
              0.9165,
              1.0533,
              1.2201
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A3&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.18231,
              0.46033,
              0.5129,
              0.57572,
              0.65057,
              0.73988,
              0.84657
            ],
            [
              0.18461,
              0.46262,
              0.51521,
              0.57802,
              0.65282,
              0.74218,
              0.84886
            ],
            [
              0.18751,
              0.46554,
              0.51816,
              0.58095,
              0.65573,
              0.7451,
              0.85181
            ],
            [
              0.19196,
              0.47003,
              0.52263,
              0.58547,
              0.66024,
              0.74964,
              0.85632
            ],
            [
              0.19844,
              0.47663,
              0.52924,
              0.59208,
              0.6669,
              0.75622,
              0.86293
            ],
            [
              0.20782,
              0.48629,
              0.53892,
              0.60175,
              0.67658,
              0.76595,
              0.87262
            ],
            [
              0.22173,
              0.50064,
              0.55331,
              0.61615,
              0.69101,
              0.78039,
              0.88717
            ],
            [
              0.24286,
              0.52238,
              0.57507,
              0.638,
              0.7129,
              0.80235,
              0.90916
            ],
            [
              0.27564,
              0.55523,
              0.60801,
              0.67101,
              0.74601,
              0.83555,
              0.94245
            ],
            [
              0.32321,
              0.60485,
              0.65779,
              0.72089,
              0.79599,
              0.88559,
              0.99269
            ],
            [
              0.38566,
              0.67962,
              0.73272,
              0.79592,
              0.87132,
              0.96112,
              1.06822
            ],
            [
              0.46527,
              0.79097,
              0.84527,
              0.90867,
              0.98417,
              1.07427,
              1.18167
            ],
            [
              0.5615,
              0.9402,
              1.0006,
              1.0705,
              1.1507,
              1.2435,
              1.3515
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.27006,
              0.69806,
              0.78315,
              0.88539,
              1.00777,
              1.15447,
              1.33027
            ],
            [
              0.2733,
              0.70155,
              0.78669,
              0.88894,
              1.01124,
              1.15804,
              1.33384
            ],
            [
              0.27705,
              0.70574,
              0.79089,
              0.89316,
              1.01552,
              1.16222,
              1.33802
            ],
            [
              0.2827,
              0.71208,
              0.79727,
              0.89956,
              1.02188,
              1.16868,
              1.34458
            ],
            [
              0.29147,
              0.72165,
              0.8069,
              0.90924,
              1.03171,
              1.17841,
              1.35431
            ],
            [
              0.30492,
              0.73616,
              0.82145,
              0.92385,
              1.04632,
              1.19312,
              1.36912
            ],
            [
              0.32581,
              0.75776,
              0.84314,
              0.94563,
              1.06813,
              1.21503,
              1.39103
            ],
            [
              0.35775,
              0.79048,
              0.87586,
              0.97846,
              1.10106,
              1.24796,
              1.42406
            ],
            [
              0.40517,
              0.83815,
              0.92365,
              1.02635,
              1.14915,
              1.29625,
              1.47235
            ],
            [
              0.47356,
              0.90629,
              0.99169,
              1.09449,
              1.21729,
              1.36459,
              1.54079
            ],
            [
              0.56812,
              1.00272,
              1.08832,
              1.19102,
              1.31402,
              1.46142,
              1.63782
            ],
            [
              0.68757,
              1.14107,
              1.22667,
              1.32947,
              1.45237,
              1.59987,
              1.77637
            ],
            [
              0.8405,
              1.3432,
              1.4289,
              1.5317,
              1.6546,
              1.8018,
              1.9784
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.14401,
              0.48631,
              0.55443,
              0.63616,
              0.73321,
              0.85125,
              0.99206
            ],
            [
              0.14405,
              0.48643,
              0.55432,
              0.636,
              0.73393,
              0.85126,
              0.99196
            ],
            [
              0.14398,
              0.48647,
              0.55395,
              0.63599,
              0.73381,
              0.85119,
              0.99193
            ],
            [
              0.14395,
              0.48663,
              0.55409,
              0.63546,
              0.734,
              0.85114,
              0.99174
            ],
            [
              0.14381,
              0.48662,
              0.55438,
              0.63574,
              0.73319,
              0.85123,
              0.99201
            ],
            [
              0.14373,
              0.48643,
              0.55393,
              0.63551,
              0.73379,
              0.85075,
              0.99208
            ],
            [
              0.14323,
              0.48641,
              0.55392,
              0.63615,
              0.73396,
              0.85144,
              0.99195
            ],
            [
              0.14187,
              0.48618,
              0.55434,
              0.63599,
              0.73382,
              0.8514,
              0.99175
            ],
            [
              0.14461,
              0.48585,
              0.55409,
              0.63602,
              0.73379,
              0.85098,
              0.99163
            ],
            [
              0.15514,
              0.4857,
              0.55401,
              0.63591,
              0.73361,
              0.85128,
              0.99109
            ],
            [
              0.17625,
              0.49418,
              0.5597,
              0.6391,
              0.7348,
              0.8505,
              0.992
            ],
            [
              0.2093,
              0.5206,
              0.5826,
              0.6583,
              0.75,
              0.862,
              0.9984
            ],
            [
              0.2592,
              0.5829,
              0.6399,
              0.7098,
              0.7952,
              0.9005,
              1.0286
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.16984,
              0.7344,
              0.84706,
              0.98246,
              1.14404,
              1.33639,
              1.57036
            ],
            [
              0.16987,
              0.73467,
              0.8474,
              0.98168,
              1.14287,
              1.33671,
              1.5702
            ],
            [
              0.16993,
              0.73477,
              0.84738,
              0.98182,
              1.14345,
              1.33802,
              1.57086
            ],
            [
              0.17002,
              0.73475,
              0.84725,
              0.98131,
              1.14384,
              1.33691,
              1.569
            ],
            [
              0.17012,
              0.73486,
              0.84714,
              0.98245,
              1.14399,
              1.33802,
              1.57066
            ],
            [
              0.17017,
              0.73475,
              0.84732,
              0.98155,
              1.14281,
              1.33673,
              1.57044
            ],
            [
              0.17034,
              0.73473,
              0.84733,
              0.98178,
              1.1433,
              1.33689,
              1.57085
            ],
            [
              0.1704,
              0.73412,
              0.84705,
              0.98253,
              1.14408,
              1.33763,
              1.5707
            ],
            [
              0.1708,
              0.73446,
              0.8468,
              0.98183,
              1.14318,
              1.33621,
              1.57083
            ],
            [
              0.17308,
              0.73452,
              0.84713,
              0.9825,
              1.1429,
              1.3365,
              1.57
            ],
            [
              0.1871,
              0.7348,
              0.8473,
              0.9821,
              1.1441,
              1.3377,
              1.5705
            ],
            [
              0.2179,
              0.74,
              0.8496,
              0.9822,
              1.1439,
              1.3373,
              1.5704
            ],
            [
              0.2605,
              0.7717,
              0.8747,
              1.0029,
              1.1557,
              1.3432,
              1.5712
            ]
          ]
        },
        "sdf_cond": "(A1&A3&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A3&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.18709,
              0.46445,
              0.51704,
              0.57985,
              0.65467,
              0.74401,
              0.85074
            ],
            [
              0.18938,
              0.46674,
              0.51933,
              0.58215,
              0.65697,
              0.74632,
              0.85302
            ],
            [
              0.19229,
              0.46966,
              0.52225,
              0.58507,
              0.65988,
              0.74924,
              0.85596
            ],
            [
              0.19676,
              0.47419,
              0.52675,
              0.58957,
              0.66441,
              0.75375,
              0.86047
            ],
            [
              0.20323,
              0.48078,
              0.53338,
              0.59619,
              0.67101,
              0.7604,
              0.86711
            ],
            [
              0.21262,
              0.49045,
              0.54305,
              0.60588,
              0.68071,
              0.77011,
              0.87683
            ],
            [
              0.22651,
              0.50485,
              0.55747,
              0.62035,
              0.6952,
              0.78463,
              0.89143
            ],
            [
              0.24761,
              0.52657,
              0.57927,
              0.64221,
              0.71714,
              0.8066,
              0.91346
            ],
            [
              0.28022,
              0.55942,
              0.61221,
              0.67523,
              0.75025,
              0.83985,
              0.94675
            ],
            [
              0.32806,
              0.60905,
              0.66199,
              0.72509,
              0.80029,
              0.88989,
              0.99689
            ],
            [
              0.39102,
              0.68382,
              0.73692,
              0.80022,
              0.87552,
              0.96532,
              1.07252
            ],
            [
              0.47147,
              0.79527,
              0.84937,
              0.91287,
              0.98837,
              1.07847,
              1.18587
            ],
            [
              0.5691,
              0.9449,
              1.0053,
              1.0749,
              1.1552,
              1.2478,
              1.3557
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.29845,
              0.70881,
              0.79028,
              0.88803,
              1.00497,
              1.14527,
              1.31337
            ],
            [
              0.30176,
              0.71232,
              0.79379,
              0.89155,
              1.00854,
              1.14884,
              1.31694
            ],
            [
              0.30566,
              0.71652,
              0.79801,
              0.89579,
              1.01282,
              1.15302,
              1.32122
            ],
            [
              0.31156,
              0.72293,
              0.80441,
              0.90221,
              1.01928,
              1.15958,
              1.32767
            ],
            [
              0.3206,
              0.7326,
              0.81412,
              0.91189,
              1.02891,
              1.16921,
              1.33741
            ],
            [
              0.33432,
              0.74707,
              0.82867,
              0.92656,
              1.04362,
              1.18402,
              1.35222
            ],
            [
              0.35547,
              0.76878,
              0.85045,
              0.94843,
              1.06553,
              1.20593,
              1.37423
            ],
            [
              0.3874,
              0.80155,
              0.88326,
              0.98136,
              1.09856,
              1.23896,
              1.40726
            ],
            [
              0.43491,
              0.84945,
              0.93125,
              1.02935,
              1.14675,
              1.28725,
              1.45575
            ],
            [
              0.50351,
              0.91769,
              0.99959,
              1.09779,
              1.21529,
              1.35599,
              1.52439
            ],
            [
              0.60002,
              1.01492,
              1.09682,
              1.19512,
              1.31262,
              1.45342,
              1.62202
            ],
            [
              0.72647,
              1.15467,
              1.23657,
              1.33487,
              1.45227,
              1.59317,
              1.76197
            ],
            [
              0.8883,
              1.3594,
              1.4413,
              1.5396,
              1.6572,
              1.7979,
              1.9666
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.17681,
              0.51464,
              0.58223,
              0.66388,
              0.76175,
              0.87894,
              1.0194
            ],
            [
              0.17679,
              0.51465,
              0.58221,
              0.6635,
              0.76155,
              0.87907,
              1.01854
            ],
            [
              0.17684,
              0.51468,
              0.58223,
              0.66351,
              0.76156,
              0.87848,
              1.01859
            ],
            [
              0.17678,
              0.5146,
              0.58244,
              0.66395,
              0.76162,
              0.8791,
              1.01951
            ],
            [
              0.17668,
              0.51467,
              0.58234,
              0.66399,
              0.76155,
              0.87853,
              1.01967
            ],
            [
              0.1766,
              0.5148,
              0.58224,
              0.66356,
              0.76163,
              0.87813,
              1.01973
            ],
            [
              0.17611,
              0.51475,
              0.58233,
              0.66403,
              0.76151,
              0.87903,
              1.01851
            ],
            [
              0.17496,
              0.51463,
              0.58227,
              0.66358,
              0.76157,
              0.8782,
              1.0187
            ],
            [
              0.17745,
              0.51435,
              0.58222,
              0.6635,
              0.76174,
              0.87856,
              1.01867
            ],
            [
              0.18753,
              0.51449,
              0.58188,
              0.66381,
              0.76135,
              0.87926,
              1.02011
            ],
            [
              0.21084,
              0.52252,
              0.5876,
              0.6667,
              0.7628,
              0.8793,
              1.02
            ],
            [
              0.2473,
              0.5493,
              0.6108,
              0.6859,
              0.778,
              0.8904,
              1.0261
            ],
            [
              0.3027,
              0.6115,
              0.6679,
              0.7383,
              0.8233,
              0.9289,
              1.0568
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.19019,
              0.73359,
              0.84222,
              0.97225,
              1.12716,
              1.31356,
              1.53676
            ],
            [
              0.19016,
              0.73355,
              0.84237,
              0.9722,
              1.12698,
              1.31218,
              1.5368
            ],
            [
              0.19018,
              0.73352,
              0.84223,
              0.97224,
              1.12723,
              1.31376,
              1.53654
            ],
            [
              0.1902,
              0.73339,
              0.84227,
              0.97199,
              1.12599,
              1.31255,
              1.53677
            ],
            [
              0.19029,
              0.73326,
              0.84182,
              0.97212,
              1.12739,
              1.31376,
              1.53649
            ],
            [
              0.19029,
              0.73338,
              0.84256,
              0.97218,
              1.12694,
              1.31234,
              1.53659
            ],
            [
              0.19035,
              0.73329,
              0.84202,
              0.97213,
              1.12728,
              1.31375,
              1.53566
            ],
            [
              0.19045,
              0.73356,
              0.84181,
              0.97184,
              1.12763,
              1.31313,
              1.53681
            ],
            [
              0.19068,
              0.73353,
              0.84131,
              0.97077,
              1.12578,
              1.31348,
              1.53676
            ],
            [
              0.19206,
              0.73432,
              0.84141,
              0.9721,
              1.1276,
              1.3137,
              1.5366
            ],
            [
              0.2029,
              0.7343,
              0.8423,
              0.9722,
              1.1273,
              1.312,
              1.5367
            ],
            [
              0.2337,
              0.7389,
              0.8436,
              0.9726,
              1.1274,
              1.312,
              1.5358
            ],
            [
              0.279,
              0.7687,
              0.8695,
              0.9909,
              1.1392,
              1.3188,
              1.5379
            ]
          ]
        },
        "sdf_cond": "(A1&A3&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A3&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.24521,
              0.51887,
              0.5713,
              0.63393,
              0.70863,
              0.79789,
              0.90459
            ],
            [
              0.24809,
              0.52174,
              0.57415,
              0.63682,
              0.71157,
              0.8008,
              0.90743
            ],
            [
              0.2515,
              0.52518,
              0.57763,
              0.64025,
              0.71497,
              0.80418,
              0.91087
            ],
            [
              0.25635,
              0.53009,
              0.58254,
              0.64516,
              0.71991,
              0.80912,
              0.91583
            ],
            [
              0.26314,
              0.53702,
              0.58948,
              0.65211,
              0.72681,
              0.81612,
              0.9228
            ],
            [
              0.27271,
              0.54689,
              0.59933,
              0.66201,
              0.73676,
              0.82602,
              0.93272
            ],
            [
              0.28621,
              0.56089,
              0.6134,
              0.67613,
              0.75086,
              0.84016,
              0.94683
            ],
            [
              0.30555,
              0.58087,
              0.63345,
              0.69625,
              0.77109,
              0.86046,
              0.96726
            ],
            [
              0.33379,
              0.60994,
              0.66259,
              0.72551,
              0.80045,
              0.88985,
              0.99675
            ],
            [
              0.37622,
              0.65279,
              0.70559,
              0.76859,
              0.84369,
              0.93329,
              1.04019
            ],
            [
              0.43496,
              0.71672,
              0.76962,
              0.83282,
              0.90802,
              0.99772,
              1.10492
            ],
            [
              0.51207,
              0.81257,
              0.86577,
              0.92917,
              1.00447,
              1.09437,
              1.20167
            ],
            [
              0.6122,
              0.9435,
              1.0013,
              1.0687,
              1.1474,
              1.2392,
              1.3469
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.24109,
              0.55214,
              0.61332,
              0.68678,
              0.77462,
              0.87989,
              1.00597
            ],
            [
              0.24404,
              0.5552,
              0.61638,
              0.68984,
              0.77769,
              0.88296,
              1.00904
            ],
            [
              0.24788,
              0.5591,
              0.62029,
              0.69374,
              0.78158,
              0.88686,
              1.01292
            ],
            [
              0.25388,
              0.5652,
              0.62642,
              0.69985,
              0.7877,
              0.89299,
              1.01907
            ],
            [
              0.2631,
              0.57463,
              0.63585,
              0.70931,
              0.79716,
              0.90245,
              1.02861
            ],
            [
              0.27716,
              0.58897,
              0.6502,
              0.72366,
              0.81154,
              0.91686,
              1.04302
            ],
            [
              0.29861,
              0.61074,
              0.67198,
              0.7455,
              0.83339,
              0.93873,
              1.06483
            ],
            [
              0.33072,
              0.64314,
              0.70443,
              0.77796,
              0.86586,
              0.97126,
              1.09736
            ],
            [
              0.37777,
              0.69039,
              0.75173,
              0.82525,
              0.91325,
              1.01865,
              1.14485
            ],
            [
              0.44581,
              0.75869,
              0.81999,
              0.89359,
              0.98159,
              1.08709,
              1.21329
            ],
            [
              0.54002,
              0.85712,
              0.91842,
              0.99212,
              1.08012,
              1.18562,
              1.31192
            ],
            [
              0.65937,
              1.00127,
              1.06267,
              1.13637,
              1.22447,
              1.32997,
              1.45627
            ],
            [
              0.8107,
              1.2115,
              1.2761,
              1.3505,
              1.4387,
              1.5443,
              1.6707
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.16948,
              0.5165,
              0.58497,
              0.66655,
              0.7648,
              0.88306,
              1.02379
            ],
            [
              0.1695,
              0.51616,
              0.58456,
              0.66648,
              0.76518,
              0.88242,
              1.02315
            ],
            [
              0.16947,
              0.51642,
              0.58498,
              0.66657,
              0.76507,
              0.883,
              1.02422
            ],
            [
              0.16948,
              0.51621,
              0.58498,
              0.66687,
              0.76522,
              0.88308,
              1.02349
            ],
            [
              0.16952,
              0.51624,
              0.58494,
              0.66663,
              0.76498,
              0.88302,
              1.02396
            ],
            [
              0.16936,
              0.51666,
              0.58486,
              0.66679,
              0.76529,
              0.88309,
              1.02393
            ],
            [
              0.16948,
              0.51669,
              0.58497,
              0.66676,
              0.76484,
              0.88304,
              1.02424
            ],
            [
              0.16928,
              0.5163,
              0.58499,
              0.66716,
              0.7651,
              0.88255,
              1.02345
            ],
            [
              0.16941,
              0.51654,
              0.58495,
              0.667,
              0.76521,
              0.88299,
              1.02401
            ],
            [
              0.17454,
              0.51645,
              0.58479,
              0.66661,
              0.76512,
              0.88251,
              1.024
            ],
            [
              0.18984,
              0.5211,
              0.5876,
              0.6681,
              0.7658,
              0.883,
              1.0232
            ],
            [
              0.2129,
              0.54,
              0.6047,
              0.6829,
              0.7769,
              0.8905,
              1.0287
            ],
            [
              0.248,
              0.5848,
              0.6461,
              0.7207,
              0.8111,
              0.9201,
              1.0539
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.1679,
              0.57,
              0.64998,
              0.74649,
              0.8602,
              0.99894,
              1.16507
            ],
            [
              0.16767,
              0.56999,
              0.64981,
              0.74649,
              0.8609,
              0.99855,
              1.16476
            ],
            [
              0.16775,
              0.56998,
              0.65009,
              0.74638,
              0.86108,
              0.99844,
              1.16495
            ],
            [
              0.16796,
              0.56987,
              0.65013,
              0.74501,
              0.86142,
              0.99964,
              1.16499
            ],
            [
              0.1677,
              0.56999,
              0.64923,
              0.7464,
              0.861,
              0.99863,
              1.16494
            ],
            [
              0.16778,
              0.56889,
              0.65019,
              0.74552,
              0.86141,
              0.99943,
              1.16447
            ],
            [
              0.16778,
              0.56997,
              0.64948,
              0.74643,
              0.86089,
              0.99859,
              1.16466
            ],
            [
              0.168,
              0.56908,
              0.65021,
              0.746,
              0.86104,
              0.99871,
              1.16445
            ],
            [
              0.16816,
              0.56991,
              0.64928,
              0.74575,
              0.86136,
              0.99801,
              1.16344
            ],
            [
              0.1713,
              0.56972,
              0.65003,
              0.74624,
              0.86131,
              0.9986,
              1.1649
            ],
            [
              0.1886,
              0.5698,
              0.6504,
              0.7462,
              0.8614,
              0.9996,
              1.1646
            ],
            [
              0.2286,
              0.584,
              0.6597,
              0.7519,
              0.8634,
              1.0,
              1.1646
            ],
            [
              0.2866,
              0.6307,
              0.7014,
              0.787,
              0.8919,
              1.0187,
              1.1761
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.18711,
              0.46513,
              0.51771,
              0.58053,
              0.65537,
              0.74468,
              0.85138
            ],
            [
              0.18985,
              0.46787,
              0.52047,
              0.58326,
              0.65806,
              0.74745,
              0.85413
            ],
            [
              0.19309,
              0.47114,
              0.52372,
              0.58656,
              0.66138,
              0.75069,
              0.85741
            ],
            [
              0.19773,
              0.4758,
              0.52841,
              0.5912,
              0.66602,
              0.7554,
              0.86209
            ],
            [
              0.20427,
              0.48244,
              0.53506,
              0.59785,
              0.67271,
              0.76204,
              0.86877
            ],
            [
              0.21357,
              0.49201,
              0.54465,
              0.60747,
              0.68228,
              0.77168,
              0.87838
            ],
            [
              0.22682,
              0.50574,
              0.5584,
              0.62125,
              0.6961,
              0.78548,
              0.89223
            ],
            [
              0.24604,
              0.52556,
              0.57825,
              0.64117,
              0.71607,
              0.80553,
              0.91236
            ],
            [
              0.27479,
              0.55453,
              0.6073,
              0.67032,
              0.74529,
              0.83485,
              0.94175
            ],
            [
              0.31596,
              0.59741,
              0.65039,
              0.71339,
              0.78849,
              0.87819,
              0.98519
            ],
            [
              0.36992,
              0.66162,
              0.71462,
              0.77782,
              0.85312,
              0.94292,
              1.05002
            ],
            [
              0.44047,
              0.75627,
              0.81067,
              0.87437,
              0.94977,
              1.03967,
              1.14707
            ],
            [
              0.5308,
              0.8825,
              0.9418,
              1.0108,
              1.0908,
              1.1839,
              1.2924
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.28058,
              0.69614,
              0.77817,
              0.87659,
              0.99437,
              1.13557,
              1.30467
            ],
            [
              0.2833,
              0.69902,
              0.78099,
              0.87948,
              0.99724,
              1.13844,
              1.30754
            ],
            [
              0.28701,
              0.70278,
              0.78476,
              0.88325,
              1.00102,
              1.14222,
              1.31132
            ],
            [
              0.29284,
              0.70874,
              0.7908,
              0.88923,
              1.00708,
              1.14818,
              1.31728
            ],
            [
              0.30186,
              0.71808,
              0.80009,
              0.8986,
              1.01631,
              1.15761,
              1.32671
            ],
            [
              0.31574,
              0.73229,
              0.81439,
              0.91285,
              1.03072,
              1.17192,
              1.34102
            ],
            [
              0.33698,
              0.75397,
              0.83604,
              0.93463,
              1.05243,
              1.19363,
              1.36283
            ],
            [
              0.3687,
              0.78612,
              0.86816,
              0.96676,
              1.08466,
              1.22596,
              1.39516
            ],
            [
              0.41469,
              0.83235,
              0.91455,
              1.01315,
              1.13105,
              1.27235,
              1.44165
            ],
            [
              0.47993,
              0.89779,
              0.97999,
              1.07859,
              1.19659,
              1.33799,
              1.50729
            ],
            [
              0.57022,
              0.98962,
              1.07192,
              1.17062,
              1.28862,
              1.43002,
              1.59942
            ],
            [
              0.68377,
              1.12087,
              1.20327,
              1.30197,
              1.42007,
              1.56157,
              1.73097
            ],
            [
              0.8277,
              1.3123,
              1.3949,
              1.4937,
              1.6119,
              1.7535,
              1.923
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.14385,
              0.4866,
              0.55429,
              0.63611,
              0.73356,
              0.85121,
              0.99174
            ],
            [
              0.14387,
              0.48641,
              0.55441,
              0.63613,
              0.73381,
              0.85113,
              0.99201
            ],
            [
              0.14381,
              0.48629,
              0.55452,
              0.63552,
              0.73325,
              0.85114,
              0.99197
            ],
            [
              0.14385,
              0.48651,
              0.55398,
              0.63605,
              0.73377,
              0.85046,
              0.9913
            ],
            [
              0.14387,
              0.48664,
              0.55439,
              0.63612,
              0.73325,
              0.85136,
              0.99187
            ],
            [
              0.14374,
              0.48663,
              0.55427,
              0.63603,
              0.73406,
              0.85064,
              0.992
            ],
            [
              0.14346,
              0.48603,
              0.554,
              0.63601,
              0.73391,
              0.85133,
              0.99217
            ],
            [
              0.1425,
              0.48635,
              0.55447,
              0.63614,
              0.73398,
              0.85134,
              0.99167
            ],
            [
              0.14435,
              0.48608,
              0.55441,
              0.63591,
              0.73393,
              0.85121,
              0.99146
            ],
            [
              0.1528,
              0.4864,
              0.55362,
              0.63597,
              0.73385,
              0.85133,
              0.99166
            ],
            [
              0.1686,
              0.49314,
              0.55888,
              0.6389,
              0.7349,
              0.8516,
              0.9919
            ],
            [
              0.1918,
              0.5159,
              0.5785,
              0.6559,
              0.7492,
              0.862,
              0.9982
            ],
            [
              0.2284,
              0.5631,
              0.6239,
              0.6972,
              0.7866,
              0.8945,
              1.0263
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.18466,
              0.72866,
              0.83665,
              0.96607,
              1.1227,
              1.30974,
              1.5334
            ],
            [
              0.18494,
              0.72866,
              0.83624,
              0.96636,
              1.12208,
              1.30918,
              1.53201
            ],
            [
              0.18499,
              0.72857,
              0.83595,
              0.96658,
              1.1231,
              1.30919,
              1.53263
            ],
            [
              0.18483,
              0.72793,
              0.8363,
              0.96736,
              1.12302,
              1.30973,
              1.53323
            ],
            [
              0.18489,
              0.72857,
              0.83642,
              0.96664,
              1.12175,
              1.30879,
              1.53231
            ],
            [
              0.18502,
              0.72843,
              0.83665,
              0.96686,
              1.12292,
              1.30943,
              1.53266
            ],
            [
              0.18482,
              0.72859,
              0.83659,
              0.96666,
              1.12202,
              1.30858,
              1.53118
            ],
            [
              0.18502,
              0.72888,
              0.83635,
              0.96657,
              1.1218,
              1.30853,
              1.53119
            ],
            [
              0.18527,
              0.72821,
              0.83623,
              0.96623,
              1.12304,
              1.30979,
              1.53293
            ],
            [
              0.18728,
              0.72874,
              0.83649,
              0.96603,
              1.1227,
              1.3079,
              1.5334
            ],
            [
              0.2012,
              0.7291,
              0.8372,
              0.9666,
              1.1222,
              1.3095,
              1.5333
            ],
            [
              0.2323,
              0.7364,
              0.8409,
              0.9685,
              1.1234,
              1.3097,
              1.5321
            ],
            [
              0.2754,
              0.7706,
              0.8694,
              0.9919,
              1.1388,
              1.3189,
              1.537
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!B1&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!B1&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.1919,
              0.46929,
              0.52183,
              0.58465,
              0.65947,
              0.74881,
              0.85555
            ],
            [
              0.19463,
              0.47199,
              0.52458,
              0.58739,
              0.6622,
              0.75157,
              0.85828
            ],
            [
              0.19788,
              0.47526,
              0.52787,
              0.59066,
              0.66548,
              0.75485,
              0.86157
            ],
            [
              0.20252,
              0.47994,
              0.53251,
              0.59535,
              0.67015,
              0.75955,
              0.86625
            ],
            [
              0.20905,
              0.48661,
              0.53919,
              0.60203,
              0.67683,
              0.76621,
              0.87296
            ],
            [
              0.21836,
              0.49618,
              0.54879,
              0.61163,
              0.68646,
              0.77585,
              0.88261
            ],
            [
              0.2316,
              0.50991,
              0.56256,
              0.62543,
              0.70029,
              0.7897,
              0.89643
            ],
            [
              0.25081,
              0.52976,
              0.58246,
              0.6454,
              0.7203,
              0.80976,
              0.91656
            ],
            [
              0.27942,
              0.55873,
              0.61152,
              0.67453,
              0.74953,
              0.83905,
              0.94605
            ],
            [
              0.32081,
              0.60162,
              0.65449,
              0.71769,
              0.79279,
              0.88249,
              0.98949
            ],
            [
              0.37516,
              0.66572,
              0.71872,
              0.78202,
              0.85732,
              0.94712,
              1.05432
            ],
            [
              0.44627,
              0.76057,
              0.81487,
              0.87847,
              0.95397,
              1.04397,
              1.15127
            ],
            [
              0.5375,
              0.8872,
              0.9464,
              1.0153,
              1.0952,
              1.1883,
              1.2967
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.307,
              0.7044,
              0.7828,
              0.87682,
              0.98929,
              1.12407,
              1.28557
            ],
            [
              0.30977,
              0.70731,
              0.78574,
              0.87975,
              0.99224,
              1.12704,
              1.28854
            ],
            [
              0.31353,
              0.71111,
              0.78947,
              0.88356,
              0.99602,
              1.13082,
              1.29232
            ],
            [
              0.31945,
              0.71717,
              0.79553,
              0.88955,
              1.00208,
              1.13688,
              1.29838
            ],
            [
              0.32858,
              0.72646,
              0.80482,
              0.89894,
              1.01141,
              1.14621,
              1.30771
            ],
            [
              0.34256,
              0.7407,
              0.81915,
              0.91328,
              1.02572,
              1.16062,
              1.32212
            ],
            [
              0.36394,
              0.76243,
              0.84086,
              0.93503,
              1.04753,
              1.18233,
              1.34393
            ],
            [
              0.39578,
              0.79463,
              0.87306,
              0.96726,
              1.07976,
              1.21466,
              1.37626
            ],
            [
              0.44191,
              0.84105,
              0.91955,
              1.01375,
              1.12635,
              1.26125,
              1.42285
            ],
            [
              0.50745,
              0.90679,
              0.98529,
              1.07959,
              1.19219,
              1.32719,
              1.48879
            ],
            [
              0.59942,
              0.99932,
              1.07792,
              1.17212,
              1.28482,
              1.41992,
              1.58172
            ],
            [
              0.71927,
              1.13207,
              1.21067,
              1.30497,
              1.41777,
              1.55287,
              1.71467
            ],
            [
              0.8714,
              1.3263,
              1.4051,
              1.4995,
              1.6123,
              1.7475,
              1.9094
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.17675,
              0.51451,
              0.58226,
              0.66398,
              0.76153,
              0.87891,
              1.01879
            ],
            [
              0.17672,
              0.51468,
              0.5823,
              0.66338,
              0.76147,
              0.87891,
              1.01958
            ],
            [
              0.17666,
              0.51445,
              0.5823,
              0.66357,
              0.76143,
              0.87905,
              1.01954
            ],
            [
              0.17674,
              0.51476,
              0.58227,
              0.66356,
              0.76138,
              0.87855,
              1.02011
            ],
            [
              0.17658,
              0.51476,
              0.58227,
              0.66386,
              0.76157,
              0.87853,
              1.01952
            ],
            [
              0.17657,
              0.51481,
              0.58233,
              0.66395,
              0.76174,
              0.879,
              1.0201
            ],
            [
              0.17626,
              0.5144,
              0.5824,
              0.6639,
              0.76181,
              0.87847,
              1.01864
            ],
            [
              0.17539,
              0.51435,
              0.58229,
              0.66359,
              0.76171,
              0.87864,
              1.01854
            ],
            [
              0.17711,
              0.51456,
              0.58213,
              0.6634,
              0.76166,
              0.87848,
              1.0192
            ],
            [
              0.18514,
              0.51462,
              0.5821,
              0.66338,
              0.76139,
              0.87823,
              1.01869
            ],
            [
              0.2028,
              0.52162,
              0.58713,
              0.667,
              0.7631,
              0.8788,
              1.0195
            ],
            [
              0.2286,
              0.5436,
              0.6068,
              0.6835,
              0.7768,
              0.8903,
              1.0257
            ],
            [
              0.269,
              0.5917,
              0.652,
              0.7251,
              0.815,
              0.9227,
              1.0534
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.20282,
              0.72577,
              0.8304,
              0.95519,
              1.10363,
              1.28301,
              1.49716
            ],
            [
              0.20279,
              0.72614,
              0.83024,
              0.95514,
              1.10439,
              1.28296,
              1.4973
            ],
            [
              0.20276,
              0.72633,
              0.83024,
              0.95503,
              1.10437,
              1.28284,
              1.49718
            ],
            [
              0.20286,
              0.72573,
              0.83039,
              0.95496,
              1.1033,
              1.28142,
              1.49648
            ],
            [
              0.2028,
              0.72616,
              0.83035,
              0.95504,
              1.10426,
              1.28282,
              1.49694
            ],
            [
              0.2027,
              0.72618,
              0.83028,
              0.95371,
              1.10305,
              1.28299,
              1.49765
            ],
            [
              0.20262,
              0.72632,
              0.83016,
              0.95489,
              1.10438,
              1.28308,
              1.49747
            ],
            [
              0.20274,
              0.72646,
              0.83009,
              0.95356,
              1.10274,
              1.28156,
              1.49594
            ],
            [
              0.20306,
              0.7254,
              0.83031,
              0.95427,
              1.10271,
              1.28188,
              1.49657
            ],
            [
              0.20418,
              0.72624,
              0.83007,
              0.9544,
              1.1032,
              1.2828,
              1.4969
            ],
            [
              0.2155,
              0.7254,
              0.8294,
              0.9545,
              1.1043,
              1.2828,
              1.4958
            ],
            [
              0.2467,
              0.7327,
              0.8336,
              0.9563,
              1.1035,
              1.2817,
              1.4975
            ],
            [
              0.2923,
              0.7658,
              0.8616,
              0.9783,
              1.1199,
              1.291,
              1.5003
            ]
          ]
        },
        "sdf_cond": "(A1&A2&B1&!B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&B1&!B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.06776,
              0.24289,
              0.27743,
              0.31929,
              0.36919,
              0.42855,
              0.50023
            ],
            [
              0.06983,
              0.24555,
              0.2804,
              0.32189,
              0.37205,
              0.43187,
              0.50311
            ],
            [
              0.07242,
              0.24919,
              0.28383,
              0.32529,
              0.3756,
              0.43549,
              0.50699
            ],
            [
              0.07659,
              0.25434,
              0.28909,
              0.33087,
              0.38066,
              0.44077,
              0.51265
            ],
            [
              0.08309,
              0.26206,
              0.29689,
              0.33876,
              0.38882,
              0.44829,
              0.52006
            ],
            [
              0.09337,
              0.27347,
              0.30815,
              0.35025,
              0.40052,
              0.46044,
              0.53192
            ],
            [
              0.10964,
              0.2906,
              0.3256,
              0.36776,
              0.41772,
              0.47755,
              0.54946
            ],
            [
              0.13055,
              0.31634,
              0.35164,
              0.39348,
              0.44357,
              0.50422,
              0.57606
            ],
            [
              0.15508,
              0.35508,
              0.3906,
              0.43217,
              0.48318,
              0.54338,
              0.61506
            ],
            [
              0.18346,
              0.41412,
              0.44952,
              0.49154,
              0.54232,
              0.60232,
              0.67479
            ],
            [
              0.21556,
              0.50042,
              0.53822,
              0.58092,
              0.63112,
              0.69172,
              0.76422
            ],
            [
              0.25017,
              0.60697,
              0.65397,
              0.70607,
              0.76297,
              0.82647,
              0.89897
            ],
            [
              0.2851,
              0.7341,
              0.7921,
              0.8569,
              0.9282,
              1.0066,
              1.0928
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.09465,
              0.37074,
              0.42537,
              0.49081,
              0.56936,
              0.66409,
              0.77706
            ],
            [
              0.09661,
              0.3739,
              0.42868,
              0.49398,
              0.57265,
              0.66741,
              0.78038
            ],
            [
              0.09926,
              0.37727,
              0.43227,
              0.49816,
              0.57672,
              0.67066,
              0.78424
            ],
            [
              0.10373,
              0.38317,
              0.43804,
              0.50365,
              0.58244,
              0.677,
              0.78938
            ],
            [
              0.11131,
              0.39136,
              0.44648,
              0.5124,
              0.59098,
              0.68512,
              0.79891
            ],
            [
              0.12374,
              0.40482,
              0.4599,
              0.52566,
              0.60449,
              0.69919,
              0.81201
            ],
            [
              0.14357,
              0.42435,
              0.47924,
              0.54541,
              0.6245,
              0.71899,
              0.83218
            ],
            [
              0.17485,
              0.45511,
              0.51057,
              0.57663,
              0.65517,
              0.75031,
              0.86386
            ],
            [
              0.21825,
              0.5013,
              0.55667,
              0.62262,
              0.7024,
              0.79725,
              0.91015
            ],
            [
              0.27199,
              0.57195,
              0.62638,
              0.69279,
              0.77249,
              0.86709,
              0.97999
            ],
            [
              0.33994,
              0.67732,
              0.73392,
              0.79962,
              0.87862,
              0.97322,
              1.08742
            ],
            [
              0.42517,
              0.84047,
              0.89517,
              0.96107,
              1.03977,
              1.13477,
              1.24827
            ],
            [
              0.5331,
              1.0628,
              1.1298,
              1.2034,
              1.2837,
              1.3779,
              1.4908
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.05159,
              0.28458,
              0.33117,
              0.38734,
              0.45417,
              0.53469,
              0.63106
            ],
            [
              0.05162,
              0.28461,
              0.33128,
              0.38721,
              0.454,
              0.53435,
              0.6311
            ],
            [
              0.05165,
              0.2844,
              0.33116,
              0.38719,
              0.45438,
              0.5344,
              0.63108
            ],
            [
              0.05159,
              0.28458,
              0.33154,
              0.38677,
              0.45417,
              0.53532,
              0.63128
            ],
            [
              0.05166,
              0.28445,
              0.33108,
              0.38756,
              0.45457,
              0.53471,
              0.6311
            ],
            [
              0.05167,
              0.28448,
              0.33121,
              0.38775,
              0.45459,
              0.53448,
              0.63115
            ],
            [
              0.05608,
              0.28457,
              0.3316,
              0.38754,
              0.45418,
              0.53465,
              0.63102
            ],
            [
              0.06803,
              0.28492,
              0.33138,
              0.38713,
              0.45422,
              0.53449,
              0.63074
            ],
            [
              0.08422,
              0.2861,
              0.33109,
              0.38759,
              0.45456,
              0.53455,
              0.63109
            ],
            [
              0.1072,
              0.29911,
              0.34093,
              0.39289,
              0.45638,
              0.53557,
              0.63158
            ],
            [
              0.13863,
              0.33591,
              0.37224,
              0.41855,
              0.47656,
              0.54864,
              0.6383
            ],
            [
              0.18052,
              0.4066,
              0.4399,
              0.4801,
              0.5303,
              0.5942,
              0.6744
            ],
            [
              0.2365,
              0.5059,
              0.5445,
              0.5879,
              0.6371,
              0.6934,
              0.7643
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.0842,
              0.45269,
              0.52603,
              0.6137,
              0.71932,
              0.84698,
              0.99941
            ],
            [
              0.08396,
              0.45286,
              0.52609,
              0.61354,
              0.7193,
              0.84707,
              0.99928
            ],
            [
              0.08405,
              0.45197,
              0.52595,
              0.6146,
              0.71983,
              0.84563,
              0.99825
            ],
            [
              0.08384,
              0.45284,
              0.52619,
              0.61382,
              0.71982,
              0.84713,
              0.9976
            ],
            [
              0.08391,
              0.4518,
              0.52578,
              0.6145,
              0.71956,
              0.84559,
              0.99926
            ],
            [
              0.0836,
              0.45275,
              0.52632,
              0.61378,
              0.71975,
              0.84733,
              0.99845
            ],
            [
              0.08336,
              0.45252,
              0.52531,
              0.61429,
              0.72013,
              0.84653,
              0.99781
            ],
            [
              0.09058,
              0.45183,
              0.52621,
              0.61442,
              0.71876,
              0.84669,
              0.99925
            ],
            [
              0.10898,
              0.4523,
              0.52554,
              0.61358,
              0.72021,
              0.84687,
              0.99745
            ],
            [
              0.13876,
              0.45173,
              0.52474,
              0.61347,
              0.7201,
              0.84612,
              0.9992
            ],
            [
              0.17451,
              0.4646,
              0.5316,
              0.6157,
              0.7184,
              0.8462,
              0.999
            ],
            [
              0.223,
              0.507,
              0.5661,
              0.6419,
              0.7361,
              0.8527,
              1.0002
            ],
            [
              0.2859,
              0.6023,
              0.6516,
              0.7142,
              0.7965,
              0.9008,
              1.0327
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.06786,
              0.24301,
              0.27765,
              0.31915,
              0.3688,
              0.4291,
              0.5007
            ],
            [
              0.06997,
              0.24578,
              0.28054,
              0.32209,
              0.37217,
              0.43196,
              0.50339
            ],
            [
              0.07262,
              0.24906,
              0.2841,
              0.32544,
              0.37568,
              0.43562,
              0.50722
            ],
            [
              0.07681,
              0.25429,
              0.28921,
              0.33071,
              0.38105,
              0.44095,
              0.51236
            ],
            [
              0.08342,
              0.26238,
              0.2973,
              0.33882,
              0.38889,
              0.44891,
              0.5207
            ],
            [
              0.09376,
              0.27378,
              0.30902,
              0.35089,
              0.4007,
              0.4609,
              0.53284
            ],
            [
              0.11011,
              0.29118,
              0.32626,
              0.36827,
              0.41823,
              0.47857,
              0.55062
            ],
            [
              0.13117,
              0.31702,
              0.35227,
              0.39422,
              0.44432,
              0.50495,
              0.57678
            ],
            [
              0.15576,
              0.35605,
              0.39118,
              0.4332,
              0.48395,
              0.54421,
              0.61585
            ],
            [
              0.18412,
              0.415,
              0.45026,
              0.49243,
              0.54249,
              0.6031,
              0.67569
            ],
            [
              0.21622,
              0.50142,
              0.53932,
              0.58172,
              0.63162,
              0.69272,
              0.76502
            ],
            [
              0.25077,
              0.60787,
              0.65467,
              0.70687,
              0.76377,
              0.82717,
              0.89937
            ],
            [
              0.2855,
              0.7345,
              0.7929,
              0.8577,
              0.929,
              1.0072,
              1.0935
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.10434,
              0.41987,
              0.48208,
              0.55701,
              0.64721,
              0.75512,
              0.88413
            ],
            [
              0.10606,
              0.42296,
              0.48489,
              0.56027,
              0.65047,
              0.75833,
              0.88727
            ],
            [
              0.10837,
              0.42651,
              0.48892,
              0.5639,
              0.65413,
              0.76202,
              0.89096
            ],
            [
              0.11255,
              0.43189,
              0.49421,
              0.56937,
              0.65968,
              0.7676,
              0.89656
            ],
            [
              0.11946,
              0.43974,
              0.50267,
              0.57749,
              0.66741,
              0.77607,
              0.90531
            ],
            [
              0.1314,
              0.45239,
              0.51501,
              0.59007,
              0.68067,
              0.7888,
              0.91797
            ],
            [
              0.15062,
              0.4716,
              0.53423,
              0.60984,
              0.70047,
              0.80837,
              0.93823
            ],
            [
              0.18111,
              0.50127,
              0.56468,
              0.63949,
              0.72922,
              0.83816,
              0.96796
            ],
            [
              0.2256,
              0.54633,
              0.60969,
              0.68512,
              0.77585,
              0.88465,
              1.01355
            ],
            [
              0.2805,
              0.61459,
              0.67779,
              0.75309,
              0.84369,
              0.95169,
              1.08199
            ],
            [
              0.3498,
              0.71852,
              0.78172,
              0.85722,
              0.94802,
              1.05622,
              1.18612
            ],
            [
              0.43667,
              0.87717,
              0.93977,
              1.01527,
              1.10477,
              1.21437,
              1.34227
            ],
            [
              0.5463,
              1.1041,
              1.1756,
              1.2543,
              1.3438,
              1.4512,
              1.5813
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.05153,
              0.28495,
              0.33164,
              0.3872,
              0.45414,
              0.53512,
              0.63103
            ],
            [
              0.05154,
              0.28496,
              0.33155,
              0.38716,
              0.45461,
              0.53446,
              0.63116
            ],
            [
              0.05153,
              0.28458,
              0.33152,
              0.3872,
              0.45475,
              0.53426,
              0.63105
            ],
            [
              0.05156,
              0.28451,
              0.33117,
              0.38719,
              0.45469,
              0.53433,
              0.63121
            ],
            [
              0.05163,
              0.28496,
              0.33131,
              0.3872,
              0.45425,
              0.53462,
              0.63107
            ],
            [
              0.05156,
              0.28456,
              0.33156,
              0.38727,
              0.45426,
              0.5354,
              0.63062
            ],
            [
              0.05586,
              0.28456,
              0.33161,
              0.38709,
              0.45425,
              0.5354,
              0.63168
            ],
            [
              0.06767,
              0.28492,
              0.33131,
              0.38713,
              0.45418,
              0.53452,
              0.63104
            ],
            [
              0.08378,
              0.28599,
              0.33109,
              0.38713,
              0.45455,
              0.53452,
              0.6311
            ],
            [
              0.10669,
              0.29879,
              0.34071,
              0.39215,
              0.45656,
              0.53548,
              0.63163
            ],
            [
              0.13791,
              0.33499,
              0.37146,
              0.41791,
              0.47639,
              0.54838,
              0.6383
            ],
            [
              0.1803,
              0.4058,
              0.4392,
              0.4794,
              0.5298,
              0.5938,
              0.6742
            ],
            [
              0.2362,
              0.5056,
              0.5438,
              0.5871,
              0.6364,
              0.6928,
              0.7637
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.09729,
              0.51694,
              0.60074,
              0.70095,
              0.82064,
              0.96393,
              1.13763
            ],
            [
              0.09708,
              0.51699,
              0.60061,
              0.70084,
              0.82037,
              0.96432,
              1.13793
            ],
            [
              0.09703,
              0.5171,
              0.60068,
              0.70075,
              0.82018,
              0.9645,
              1.13798
            ],
            [
              0.09681,
              0.5167,
              0.6007,
              0.70078,
              0.82021,
              0.96448,
              1.13803
            ],
            [
              0.09661,
              0.517,
              0.60058,
              0.70064,
              0.82126,
              0.96424,
              1.1375
            ],
            [
              0.09606,
              0.5165,
              0.60071,
              0.70087,
              0.8204,
              0.96439,
              1.13781
            ],
            [
              0.09517,
              0.51698,
              0.60058,
              0.70034,
              0.82034,
              0.96493,
              1.13718
            ],
            [
              0.10072,
              0.51692,
              0.59955,
              0.70077,
              0.821,
              0.96434,
              1.13685
            ],
            [
              0.11736,
              0.51594,
              0.60039,
              0.70077,
              0.82,
              0.96445,
              1.13814
            ],
            [
              0.14833,
              0.51577,
              0.60007,
              0.69942,
              0.81945,
              0.96511,
              1.13711
            ],
            [
              0.18387,
              0.5237,
              0.6025,
              0.6999,
              0.8192,
              0.965,
              1.1362
            ],
            [
              0.2326,
              0.5609,
              0.6311,
              0.7189,
              0.8303,
              0.9667,
              1.1367
            ],
            [
              0.2963,
              0.647,
              0.7064,
              0.7842,
              0.8815,
              1.006,
              1.1594
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.06787,
              0.24298,
              0.27733,
              0.31923,
              0.36879,
              0.42908,
              0.50074
            ],
            [
              0.06994,
              0.24565,
              0.28045,
              0.32223,
              0.37171,
              0.43195,
              0.50343
            ],
            [
              0.07259,
              0.24904,
              0.28409,
              0.32579,
              0.37554,
              0.43565,
              0.5074
            ],
            [
              0.07679,
              0.25451,
              0.28919,
              0.33099,
              0.38104,
              0.44098,
              0.51243
            ],
            [
              0.08338,
              0.2622,
              0.29726,
              0.33902,
              0.38883,
              0.44855,
              0.52081
            ],
            [
              0.09369,
              0.2737,
              0.30887,
              0.35083,
              0.40079,
              0.46042,
              0.53285
            ],
            [
              0.11003,
              0.29111,
              0.32607,
              0.3682,
              0.41824,
              0.47837,
              0.55054
            ],
            [
              0.13105,
              0.31691,
              0.35216,
              0.39417,
              0.44416,
              0.50484,
              0.57666
            ],
            [
              0.15563,
              0.35593,
              0.39108,
              0.43307,
              0.48381,
              0.54408,
              0.61572
            ],
            [
              0.184,
              0.41487,
              0.45007,
              0.4923,
              0.54239,
              0.60296,
              0.67549
            ],
            [
              0.21615,
              0.50122,
              0.53912,
              0.58152,
              0.63142,
              0.69242,
              0.76482
            ],
            [
              0.25067,
              0.60767,
              0.65447,
              0.70677,
              0.76387,
              0.82687,
              0.89917
            ],
            [
              0.2854,
              0.7342,
              0.7931,
              0.8576,
              0.9288,
              1.0071,
              1.0934
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.1028,
              0.41006,
              0.47107,
              0.54428,
              0.63176,
              0.73648,
              0.86232
            ],
            [
              0.1045,
              0.41306,
              0.47384,
              0.54729,
              0.63501,
              0.73978,
              0.86573
            ],
            [
              0.10688,
              0.4165,
              0.47784,
              0.55071,
              0.6384,
              0.74378,
              0.86986
            ],
            [
              0.1111,
              0.42201,
              0.48307,
              0.55639,
              0.64399,
              0.74947,
              0.87533
            ],
            [
              0.11811,
              0.4303,
              0.49122,
              0.56495,
              0.65277,
              0.75736,
              0.88349
            ],
            [
              0.13015,
              0.44308,
              0.50405,
              0.57765,
              0.66514,
              0.77071,
              0.89669
            ],
            [
              0.14934,
              0.46226,
              0.52359,
              0.59673,
              0.68521,
              0.79067,
              0.91663
            ],
            [
              0.18005,
              0.49246,
              0.5536,
              0.62664,
              0.71481,
              0.8198,
              0.94686
            ],
            [
              0.22433,
              0.53711,
              0.59914,
              0.67289,
              0.76075,
              0.86695,
              0.99345
            ],
            [
              0.27898,
              0.60552,
              0.66789,
              0.74099,
              0.82939,
              0.93449,
              1.06139
            ],
            [
              0.34799,
              0.71062,
              0.77212,
              0.84572,
              0.93392,
              1.03982,
              1.16562
            ],
            [
              0.43447,
              0.86987,
              0.93097,
              1.00417,
              1.09177,
              1.19807,
              1.32347
            ],
            [
              0.5438,
              1.096,
              1.1666,
              1.2443,
              1.3316,
              1.4361,
              1.5628
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.05155,
              0.285,
              0.3311,
              0.38716,
              0.45421,
              0.53521,
              0.6309
            ],
            [
              0.05154,
              0.28496,
              0.3316,
              0.38687,
              0.45426,
              0.53445,
              0.63113
            ],
            [
              0.05159,
              0.28461,
              0.33149,
              0.38726,
              0.45486,
              0.53508,
              0.63059
            ],
            [
              0.05159,
              0.28498,
              0.33117,
              0.38769,
              0.45471,
              0.53473,
              0.63116
            ],
            [
              0.05164,
              0.28496,
              0.33139,
              0.38701,
              0.45424,
              0.53471,
              0.63084
            ],
            [
              0.05165,
              0.2846,
              0.33162,
              0.38736,
              0.45416,
              0.53471,
              0.63171
            ],
            [
              0.05582,
              0.28455,
              0.3316,
              0.38698,
              0.45419,
              0.53547,
              0.63153
            ],
            [
              0.06774,
              0.28491,
              0.33132,
              0.38708,
              0.4542,
              0.5345,
              0.63105
            ],
            [
              0.08387,
              0.28599,
              0.33108,
              0.38715,
              0.45455,
              0.53446,
              0.63113
            ],
            [
              0.10669,
              0.29883,
              0.34075,
              0.3922,
              0.45657,
              0.53552,
              0.63169
            ],
            [
              0.13794,
              0.33504,
              0.3716,
              0.41807,
              0.47647,
              0.54858,
              0.6384
            ],
            [
              0.18039,
              0.406,
              0.4394,
              0.4796,
              0.5297,
              0.5939,
              0.6743
            ],
            [
              0.2363,
              0.5058,
              0.5437,
              0.5872,
              0.6366,
              0.6929,
              0.7638
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.09453,
              0.50365,
              0.58494,
              0.68225,
              0.79955,
              0.94102,
              1.11007
            ],
            [
              0.09455,
              0.50372,
              0.58521,
              0.68311,
              0.79914,
              0.94087,
              1.11011
            ],
            [
              0.09432,
              0.50375,
              0.58476,
              0.6828,
              0.80045,
              0.94115,
              1.10809
            ],
            [
              0.09419,
              0.50365,
              0.58526,
              0.6825,
              0.80051,
              0.94025,
              1.10821
            ],
            [
              0.09405,
              0.50378,
              0.5852,
              0.68258,
              0.79945,
              0.94114,
              1.1092
            ],
            [
              0.09341,
              0.50353,
              0.58522,
              0.68224,
              0.8004,
              0.9404,
              1.10828
            ],
            [
              0.09297,
              0.50318,
              0.58499,
              0.68323,
              0.79992,
              0.93938,
              1.10896
            ],
            [
              0.09858,
              0.50353,
              0.5852,
              0.68258,
              0.8001,
              0.94107,
              1.10889
            ],
            [
              0.11564,
              0.5034,
              0.58411,
              0.68293,
              0.80022,
              0.94004,
              1.10841
            ],
            [
              0.14639,
              0.50289,
              0.58401,
              0.68295,
              0.79891,
              0.94096,
              1.1091
            ],
            [
              0.18206,
              0.511,
              0.5875,
              0.6828,
              0.799,
              0.9387,
              1.1091
            ],
            [
              0.2307,
              0.5495,
              0.6168,
              0.703,
              0.8108,
              0.9426,
              1.1085
            ],
            [
              0.2942,
              0.6379,
              0.6956,
              0.7694,
              0.8645,
              0.9842,
              1.1337
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.06793,
              0.243,
              0.27736,
              0.3194,
              0.36911,
              0.42891,
              0.50079
            ],
            [
              0.0702,
              0.24569,
              0.28068,
              0.32241,
              0.37184,
              0.43214,
              0.50328
            ],
            [
              0.07293,
              0.2496,
              0.28423,
              0.32562,
              0.37549,
              0.43613,
              0.50741
            ],
            [
              0.0772,
              0.25482,
              0.28976,
              0.33116,
              0.38139,
              0.4412,
              0.51257
            ],
            [
              0.08401,
              0.26272,
              0.29747,
              0.33964,
              0.3892,
              0.44958,
              0.52079
            ],
            [
              0.09451,
              0.27478,
              0.30942,
              0.35164,
              0.40157,
              0.46126,
              0.5337
            ],
            [
              0.11104,
              0.29245,
              0.32742,
              0.36943,
              0.41953,
              0.47912,
              0.55152
            ],
            [
              0.13251,
              0.31844,
              0.35358,
              0.39537,
              0.44608,
              0.506,
              0.57809
            ],
            [
              0.15743,
              0.35743,
              0.39278,
              0.43493,
              0.48546,
              0.54538,
              0.61763
            ],
            [
              0.18606,
              0.41663,
              0.45186,
              0.49413,
              0.54462,
              0.6048,
              0.67719
            ],
            [
              0.21805,
              0.50302,
              0.54102,
              0.58362,
              0.63382,
              0.69422,
              0.76662
            ],
            [
              0.25237,
              0.60977,
              0.65677,
              0.70877,
              0.76587,
              0.82927,
              0.90127
            ],
            [
              0.2866,
              0.7367,
              0.7953,
              0.8599,
              0.9305,
              1.009,
              1.0949
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.12832,
              0.55252,
              0.63612,
              0.7373,
              0.85874,
              1.00387,
              1.17707
            ],
            [
              0.12937,
              0.55534,
              0.63908,
              0.74015,
              0.86077,
              1.00654,
              1.17994
            ],
            [
              0.13097,
              0.55879,
              0.64272,
              0.74335,
              0.8651,
              1.01062,
              1.18422
            ],
            [
              0.13387,
              0.56363,
              0.64753,
              0.74862,
              0.87035,
              1.01578,
              1.18908
            ],
            [
              0.13999,
              0.57096,
              0.65533,
              0.75614,
              0.87757,
              1.02301,
              1.19781
            ],
            [
              0.15025,
              0.58241,
              0.66692,
              0.76771,
              0.88973,
              1.03562,
              1.20932
            ],
            [
              0.16797,
              0.60009,
              0.6846,
              0.78567,
              0.90783,
              1.05393,
              1.22773
            ],
            [
              0.19694,
              0.62728,
              0.71203,
              0.81351,
              0.93556,
              1.08046,
              1.25596
            ],
            [
              0.2428,
              0.66877,
              0.75445,
              0.85665,
              0.97785,
              1.12435,
              1.29945
            ],
            [
              0.30077,
              0.73259,
              0.81819,
              0.92049,
              1.04289,
              1.18899,
              1.36329
            ],
            [
              0.37364,
              0.83132,
              0.91682,
              1.01912,
              1.14022,
              1.28722,
              1.46182
            ],
            [
              0.46477,
              0.98097,
              1.06527,
              1.16677,
              1.28887,
              1.43417,
              1.60997
            ],
            [
              0.579,
              1.2099,
              1.2938,
              1.3942,
              1.5147,
              1.6596,
              1.8334
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.05152,
              0.28426,
              0.33112,
              0.38736,
              0.45419,
              0.53536,
              0.6312
            ],
            [
              0.05154,
              0.28476,
              0.33128,
              0.38693,
              0.45408,
              0.53429,
              0.63112
            ],
            [
              0.05157,
              0.28446,
              0.33112,
              0.38714,
              0.45415,
              0.53472,
              0.63133
            ],
            [
              0.05153,
              0.2849,
              0.33086,
              0.38721,
              0.4548,
              0.53467,
              0.63103
            ],
            [
              0.0515,
              0.28456,
              0.33109,
              0.38712,
              0.45417,
              0.53421,
              0.63116
            ],
            [
              0.05153,
              0.28449,
              0.33119,
              0.38758,
              0.45422,
              0.53453,
              0.63163
            ],
            [
              0.05544,
              0.28467,
              0.33111,
              0.38729,
              0.45397,
              0.53468,
              0.63187
            ],
            [
              0.06689,
              0.28487,
              0.33102,
              0.38714,
              0.45475,
              0.53473,
              0.63201
            ],
            [
              0.08274,
              0.28582,
              0.33106,
              0.3876,
              0.45442,
              0.53466,
              0.6319
            ],
            [
              0.10528,
              0.29818,
              0.34028,
              0.39183,
              0.45581,
              0.53543,
              0.63166
            ],
            [
              0.13664,
              0.33403,
              0.37052,
              0.41695,
              0.47547,
              0.54798,
              0.6378
            ],
            [
              0.17888,
              0.4041,
              0.4375,
              0.4779,
              0.5285,
              0.5924,
              0.6733
            ],
            [
              0.235,
              0.5036,
              0.5416,
              0.5853,
              0.6352,
              0.6913,
              0.7628
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.1349,
              0.69677,
              0.80762,
              0.94042,
              1.10102,
              1.29337,
              1.52302
            ],
            [
              0.13445,
              0.69641,
              0.80764,
              0.94181,
              1.10124,
              1.29319,
              1.52205
            ],
            [
              0.13407,
              0.69672,
              0.80785,
              0.94069,
              1.1007,
              1.29298,
              1.52319
            ],
            [
              0.13361,
              0.69683,
              0.80781,
              0.9406,
              1.10076,
              1.29322,
              1.52313
            ],
            [
              0.13276,
              0.69642,
              0.80807,
              0.94159,
              1.10112,
              1.29133,
              1.52261
            ],
            [
              0.13152,
              0.69651,
              0.80796,
              0.94089,
              1.10049,
              1.29304,
              1.5231
            ],
            [
              0.12957,
              0.69677,
              0.80804,
              0.94105,
              1.10046,
              1.29311,
              1.5231
            ],
            [
              0.13071,
              0.69556,
              0.80778,
              0.94172,
              1.10156,
              1.29236,
              1.52157
            ],
            [
              0.14336,
              0.69614,
              0.80721,
              0.94151,
              1.10082,
              1.2921,
              1.52285
            ],
            [
              0.17239,
              0.69545,
              0.80647,
              0.94018,
              1.1011,
              1.29287,
              1.523
            ],
            [
              0.20979,
              0.6943,
              0.8042,
              0.9407,
              1.1001,
              1.2929,
              1.5229
            ],
            [
              0.2577,
              0.7156,
              0.8182,
              0.9435,
              1.1002,
              1.2909,
              1.5219
            ],
            [
              0.3231,
              0.7842,
              0.8735,
              0.987,
              1.1293,
              1.3064,
              1.5258
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.06838,
              0.24325,
              0.27788,
              0.31953,
              0.36938,
              0.42919,
              0.50074
            ],
            [
              0.07049,
              0.24616,
              0.28079,
              0.32244,
              0.37241,
              0.43208,
              0.50394
            ],
            [
              0.07314,
              0.24966,
              0.28438,
              0.326,
              0.37597,
              0.43568,
              0.50752
            ],
            [
              0.07734,
              0.25488,
              0.28968,
              0.33131,
              0.38128,
              0.44106,
              0.51294
            ],
            [
              0.08395,
              0.2628,
              0.29755,
              0.33933,
              0.38923,
              0.44922,
              0.52084
            ],
            [
              0.09433,
              0.2744,
              0.30926,
              0.35107,
              0.40106,
              0.46099,
              0.53295
            ],
            [
              0.11067,
              0.2916,
              0.32663,
              0.36851,
              0.41862,
              0.47874,
              0.55062
            ],
            [
              0.13188,
              0.3175,
              0.35257,
              0.39447,
              0.44483,
              0.50503,
              0.5769
            ],
            [
              0.15667,
              0.35652,
              0.39149,
              0.43379,
              0.48428,
              0.54432,
              0.61637
            ],
            [
              0.1853,
              0.41563,
              0.45075,
              0.49281,
              0.54271,
              0.60357,
              0.67569
            ],
            [
              0.21779,
              0.50222,
              0.54002,
              0.58242,
              0.63222,
              0.69312,
              0.76522
            ],
            [
              0.25287,
              0.60887,
              0.65567,
              0.70777,
              0.76467,
              0.82797,
              0.90017
            ],
            [
              0.2884,
              0.7359,
              0.7942,
              0.859,
              0.9302,
              1.0084,
              1.0943
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.13471,
              0.44908,
              0.51127,
              0.58593,
              0.67513,
              0.7824,
              0.91065
            ],
            [
              0.137,
              0.4522,
              0.51436,
              0.58905,
              0.67839,
              0.78566,
              0.91391
            ],
            [
              0.13979,
              0.45576,
              0.518,
              0.59272,
              0.68202,
              0.78919,
              0.91756
            ],
            [
              0.14433,
              0.46119,
              0.52343,
              0.59825,
              0.68758,
              0.79497,
              0.92327
            ],
            [
              0.15154,
              0.46946,
              0.5318,
              0.60663,
              0.69608,
              0.80336,
              0.93176
            ],
            [
              0.16327,
              0.48193,
              0.54438,
              0.61928,
              0.70878,
              0.81628,
              0.94472
            ],
            [
              0.18211,
              0.50131,
              0.56391,
              0.63891,
              0.72858,
              0.8362,
              0.96473
            ],
            [
              0.21178,
              0.53146,
              0.59335,
              0.66851,
              0.75832,
              0.86586,
              0.99476
            ],
            [
              0.25839,
              0.57647,
              0.6393,
              0.71459,
              0.80455,
              0.91225,
              1.04085
            ],
            [
              0.32352,
              0.64489,
              0.70709,
              0.78259,
              0.87249,
              0.98029,
              1.10929
            ],
            [
              0.40494,
              0.74942,
              0.81202,
              0.88712,
              0.97702,
              1.08482,
              1.21382
            ],
            [
              0.50777,
              0.90787,
              0.97087,
              1.04507,
              1.13497,
              1.24277,
              1.37087
            ],
            [
              0.6371,
              1.141,
              1.2093,
              1.2851,
              1.3742,
              1.4812,
              1.6099
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.07084,
              0.30326,
              0.34972,
              0.40563,
              0.47267,
              0.55273,
              0.64925
            ],
            [
              0.07084,
              0.3033,
              0.35006,
              0.4059,
              0.47265,
              0.55324,
              0.64882
            ],
            [
              0.07086,
              0.3033,
              0.35001,
              0.40556,
              0.47278,
              0.55329,
              0.6492
            ],
            [
              0.07087,
              0.3034,
              0.34976,
              0.4059,
              0.4727,
              0.55318,
              0.6493
            ],
            [
              0.07087,
              0.30353,
              0.35005,
              0.40582,
              0.47246,
              0.55309,
              0.64919
            ],
            [
              0.07093,
              0.30339,
              0.35016,
              0.40586,
              0.47256,
              0.55329,
              0.64919
            ],
            [
              0.07518,
              0.30336,
              0.35008,
              0.4056,
              0.47269,
              0.55275,
              0.64944
            ],
            [
              0.08693,
              0.30343,
              0.35008,
              0.4055,
              0.47266,
              0.55305,
              0.64918
            ],
            [
              0.10748,
              0.30461,
              0.35017,
              0.40574,
              0.47271,
              0.55331,
              0.64928
            ],
            [
              0.13526,
              0.31779,
              0.35948,
              0.411,
              0.47484,
              0.55325,
              0.64922
            ],
            [
              0.17363,
              0.35418,
              0.39097,
              0.4369,
              0.4946,
              0.56666,
              0.6562
            ],
            [
              0.22571,
              0.4262,
              0.4583,
              0.4984,
              0.5488,
              0.6127,
              0.6928
            ],
            [
              0.2951,
              0.5299,
              0.5666,
              0.6082,
              0.6559,
              0.7119,
              0.7825
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.11784,
              0.53465,
              0.6175,
              0.71663,
              0.83622,
              0.97919,
              1.15067
            ],
            [
              0.11794,
              0.53486,
              0.61733,
              0.71756,
              0.8367,
              0.9788,
              1.15138
            ],
            [
              0.11784,
              0.53436,
              0.61731,
              0.71681,
              0.83652,
              0.97968,
              1.15179
            ],
            [
              0.11774,
              0.53483,
              0.61788,
              0.71685,
              0.83702,
              0.97969,
              1.15168
            ],
            [
              0.11761,
              0.53488,
              0.61753,
              0.71766,
              0.83669,
              0.97918,
              1.15145
            ],
            [
              0.11739,
              0.53472,
              0.61801,
              0.717,
              0.83654,
              0.97976,
              1.15079
            ],
            [
              0.11704,
              0.53433,
              0.618,
              0.71757,
              0.83706,
              0.97909,
              1.15181
            ],
            [
              0.11697,
              0.53493,
              0.61735,
              0.71785,
              0.83609,
              0.97995,
              1.15138
            ],
            [
              0.12686,
              0.53479,
              0.61798,
              0.71753,
              0.83692,
              0.98031,
              1.15074
            ],
            [
              0.15278,
              0.53449,
              0.61686,
              0.71671,
              0.83634,
              0.98012,
              1.15194
            ],
            [
              0.1912,
              0.539,
              0.6188,
              0.7168,
              0.8365,
              0.9787,
              1.151
            ],
            [
              0.2397,
              0.5724,
              0.6427,
              0.7327,
              0.8435,
              0.9817,
              1.1503
            ],
            [
              0.3054,
              0.6529,
              0.7148,
              0.793,
              0.8919,
              1.0167,
              1.1717
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.06852,
              0.24334,
              0.27798,
              0.31956,
              0.36938,
              0.42914,
              0.50082
            ],
            [
              0.07072,
              0.24632,
              0.28097,
              0.32264,
              0.37245,
              0.43221,
              0.5039
            ],
            [
              0.07347,
              0.24992,
              0.28462,
              0.3263,
              0.37614,
              0.43598,
              0.50763
            ],
            [
              0.0778,
              0.25523,
              0.29001,
              0.33171,
              0.38166,
              0.44143,
              0.51328
            ],
            [
              0.0846,
              0.26334,
              0.29809,
              0.33989,
              0.38981,
              0.44967,
              0.52142
            ],
            [
              0.09515,
              0.27521,
              0.31006,
              0.35193,
              0.40189,
              0.4619,
              0.53371
            ],
            [
              0.11168,
              0.29275,
              0.32774,
              0.36963,
              0.41974,
              0.47978,
              0.55168
            ],
            [
              0.13334,
              0.31891,
              0.35404,
              0.39605,
              0.44629,
              0.50633,
              0.57834
            ],
            [
              0.15847,
              0.35802,
              0.39327,
              0.43544,
              0.48574,
              0.5458,
              0.61776
            ],
            [
              0.1874,
              0.41733,
              0.45251,
              0.49472,
              0.54511,
              0.60543,
              0.67749
            ],
            [
              0.21976,
              0.50402,
              0.54192,
              0.58442,
              0.63462,
              0.69482,
              0.76692
            ],
            [
              0.25467,
              0.61097,
              0.65797,
              0.70997,
              0.76687,
              0.83027,
              0.90217
            ],
            [
              0.2897,
              0.7383,
              0.7968,
              0.8613,
              0.932,
              1.0104,
              1.0962
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.17214,
              0.60238,
              0.68753,
              0.78981,
              0.91222,
              1.05907,
              1.23487
            ],
            [
              0.17388,
              0.60538,
              0.69058,
              0.79291,
              0.91534,
              1.06224,
              1.23814
            ],
            [
              0.17607,
              0.60865,
              0.69392,
              0.7963,
              0.91879,
              1.06572,
              1.24162
            ],
            [
              0.17966,
              0.61357,
              0.69891,
              0.80137,
              0.92395,
              1.07088,
              1.24698
            ],
            [
              0.18566,
              0.62108,
              0.70654,
              0.8091,
              0.93179,
              1.07871,
              1.25501
            ],
            [
              0.1958,
              0.63255,
              0.71811,
              0.82079,
              0.94352,
              1.09072,
              1.26692
            ],
            [
              0.21272,
              0.65019,
              0.73594,
              0.83881,
              0.96173,
              1.10903,
              1.28543
            ],
            [
              0.24023,
              0.67794,
              0.76331,
              0.86636,
              0.98946,
              1.13696,
              1.31346
            ],
            [
              0.2839,
              0.71986,
              0.80595,
              0.90915,
              1.03245,
              1.17985,
              1.35665
            ],
            [
              0.35196,
              0.78379,
              0.86999,
              0.97329,
              1.09659,
              1.24439,
              1.42129
            ],
            [
              0.43832,
              0.88252,
              0.96842,
              1.07162,
              1.19492,
              1.34272,
              1.51962
            ],
            [
              0.54677,
              1.03177,
              1.11737,
              1.22017,
              1.34317,
              1.49077,
              1.66757
            ],
            [
              0.6829,
              1.2611,
              1.3453,
              1.4473,
              1.5687,
              1.7161,
              1.8928
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.07079,
              0.30334,
              0.34982,
              0.40552,
              0.47277,
              0.55293,
              0.64885
            ],
            [
              0.07078,
              0.30337,
              0.34984,
              0.40564,
              0.4724,
              0.55294,
              0.64921
            ],
            [
              0.0708,
              0.30335,
              0.34998,
              0.40583,
              0.47266,
              0.5533,
              0.64882
            ],
            [
              0.07079,
              0.30333,
              0.34978,
              0.40584,
              0.47256,
              0.55331,
              0.64907
            ],
            [
              0.07081,
              0.30342,
              0.34973,
              0.4056,
              0.47236,
              0.5533,
              0.64929
            ],
            [
              0.0708,
              0.30341,
              0.35004,
              0.40602,
              0.47259,
              0.55303,
              0.64922
            ],
            [
              0.07475,
              0.30335,
              0.34974,
              0.4057,
              0.47249,
              0.55328,
              0.64892
            ],
            [
              0.08605,
              0.3034,
              0.35008,
              0.40605,
              0.47277,
              0.5531,
              0.64936
            ],
            [
              0.1062,
              0.30448,
              0.3501,
              0.40587,
              0.47293,
              0.55293,
              0.64934
            ],
            [
              0.13355,
              0.31699,
              0.35875,
              0.41063,
              0.47482,
              0.55346,
              0.6493
            ],
            [
              0.17183,
              0.35289,
              0.38948,
              0.43583,
              0.49365,
              0.56629,
              0.6554
            ],
            [
              0.22388,
              0.4242,
              0.4566,
              0.497,
              0.5474,
              0.6114,
              0.6915
            ],
            [
              0.2936,
              0.5275,
              0.564,
              0.6059,
              0.6544,
              0.7103,
              0.7815
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.16696,
              0.73399,
              0.8463,
              0.98143,
              1.14306,
              1.33655,
              1.57023
            ],
            [
              0.16685,
              0.73474,
              0.84669,
              0.98113,
              1.14287,
              1.33716,
              1.56973
            ],
            [
              0.16674,
              0.73406,
              0.84616,
              0.98141,
              1.14295,
              1.33643,
              1.57024
            ],
            [
              0.1664,
              0.73448,
              0.8463,
              0.9813,
              1.14306,
              1.33778,
              1.57058
            ],
            [
              0.16602,
              0.73412,
              0.84624,
              0.98151,
              1.14303,
              1.33827,
              1.57049
            ],
            [
              0.16538,
              0.73487,
              0.84705,
              0.98191,
              1.14273,
              1.33642,
              1.57021
            ],
            [
              0.16424,
              0.73494,
              0.84723,
              0.98113,
              1.14283,
              1.33768,
              1.57074
            ],
            [
              0.16204,
              0.73403,
              0.84679,
              0.98142,
              1.14406,
              1.3384,
              1.56978
            ],
            [
              0.16624,
              0.73452,
              0.84726,
              0.98167,
              1.14435,
              1.33662,
              1.56909
            ],
            [
              0.18538,
              0.73392,
              0.84615,
              0.9825,
              1.14363,
              1.337,
              1.5697
            ],
            [
              0.2264,
              0.7316,
              0.8452,
              0.9822,
              1.144,
              1.338,
              1.5704
            ],
            [
              0.2737,
              0.7484,
              0.8537,
              0.9836,
              1.1421,
              1.3369,
              1.5693
            ],
            [
              0.34,
              0.8088,
              0.9035,
              1.0203,
              1.1673,
              1.3483,
              1.5719
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.06849,
              0.24334,
              0.27796,
              0.31958,
              0.3694,
              0.42924,
              0.5008
            ],
            [
              0.07071,
              0.24632,
              0.28097,
              0.32263,
              0.37245,
              0.43223,
              0.50389
            ],
            [
              0.07346,
              0.2499,
              0.28461,
              0.32629,
              0.37613,
              0.43591,
              0.50766
            ],
            [
              0.07777,
              0.25521,
              0.28998,
              0.33169,
              0.38164,
              0.4414,
              0.51321
            ],
            [
              0.08453,
              0.26329,
              0.29811,
              0.33985,
              0.3898,
              0.44972,
              0.52138
            ],
            [
              0.09507,
              0.27515,
              0.30999,
              0.35186,
              0.40184,
              0.46187,
              0.53366
            ],
            [
              0.11157,
              0.29267,
              0.32763,
              0.36954,
              0.41964,
              0.47974,
              0.55159
            ],
            [
              0.13317,
              0.31875,
              0.3539,
              0.39591,
              0.44614,
              0.50619,
              0.57824
            ],
            [
              0.15824,
              0.35774,
              0.39306,
              0.43523,
              0.48561,
              0.54561,
              0.61786
            ],
            [
              0.18704,
              0.41713,
              0.4523,
              0.49447,
              0.54485,
              0.60515,
              0.67719
            ],
            [
              0.21947,
              0.50372,
              0.54172,
              0.58422,
              0.63432,
              0.69442,
              0.76652
            ],
            [
              0.25427,
              0.61067,
              0.65767,
              0.70967,
              0.76657,
              0.82997,
              0.90187
            ],
            [
              0.2895,
              0.738,
              0.7965,
              0.8609,
              0.9315,
              1.01,
              1.0959
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.19633,
              0.61446,
              0.69655,
              0.79505,
              0.91286,
              1.05407,
              1.22337
            ],
            [
              0.19839,
              0.61748,
              0.69964,
              0.79822,
              0.91601,
              1.05734,
              1.22654
            ],
            [
              0.20094,
              0.62078,
              0.70301,
              0.80165,
              0.91957,
              1.06092,
              1.23012
            ],
            [
              0.20499,
              0.62582,
              0.7081,
              0.80678,
              0.92473,
              1.06607,
              1.23538
            ],
            [
              0.21155,
              0.63345,
              0.71583,
              0.81461,
              0.93261,
              1.07401,
              1.24341
            ],
            [
              0.22225,
              0.64513,
              0.72762,
              0.82649,
              0.94462,
              1.08622,
              1.25562
            ],
            [
              0.23941,
              0.66308,
              0.74574,
              0.84473,
              0.96313,
              1.10483,
              1.27443
            ],
            [
              0.26685,
              0.69073,
              0.77353,
              0.87276,
              0.99116,
              1.13296,
              1.30266
            ],
            [
              0.30987,
              0.73362,
              0.81665,
              0.91605,
              1.03445,
              1.17645,
              1.34635
            ],
            [
              0.37863,
              0.79859,
              0.88129,
              0.98039,
              1.09939,
              1.24159,
              1.41169
            ],
            [
              0.47382,
              0.89752,
              0.98002,
              1.07962,
              1.19852,
              1.34062,
              1.51072
            ],
            [
              0.59317,
              1.04837,
              1.13077,
              1.22937,
              1.34777,
              1.49027,
              1.66027
            ],
            [
              0.743,
              1.2786,
              1.3601,
              1.4584,
              1.5749,
              1.7167,
              1.8866
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.0771,
              0.32028,
              0.36689,
              0.42283,
              0.48967,
              0.57,
              0.66578
            ],
            [
              0.0771,
              0.32032,
              0.36676,
              0.42281,
              0.48969,
              0.56976,
              0.66624
            ],
            [
              0.07712,
              0.3203,
              0.3668,
              0.42289,
              0.48975,
              0.56965,
              0.66574
            ],
            [
              0.07711,
              0.32031,
              0.36692,
              0.42286,
              0.48961,
              0.56971,
              0.66579
            ],
            [
              0.07714,
              0.32036,
              0.36679,
              0.42277,
              0.4897,
              0.5698,
              0.66618
            ],
            [
              0.07712,
              0.32031,
              0.36681,
              0.42275,
              0.4897,
              0.56981,
              0.66588
            ],
            [
              0.08109,
              0.3203,
              0.36696,
              0.42279,
              0.48986,
              0.56989,
              0.66582
            ],
            [
              0.0926,
              0.3203,
              0.3668,
              0.42283,
              0.48959,
              0.56999,
              0.6662
            ],
            [
              0.11671,
              0.32132,
              0.36702,
              0.42283,
              0.48971,
              0.56991,
              0.66574
            ],
            [
              0.14917,
              0.33409,
              0.37602,
              0.4278,
              0.49148,
              0.5698,
              0.66571
            ],
            [
              0.19396,
              0.37005,
              0.40664,
              0.45308,
              0.51116,
              0.58296,
              0.6727
            ],
            [
              0.25418,
              0.4418,
              0.4736,
              0.5139,
              0.5648,
              0.6282,
              0.7087
            ],
            [
              0.3339,
              0.5479,
              0.5834,
              0.6248,
              0.6718,
              0.7273,
              0.7976
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.18349,
              0.72916,
              0.83734,
              0.96749,
              1.12305,
              1.30964,
              1.53341
            ],
            [
              0.18323,
              0.72809,
              0.83653,
              0.96723,
              1.12299,
              1.30969,
              1.53341
            ],
            [
              0.18333,
              0.72865,
              0.83724,
              0.96748,
              1.12316,
              1.30977,
              1.53273
            ],
            [
              0.18308,
              0.72809,
              0.8362,
              0.9673,
              1.12306,
              1.30966,
              1.53341
            ],
            [
              0.18294,
              0.72888,
              0.83661,
              0.96722,
              1.12307,
              1.3098,
              1.53331
            ],
            [
              0.18257,
              0.7286,
              0.83722,
              0.96741,
              1.1231,
              1.30967,
              1.53332
            ],
            [
              0.18213,
              0.72824,
              0.83719,
              0.96703,
              1.12304,
              1.30976,
              1.5334
            ],
            [
              0.18083,
              0.72822,
              0.83745,
              0.96675,
              1.12301,
              1.30958,
              1.5333
            ],
            [
              0.18024,
              0.72911,
              0.83625,
              0.967,
              1.123,
              1.30976,
              1.5333
            ],
            [
              0.19374,
              0.72869,
              0.83702,
              0.96632,
              1.12302,
              1.3092,
              1.5333
            ],
            [
              0.23005,
              0.7268,
              0.8364,
              0.9669,
              1.123,
              1.3094,
              1.5332
            ],
            [
              0.2794,
              0.7406,
              0.8423,
              0.9676,
              1.1202,
              1.3094,
              1.5323
            ],
            [
              0.3455,
              0.7982,
              0.8897,
              1.0026,
              1.1447,
              1.3195,
              1.5349
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B2)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B2)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.07946,
              0.25493,
              0.28953,
              0.33127,
              0.38127,
              0.44098,
              0.51227
            ],
            [
              0.08198,
              0.25836,
              0.29309,
              0.33447,
              0.38434,
              0.44469,
              0.51628
            ],
            [
              0.08503,
              0.26209,
              0.29712,
              0.33887,
              0.38858,
              0.44869,
              0.52056
            ],
            [
              0.08932,
              0.26771,
              0.3026,
              0.34429,
              0.39408,
              0.45397,
              0.52611
            ],
            [
              0.09547,
              0.2753,
              0.31019,
              0.35191,
              0.40167,
              0.46159,
              0.534
            ],
            [
              0.10477,
              0.28597,
              0.32085,
              0.3625,
              0.413,
              0.47274,
              0.5444
            ],
            [
              0.11901,
              0.30129,
              0.3362,
              0.37851,
              0.4287,
              0.48852,
              0.56042
            ],
            [
              0.13821,
              0.32409,
              0.35941,
              0.40178,
              0.45197,
              0.51229,
              0.5846
            ],
            [
              0.16294,
              0.35849,
              0.39372,
              0.43643,
              0.48661,
              0.54743,
              0.61957
            ],
            [
              0.1945,
              0.40996,
              0.44552,
              0.48819,
              0.53871,
              0.5998,
              0.67229
            ],
            [
              0.23281,
              0.48402,
              0.52232,
              0.56612,
              0.61702,
              0.67782,
              0.75092
            ],
            [
              0.27707,
              0.58057,
              0.62407,
              0.67367,
              0.73017,
              0.79477,
              0.86867
            ],
            [
              0.3259,
              0.7047,
              0.7558,
              0.8134,
              0.8782,
              0.9516,
              1.0348
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.11544,
              0.37836,
              0.4306,
              0.49329,
              0.5682,
              0.65803,
              0.76576
            ],
            [
              0.11751,
              0.38111,
              0.43332,
              0.49593,
              0.57101,
              0.66101,
              0.7688
            ],
            [
              0.12032,
              0.38461,
              0.43679,
              0.4995,
              0.57445,
              0.66457,
              0.77227
            ],
            [
              0.12492,
              0.38997,
              0.44221,
              0.50501,
              0.57995,
              0.67009,
              0.77782
            ],
            [
              0.13241,
              0.39839,
              0.45066,
              0.51343,
              0.58852,
              0.67852,
              0.78642
            ],
            [
              0.14452,
              0.41128,
              0.4636,
              0.5264,
              0.60149,
              0.69166,
              0.79949
            ],
            [
              0.16373,
              0.43089,
              0.48328,
              0.54607,
              0.62133,
              0.71137,
              0.81937
            ],
            [
              0.19379,
              0.46047,
              0.51292,
              0.57577,
              0.65093,
              0.74195,
              0.85026
            ],
            [
              0.23961,
              0.50539,
              0.55888,
              0.62196,
              0.69742,
              0.78765,
              0.89575
            ],
            [
              0.29732,
              0.57418,
              0.62708,
              0.69009,
              0.76549,
              0.85579,
              0.96399
            ],
            [
              0.36974,
              0.67912,
              0.73162,
              0.79432,
              0.86922,
              0.95982,
              1.06832
            ],
            [
              0.45947,
              0.83717,
              0.88937,
              0.95237,
              1.02767,
              1.11777,
              1.22497
            ],
            [
              0.5707,
              1.0516,
              1.1159,
              1.1871,
              1.2651,
              1.355,
              1.4626
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.05161,
              0.28452,
              0.33114,
              0.38773,
              0.4547,
              0.53455,
              0.63112
            ],
            [
              0.05163,
              0.285,
              0.33105,
              0.3872,
              0.45425,
              0.53516,
              0.63092
            ],
            [
              0.05168,
              0.28464,
              0.33152,
              0.38717,
              0.45426,
              0.53536,
              0.63143
            ],
            [
              0.05168,
              0.28458,
              0.33092,
              0.38771,
              0.45426,
              0.53468,
              0.63051
            ],
            [
              0.05163,
              0.28485,
              0.33118,
              0.38708,
              0.45425,
              0.53469,
              0.63105
            ],
            [
              0.05162,
              0.28466,
              0.33107,
              0.38723,
              0.45442,
              0.53467,
              0.63114
            ],
            [
              0.05367,
              0.28459,
              0.33118,
              0.38766,
              0.45408,
              0.53471,
              0.63105
            ],
            [
              0.06092,
              0.28459,
              0.33161,
              0.38726,
              0.45422,
              0.53539,
              0.63177
            ],
            [
              0.0717,
              0.28563,
              0.3313,
              0.38691,
              0.45422,
              0.53489,
              0.63107
            ],
            [
              0.08791,
              0.29427,
              0.33798,
              0.39119,
              0.4567,
              0.53487,
              0.63065
            ],
            [
              0.11226,
              0.31741,
              0.35743,
              0.40788,
              0.46899,
              0.54494,
              0.6372
            ],
            [
              0.1473,
              0.3637,
              0.402,
              0.4474,
              0.5038,
              0.5741,
              0.6608
            ],
            [
              0.1965,
              0.4328,
              0.4725,
              0.5195,
              0.5746,
              0.6394,
              0.7188
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.09768,
              0.44986,
              0.52027,
              0.60442,
              0.70588,
              0.82622,
              0.97163
            ],
            [
              0.09752,
              0.44962,
              0.51998,
              0.60475,
              0.70579,
              0.82701,
              0.9725
            ],
            [
              0.09753,
              0.45017,
              0.52008,
              0.60475,
              0.70552,
              0.82701,
              0.97144
            ],
            [
              0.0975,
              0.44974,
              0.52028,
              0.60475,
              0.70498,
              0.82695,
              0.97146
            ],
            [
              0.09738,
              0.45004,
              0.52045,
              0.60455,
              0.70578,
              0.82659,
              0.97126
            ],
            [
              0.09723,
              0.45013,
              0.52,
              0.60447,
              0.70552,
              0.82695,
              0.97213
            ],
            [
              0.09692,
              0.44971,
              0.5198,
              0.60494,
              0.70569,
              0.82708,
              0.97244
            ],
            [
              0.09978,
              0.45011,
              0.52017,
              0.60491,
              0.70564,
              0.82649,
              0.97248
            ],
            [
              0.11405,
              0.45007,
              0.51961,
              0.60469,
              0.70575,
              0.82592,
              0.97206
            ],
            [
              0.14395,
              0.44973,
              0.51998,
              0.60462,
              0.70555,
              0.82659,
              0.97249
            ],
            [
              0.17922,
              0.4633,
              0.5273,
              0.6075,
              0.7055,
              0.8264,
              0.9724
            ],
            [
              0.2272,
              0.5081,
              0.5648,
              0.6361,
              0.7254,
              0.8376,
              0.9747
            ],
            [
              0.2902,
              0.6046,
              0.6521,
              0.7133,
              0.7907,
              0.8897,
              1.0144
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.07958,
              0.25476,
              0.28942,
              0.33139,
              0.38114,
              0.44117,
              0.51261
            ],
            [
              0.08217,
              0.25836,
              0.29311,
              0.3349,
              0.38484,
              0.44463,
              0.51656
            ],
            [
              0.08522,
              0.26226,
              0.29725,
              0.33895,
              0.3889,
              0.44851,
              0.52062
            ],
            [
              0.08958,
              0.26787,
              0.30269,
              0.3443,
              0.39459,
              0.45456,
              0.52626
            ],
            [
              0.09583,
              0.27574,
              0.3105,
              0.35211,
              0.40225,
              0.4623,
              0.53369
            ],
            [
              0.1052,
              0.28638,
              0.32129,
              0.36338,
              0.41329,
              0.47341,
              0.54551
            ],
            [
              0.1195,
              0.30193,
              0.33697,
              0.37918,
              0.42934,
              0.48921,
              0.56153
            ],
            [
              0.13877,
              0.32494,
              0.36032,
              0.40255,
              0.45267,
              0.51273,
              0.58537
            ],
            [
              0.1635,
              0.35931,
              0.39456,
              0.43725,
              0.48743,
              0.54829,
              0.62039
            ],
            [
              0.19504,
              0.41081,
              0.44642,
              0.48909,
              0.53957,
              0.60047,
              0.67289
            ],
            [
              0.23331,
              0.48492,
              0.52312,
              0.56702,
              0.61792,
              0.67892,
              0.75192
            ],
            [
              0.27757,
              0.58147,
              0.62497,
              0.67467,
              0.73107,
              0.79577,
              0.86957
            ],
            [
              0.3263,
              0.7055,
              0.7566,
              0.8142,
              0.8791,
              0.9525,
              1.0358
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.12882,
              0.4309,
              0.49085,
              0.56276,
              0.6491,
              0.75245,
              0.87647
            ],
            [
              0.13068,
              0.43351,
              0.49345,
              0.56544,
              0.65167,
              0.75515,
              0.8789
            ],
            [
              0.13315,
              0.43671,
              0.49674,
              0.56876,
              0.65499,
              0.75835,
              0.88249
            ],
            [
              0.13734,
              0.4419,
              0.50196,
              0.57407,
              0.66029,
              0.76377,
              0.88762
            ],
            [
              0.14435,
              0.44989,
              0.51001,
              0.5822,
              0.66845,
              0.77215,
              0.89602
            ],
            [
              0.15584,
              0.46229,
              0.52245,
              0.59466,
              0.68103,
              0.78465,
              0.90871
            ],
            [
              0.17434,
              0.48127,
              0.54149,
              0.6138,
              0.70021,
              0.80371,
              0.92793
            ],
            [
              0.20351,
              0.51002,
              0.57026,
              0.64325,
              0.72981,
              0.83354,
              0.95786
            ],
            [
              0.24924,
              0.55457,
              0.61503,
              0.68749,
              0.77425,
              0.87815,
              1.00235
            ],
            [
              0.30863,
              0.62119,
              0.68159,
              0.75419,
              0.84079,
              0.94469,
              1.06919
            ],
            [
              0.38282,
              0.72272,
              0.78302,
              0.85512,
              0.94222,
              1.04602,
              1.17052
            ],
            [
              0.47457,
              0.87707,
              0.93697,
              1.00977,
              1.09467,
              1.19847,
              1.32297
            ],
            [
              0.5883,
              1.0968,
              1.1657,
              1.242,
              1.3281,
              1.4313,
              1.5551
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.05156,
              0.28461,
              0.33114,
              0.387,
              0.45486,
              0.53441,
              0.63112
            ],
            [
              0.05157,
              0.28457,
              0.33164,
              0.38766,
              0.45395,
              0.53454,
              0.63128
            ],
            [
              0.05163,
              0.28461,
              0.33165,
              0.3877,
              0.45407,
              0.53473,
              0.63205
            ],
            [
              0.05166,
              0.28498,
              0.33118,
              0.38722,
              0.45403,
              0.53523,
              0.63096
            ],
            [
              0.05166,
              0.28482,
              0.33105,
              0.38719,
              0.4542,
              0.53458,
              0.63115
            ],
            [
              0.05159,
              0.28458,
              0.33163,
              0.3873,
              0.45419,
              0.53552,
              0.63187
            ],
            [
              0.05356,
              0.28459,
              0.33163,
              0.38764,
              0.45412,
              0.53473,
              0.63212
            ],
            [
              0.06073,
              0.28457,
              0.33152,
              0.38726,
              0.45424,
              0.53462,
              0.6317
            ],
            [
              0.07144,
              0.28563,
              0.33127,
              0.38686,
              0.45422,
              0.53483,
              0.63111
            ],
            [
              0.08762,
              0.29413,
              0.33791,
              0.39108,
              0.45619,
              0.53511,
              0.63113
            ],
            [
              0.11193,
              0.31705,
              0.35715,
              0.40763,
              0.46886,
              0.54493,
              0.637
            ],
            [
              0.147,
              0.3632,
              0.4015,
              0.447,
              0.5034,
              0.5734,
              0.6605
            ],
            [
              0.196,
              0.432,
              0.4716,
              0.5189,
              0.5741,
              0.6389,
              0.7183
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.11377,
              0.5177,
              0.59786,
              0.69509,
              0.80985,
              0.94835,
              1.11366
            ],
            [
              0.11375,
              0.51793,
              0.59848,
              0.69407,
              0.80996,
              0.94821,
              1.11532
            ],
            [
              0.11362,
              0.51799,
              0.59848,
              0.69404,
              0.80945,
              0.94901,
              1.11424
            ],
            [
              0.11351,
              0.51804,
              0.59755,
              0.69406,
              0.8092,
              0.9479,
              1.11536
            ],
            [
              0.1134,
              0.51813,
              0.59841,
              0.69383,
              0.81069,
              0.94774,
              1.11511
            ],
            [
              0.11287,
              0.51789,
              0.59838,
              0.69474,
              0.80995,
              0.94909,
              1.11506
            ],
            [
              0.11229,
              0.51821,
              0.59813,
              0.69508,
              0.80919,
              0.94895,
              1.11427
            ],
            [
              0.11344,
              0.51813,
              0.59845,
              0.69513,
              0.81058,
              0.94831,
              1.11509
            ],
            [
              0.12577,
              0.51736,
              0.59798,
              0.69387,
              0.81064,
              0.94829,
              1.11505
            ],
            [
              0.15465,
              0.51749,
              0.59748,
              0.69503,
              0.81048,
              0.94925,
              1.11527
            ],
            [
              0.19053,
              0.5257,
              0.6014,
              0.6946,
              0.8102,
              0.948,
              1.1153
            ],
            [
              0.2387,
              0.5638,
              0.6319,
              0.7165,
              0.8226,
              0.9522,
              1.1146
            ],
            [
              0.3026,
              0.6521,
              0.7099,
              0.7838,
              0.8774,
              0.996,
              1.1427
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.07954,
              0.25481,
              0.2894,
              0.33139,
              0.38097,
              0.44119,
              0.51276
            ],
            [
              0.08217,
              0.25854,
              0.29314,
              0.33481,
              0.38487,
              0.44465,
              0.51656
            ],
            [
              0.08521,
              0.26227,
              0.29708,
              0.33904,
              0.38893,
              0.44865,
              0.5201
            ],
            [
              0.08954,
              0.26798,
              0.30283,
              0.34447,
              0.39419,
              0.45426,
              0.5258
            ],
            [
              0.09582,
              0.27562,
              0.31045,
              0.35237,
              0.40202,
              0.46237,
              0.53424
            ],
            [
              0.10512,
              0.28642,
              0.32107,
              0.36332,
              0.41327,
              0.47303,
              0.54536
            ],
            [
              0.11942,
              0.30184,
              0.33691,
              0.37913,
              0.42925,
              0.48906,
              0.56097
            ],
            [
              0.13867,
              0.32476,
              0.35991,
              0.40242,
              0.45254,
              0.51261,
              0.58523
            ],
            [
              0.16339,
              0.35915,
              0.39441,
              0.4371,
              0.48728,
              0.54814,
              0.62024
            ],
            [
              0.19493,
              0.41066,
              0.44626,
              0.48893,
              0.53941,
              0.60032,
              0.67269
            ],
            [
              0.23321,
              0.48472,
              0.52302,
              0.56682,
              0.61782,
              0.67872,
              0.75172
            ],
            [
              0.27747,
              0.58127,
              0.62477,
              0.67447,
              0.73097,
              0.79557,
              0.86947
            ],
            [
              0.3262,
              0.7053,
              0.7564,
              0.8141,
              0.8789,
              0.9523,
              1.0356
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.12652,
              0.42076,
              0.4791,
              0.54928,
              0.63307,
              0.73393,
              0.85445
            ],
            [
              0.12844,
              0.42334,
              0.48171,
              0.55188,
              0.6359,
              0.73646,
              0.85704
            ],
            [
              0.13095,
              0.42663,
              0.485,
              0.55514,
              0.63912,
              0.73998,
              0.8605
            ],
            [
              0.13522,
              0.4318,
              0.49032,
              0.56051,
              0.64446,
              0.74535,
              0.86591
            ],
            [
              0.1423,
              0.43989,
              0.49844,
              0.56872,
              0.65278,
              0.75358,
              0.87443
            ],
            [
              0.15392,
              0.45238,
              0.51097,
              0.58123,
              0.66535,
              0.76619,
              0.88715
            ],
            [
              0.17251,
              0.47143,
              0.53006,
              0.60044,
              0.68467,
              0.78548,
              0.90623
            ],
            [
              0.20183,
              0.50038,
              0.55905,
              0.62938,
              0.71442,
              0.81539,
              0.93656
            ],
            [
              0.24769,
              0.54518,
              0.60401,
              0.67463,
              0.75915,
              0.86025,
              0.98125
            ],
            [
              0.30662,
              0.6121,
              0.67089,
              0.74159,
              0.82599,
              0.92709,
              1.04819
            ],
            [
              0.38045,
              0.71412,
              0.77292,
              0.84312,
              0.92782,
              1.02902,
              1.15012
            ],
            [
              0.47167,
              0.86927,
              0.92757,
              0.99847,
              1.08177,
              1.18207,
              1.30327
            ],
            [
              0.585,
              1.0881,
              1.1561,
              1.2314,
              1.3156,
              1.4161,
              1.5366
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.05161,
              0.28462,
              0.3312,
              0.38689,
              0.45428,
              0.53523,
              0.63101
            ],
            [
              0.05158,
              0.28464,
              0.33117,
              0.38771,
              0.45432,
              0.53449,
              0.63179
            ],
            [
              0.05165,
              0.28462,
              0.33163,
              0.38746,
              0.45423,
              0.53466,
              0.63112
            ],
            [
              0.05167,
              0.28453,
              0.33138,
              0.38712,
              0.45426,
              0.53473,
              0.63109
            ],
            [
              0.05166,
              0.28497,
              0.33109,
              0.38678,
              0.45424,
              0.5354,
              0.63069
            ],
            [
              0.05165,
              0.28437,
              0.33119,
              0.38742,
              0.45415,
              0.53465,
              0.63207
            ],
            [
              0.05358,
              0.2846,
              0.33162,
              0.38748,
              0.45411,
              0.53471,
              0.63109
            ],
            [
              0.06077,
              0.28459,
              0.33115,
              0.38725,
              0.45424,
              0.53462,
              0.63088
            ],
            [
              0.07146,
              0.28566,
              0.33128,
              0.38689,
              0.45422,
              0.53488,
              0.63115
            ],
            [
              0.08768,
              0.29392,
              0.33795,
              0.39106,
              0.45617,
              0.53578,
              0.6311
            ],
            [
              0.11201,
              0.31717,
              0.35736,
              0.40764,
              0.46887,
              0.54504,
              0.637
            ],
            [
              0.147,
              0.3632,
              0.4017,
              0.4472,
              0.5035,
              0.5734,
              0.6605
            ],
            [
              0.196,
              0.4322,
              0.4718,
              0.519,
              0.5741,
              0.639,
              0.7183
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.11046,
              0.50361,
              0.58214,
              0.67596,
              0.78956,
              0.92339,
              1.08643
            ],
            [
              0.11041,
              0.50429,
              0.58163,
              0.67579,
              0.78826,
              0.92445,
              1.08626
            ],
            [
              0.11038,
              0.50414,
              0.58256,
              0.67675,
              0.78884,
              0.92302,
              1.08631
            ],
            [
              0.11013,
              0.50416,
              0.58238,
              0.67673,
              0.78922,
              0.923,
              1.08637
            ],
            [
              0.11007,
              0.50418,
              0.58225,
              0.67663,
              0.78821,
              0.92303,
              1.08549
            ],
            [
              0.10969,
              0.5042,
              0.58255,
              0.67671,
              0.78894,
              0.92427,
              1.08491
            ],
            [
              0.10926,
              0.50366,
              0.58267,
              0.67663,
              0.7896,
              0.92425,
              1.08624
            ],
            [
              0.11063,
              0.50426,
              0.58209,
              0.67682,
              0.7895,
              0.92458,
              1.08525
            ],
            [
              0.1235,
              0.50413,
              0.5827,
              0.67612,
              0.78864,
              0.92464,
              1.08593
            ],
            [
              0.15283,
              0.50318,
              0.58162,
              0.67673,
              0.78959,
              0.92451,
              1.08667
            ],
            [
              0.18868,
              0.5126,
              0.5858,
              0.6765,
              0.7881,
              0.9228,
              1.0862
            ],
            [
              0.2364,
              0.5526,
              0.6172,
              0.6998,
              0.8027,
              0.9298,
              1.0851
            ],
            [
              0.3002,
              0.6424,
              0.6986,
              0.7703,
              0.8607,
              0.975,
              1.117
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.07964,
              0.25509,
              0.2897,
              0.33162,
              0.38124,
              0.44126,
              0.51249
            ],
            [
              0.08233,
              0.25844,
              0.29337,
              0.33472,
              0.38511,
              0.44456,
              0.51671
            ],
            [
              0.0856,
              0.26277,
              0.29748,
              0.33894,
              0.38933,
              0.44864,
              0.52101
            ],
            [
              0.09007,
              0.26836,
              0.30323,
              0.3447,
              0.39511,
              0.45464,
              0.5268
            ],
            [
              0.09647,
              0.27629,
              0.31124,
              0.35273,
              0.40315,
              0.46286,
              0.53475
            ],
            [
              0.10605,
              0.28738,
              0.32211,
              0.36392,
              0.41433,
              0.4745,
              0.54643
            ],
            [
              0.1205,
              0.30315,
              0.33836,
              0.38004,
              0.43063,
              0.49061,
              0.5626
            ],
            [
              0.14001,
              0.32632,
              0.3618,
              0.40397,
              0.45394,
              0.51468,
              0.5862
            ],
            [
              0.16487,
              0.36101,
              0.39645,
              0.439,
              0.48931,
              0.54999,
              0.62204
            ],
            [
              0.19645,
              0.41269,
              0.4483,
              0.491,
              0.54175,
              0.60263,
              0.67489
            ],
            [
              0.23469,
              0.48692,
              0.52522,
              0.56902,
              0.62002,
              0.68082,
              0.75392
            ],
            [
              0.27887,
              0.58357,
              0.62707,
              0.67677,
              0.73327,
              0.79787,
              0.87167
            ],
            [
              0.3276,
              0.7075,
              0.7587,
              0.8164,
              0.8813,
              0.9547,
              1.038
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.16289,
              0.57325,
              0.65476,
              0.75262,
              0.8698,
              1.01037,
              1.17887
            ],
            [
              0.16407,
              0.57541,
              0.65697,
              0.75486,
              0.87209,
              1.01274,
              1.18124
            ],
            [
              0.1659,
              0.57833,
              0.65992,
              0.75792,
              0.87522,
              1.01582,
              1.18432
            ],
            [
              0.16917,
              0.58296,
              0.66463,
              0.7627,
              0.87994,
              1.02058,
              1.18918
            ],
            [
              0.17496,
              0.59023,
              0.67196,
              0.77008,
              0.88745,
              1.02821,
              1.19691
            ],
            [
              0.185,
              0.60152,
              0.68336,
              0.78164,
              0.8991,
              1.03992,
              1.20862
            ],
            [
              0.20177,
              0.61895,
              0.70094,
              0.79929,
              0.91683,
              1.05783,
              1.22673
            ],
            [
              0.22887,
              0.64608,
              0.72819,
              0.82674,
              0.94446,
              1.08556,
              1.25456
            ],
            [
              0.27216,
              0.68723,
              0.76945,
              0.86805,
              0.98595,
              1.12715,
              1.29625
            ],
            [
              0.33597,
              0.74999,
              0.83229,
              0.93089,
              1.04879,
              1.19019,
              1.35939
            ],
            [
              0.41477,
              0.84572,
              0.92782,
              1.02652,
              1.14442,
              1.28572,
              1.45502
            ],
            [
              0.51207,
              0.99097,
              1.07267,
              1.17107,
              1.28877,
              1.42987,
              1.59897
            ],
            [
              0.6321,
              1.2123,
              1.2937,
              1.3912,
              1.5082,
              1.6488,
              1.8174
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.05152,
              0.28455,
              0.33109,
              0.38736,
              0.45396,
              0.53477,
              0.63119
            ],
            [
              0.05151,
              0.28452,
              0.33092,
              0.38703,
              0.45421,
              0.53477,
              0.63089
            ],
            [
              0.05158,
              0.28487,
              0.33109,
              0.38704,
              0.45393,
              0.53468,
              0.63174
            ],
            [
              0.05162,
              0.28493,
              0.33107,
              0.38712,
              0.45469,
              0.53474,
              0.63188
            ],
            [
              0.05156,
              0.28434,
              0.33154,
              0.3872,
              0.45474,
              0.53473,
              0.63199
            ],
            [
              0.05151,
              0.28433,
              0.33119,
              0.387,
              0.45421,
              0.53535,
              0.63158
            ],
            [
              0.05336,
              0.28458,
              0.33093,
              0.38719,
              0.45476,
              0.53467,
              0.63118
            ],
            [
              0.06023,
              0.28458,
              0.33153,
              0.38697,
              0.45417,
              0.53525,
              0.63121
            ],
            [
              0.07088,
              0.28554,
              0.33161,
              0.38679,
              0.45477,
              0.53482,
              0.6312
            ],
            [
              0.08684,
              0.29345,
              0.33753,
              0.39084,
              0.45592,
              0.5347,
              0.63111
            ],
            [
              0.11104,
              0.31634,
              0.35661,
              0.40706,
              0.46867,
              0.54443,
              0.6365
            ],
            [
              0.146,
              0.3621,
              0.4002,
              0.446,
              0.5024,
              0.5728,
              0.6599
            ],
            [
              0.195,
              0.4308,
              0.4703,
              0.5175,
              0.5728,
              0.6377,
              0.7172
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.16048,
              0.70665,
              0.81488,
              0.94369,
              1.09945,
              1.28717,
              1.51001
            ],
            [
              0.16027,
              0.70672,
              0.81483,
              0.94401,
              1.09991,
              1.28617,
              1.51048
            ],
            [
              0.15999,
              0.70594,
              0.81496,
              0.94497,
              1.10012,
              1.28665,
              1.50963
            ],
            [
              0.15963,
              0.70631,
              0.81483,
              0.94448,
              1.10049,
              1.28729,
              1.50925
            ],
            [
              0.15919,
              0.70718,
              0.8154,
              0.94459,
              1.10081,
              1.28532,
              1.50991
            ],
            [
              0.15846,
              0.7069,
              0.8141,
              0.94468,
              1.10002,
              1.28712,
              1.51032
            ],
            [
              0.15704,
              0.70656,
              0.81415,
              0.94524,
              1.10073,
              1.28562,
              1.5106
            ],
            [
              0.15466,
              0.70634,
              0.8153,
              0.94501,
              1.10016,
              1.2855,
              1.50851
            ],
            [
              0.16194,
              0.70698,
              0.81533,
              0.94523,
              1.09907,
              1.28556,
              1.51004
            ],
            [
              0.18438,
              0.70636,
              0.81485,
              0.94409,
              1.0997,
              1.28596,
              1.51
            ],
            [
              0.22423,
              0.7051,
              0.8128,
              0.9438,
              1.0988,
              1.2867,
              1.5106
            ],
            [
              0.271,
              0.7277,
              0.8258,
              0.9491,
              1.1001,
              1.2848,
              1.5091
            ],
            [
              0.3354,
              0.7954,
              0.8846,
              0.9954,
              1.1315,
              1.3045,
              1.5166
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.08003,
              0.25527,
              0.28999,
              0.33152,
              0.38142,
              0.44125,
              0.51278
            ],
            [
              0.08261,
              0.25878,
              0.29343,
              0.33517,
              0.38493,
              0.44472,
              0.51638
            ],
            [
              0.08573,
              0.26283,
              0.29748,
              0.33916,
              0.38903,
              0.44885,
              0.52053
            ],
            [
              0.09005,
              0.26826,
              0.30303,
              0.34473,
              0.39472,
              0.45453,
              0.52624
            ],
            [
              0.0963,
              0.27594,
              0.31073,
              0.35257,
              0.4025,
              0.46239,
              0.53434
            ],
            [
              0.10566,
              0.28668,
              0.32159,
              0.36347,
              0.4135,
              0.47364,
              0.54549
            ],
            [
              0.11999,
              0.30225,
              0.33729,
              0.37939,
              0.42945,
              0.48969,
              0.5616
            ],
            [
              0.13932,
              0.32529,
              0.36049,
              0.40262,
              0.45291,
              0.51311,
              0.58526
            ],
            [
              0.16416,
              0.35967,
              0.39507,
              0.43744,
              0.48784,
              0.54831,
              0.6204
            ],
            [
              0.19588,
              0.41137,
              0.44692,
              0.48947,
              0.54017,
              0.60078,
              0.67309
            ],
            [
              0.23441,
              0.48552,
              0.52372,
              0.56762,
              0.61852,
              0.67942,
              0.75202
            ],
            [
              0.27907,
              0.58227,
              0.62567,
              0.67537,
              0.73187,
              0.79637,
              0.87027
            ],
            [
              0.3284,
              0.7065,
              0.7576,
              0.8151,
              0.8799,
              0.9533,
              1.0366
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.1558,
              0.4539,
              0.51284,
              0.58365,
              0.66843,
              0.77012,
              0.89184
            ],
            [
              0.15793,
              0.45648,
              0.51547,
              0.58631,
              0.67105,
              0.77276,
              0.89451
            ],
            [
              0.1607,
              0.45982,
              0.5188,
              0.58966,
              0.67442,
              0.77614,
              0.8979
            ],
            [
              0.16526,
              0.46507,
              0.52409,
              0.59498,
              0.67978,
              0.78151,
              0.90331
            ],
            [
              0.17262,
              0.4731,
              0.53223,
              0.6032,
              0.68803,
              0.7899,
              0.91164
            ],
            [
              0.18436,
              0.4856,
              0.54478,
              0.6158,
              0.70067,
              0.80254,
              0.92434
            ],
            [
              0.20291,
              0.50476,
              0.56394,
              0.63499,
              0.7199,
              0.82168,
              0.94363
            ],
            [
              0.23185,
              0.53366,
              0.59285,
              0.66468,
              0.74972,
              0.85166,
              0.97376
            ],
            [
              0.27663,
              0.57851,
              0.63788,
              0.70912,
              0.79435,
              0.89635,
              1.01855
            ],
            [
              0.34366,
              0.64539,
              0.70479,
              0.77609,
              0.86129,
              0.96329,
              1.08549
            ],
            [
              0.42735,
              0.74732,
              0.80632,
              0.87722,
              0.96312,
              1.06522,
              1.18732
            ],
            [
              0.53207,
              0.90197,
              0.96157,
              1.03267,
              1.11607,
              1.21817,
              1.34047
            ],
            [
              0.6618,
              1.1269,
              1.1926,
              1.2658,
              1.3503,
              1.4517,
              1.5734
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.07087,
              0.30352,
              0.34991,
              0.40558,
              0.47298,
              0.55306,
              0.64917
            ],
            [
              0.07087,
              0.30336,
              0.34971,
              0.40565,
              0.47286,
              0.55331,
              0.64879
            ],
            [
              0.07088,
              0.30335,
              0.34981,
              0.40594,
              0.47264,
              0.55276,
              0.64944
            ],
            [
              0.07089,
              0.30335,
              0.35004,
              0.40575,
              0.47303,
              0.55272,
              0.64926
            ],
            [
              0.07089,
              0.30331,
              0.34991,
              0.40584,
              0.47253,
              0.55268,
              0.64939
            ],
            [
              0.0709,
              0.30331,
              0.34971,
              0.40601,
              0.47262,
              0.55306,
              0.64945
            ],
            [
              0.07294,
              0.3034,
              0.3498,
              0.40591,
              0.47251,
              0.55315,
              0.64964
            ],
            [
              0.07987,
              0.30343,
              0.34977,
              0.40593,
              0.47272,
              0.55326,
              0.64931
            ],
            [
              0.09333,
              0.30438,
              0.3502,
              0.40603,
              0.47276,
              0.5529,
              0.64928
            ],
            [
              0.11239,
              0.31314,
              0.35698,
              0.41017,
              0.47469,
              0.5535,
              0.64882
            ],
            [
              0.14075,
              0.33597,
              0.37626,
              0.42664,
              0.48798,
              0.56334,
              0.6554
            ],
            [
              0.1818,
              0.3829,
              0.4204,
              0.4658,
              0.5223,
              0.5923,
              0.6794
            ],
            [
              0.2398,
              0.4547,
              0.4932,
              0.5391,
              0.5931,
              0.6574,
              0.7363
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.13137,
              0.52862,
              0.60762,
              0.70275,
              0.81739,
              0.95334,
              1.11697
            ],
            [
              0.13127,
              0.5286,
              0.60767,
              0.70235,
              0.81635,
              0.9536,
              1.11675
            ],
            [
              0.13122,
              0.52935,
              0.6077,
              0.70251,
              0.81597,
              0.95359,
              1.11691
            ],
            [
              0.13129,
              0.52929,
              0.60772,
              0.70263,
              0.81589,
              0.95358,
              1.11688
            ],
            [
              0.13119,
              0.52865,
              0.60762,
              0.70254,
              0.81663,
              0.9522,
              1.1165
            ],
            [
              0.13104,
              0.52866,
              0.60766,
              0.70266,
              0.81698,
              0.95362,
              1.11689
            ],
            [
              0.1307,
              0.52946,
              0.60827,
              0.70309,
              0.81624,
              0.95203,
              1.11512
            ],
            [
              0.12984,
              0.5288,
              0.60811,
              0.70294,
              0.81694,
              0.95342,
              1.11627
            ],
            [
              0.13677,
              0.52873,
              0.60825,
              0.70348,
              0.81729,
              0.95299,
              1.11607
            ],
            [
              0.15896,
              0.5285,
              0.60785,
              0.70359,
              0.81735,
              0.95268,
              1.11702
            ],
            [
              0.19864,
              0.5344,
              0.6102,
              0.7032,
              0.8168,
              0.9528,
              1.1169
            ],
            [
              0.2473,
              0.5691,
              0.6359,
              0.7208,
              0.826,
              0.9569,
              1.1163
            ],
            [
              0.313,
              0.6529,
              0.7116,
              0.7862,
              0.8799,
              0.9958,
              1.1431
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.08014,
              0.25541,
              0.29001,
              0.3316,
              0.38146,
              0.44123,
              0.51283
            ],
            [
              0.08283,
              0.25895,
              0.29362,
              0.33528,
              0.38512,
              0.44493,
              0.51667
            ],
            [
              0.08605,
              0.26311,
              0.2978,
              0.33946,
              0.38938,
              0.44917,
              0.52092
            ],
            [
              0.09055,
              0.26874,
              0.3035,
              0.34529,
              0.39521,
              0.45504,
              0.52673
            ],
            [
              0.09697,
              0.27657,
              0.31141,
              0.3532,
              0.40321,
              0.46304,
              0.53487
            ],
            [
              0.10651,
              0.28762,
              0.32254,
              0.36444,
              0.41443,
              0.47449,
              0.54631
            ],
            [
              0.12101,
              0.30349,
              0.33852,
              0.38056,
              0.43073,
              0.49073,
              0.56269
            ],
            [
              0.14062,
              0.3268,
              0.36211,
              0.40415,
              0.4545,
              0.51471,
              0.58666
            ],
            [
              0.16559,
              0.36148,
              0.39685,
              0.43918,
              0.48966,
              0.55008,
              0.62218
            ],
            [
              0.19734,
              0.41329,
              0.4489,
              0.49146,
              0.54215,
              0.60276,
              0.67509
            ],
            [
              0.23584,
              0.48772,
              0.52592,
              0.56972,
              0.62062,
              0.68152,
              0.75422
            ],
            [
              0.28047,
              0.58437,
              0.62797,
              0.67757,
              0.73407,
              0.79857,
              0.87247
            ],
            [
              0.3298,
              0.7085,
              0.7597,
              0.8174,
              0.8822,
              0.9556,
              1.0389
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.20262,
              0.61365,
              0.69505,
              0.79282,
              0.90985,
              1.05007,
              1.21817
            ],
            [
              0.20409,
              0.61586,
              0.6973,
              0.79509,
              0.91212,
              1.05244,
              1.22064
            ],
            [
              0.20629,
              0.61876,
              0.70027,
              0.79811,
              0.91516,
              1.05552,
              1.22372
            ],
            [
              0.21,
              0.62348,
              0.705,
              0.8029,
              0.91999,
              1.06038,
              1.22867
            ],
            [
              0.21624,
              0.63081,
              0.71242,
              0.81039,
              0.92756,
              1.06801,
              1.23631
            ],
            [
              0.22651,
              0.6422,
              0.72391,
              0.82198,
              0.93922,
              1.07982,
              1.24812
            ],
            [
              0.24315,
              0.65973,
              0.74153,
              0.83974,
              0.95703,
              1.09773,
              1.26613
            ],
            [
              0.26978,
              0.68697,
              0.76895,
              0.86726,
              0.98476,
              1.12556,
              1.29406
            ],
            [
              0.31162,
              0.72824,
              0.81035,
              0.90875,
              1.02635,
              1.16725,
              1.33595
            ],
            [
              0.37757,
              0.79109,
              0.87319,
              0.97169,
              1.08939,
              1.23049,
              1.39929
            ],
            [
              0.46782,
              0.88682,
              0.96892,
              1.06732,
              1.18492,
              1.32602,
              1.49492
            ],
            [
              0.57927,
              1.03197,
              1.11377,
              1.21197,
              1.32947,
              1.47037,
              1.63907
            ],
            [
              0.7171,
              1.254,
              1.3345,
              1.432,
              1.549,
              1.6893,
              1.8576
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.07081,
              0.30337,
              0.34974,
              0.40568,
              0.4726,
              0.55332,
              0.64914
            ],
            [
              0.07082,
              0.3034,
              0.34969,
              0.40558,
              0.47276,
              0.55273,
              0.64903
            ],
            [
              0.07079,
              0.30338,
              0.35009,
              0.4059,
              0.47242,
              0.55306,
              0.64892
            ],
            [
              0.07082,
              0.30339,
              0.35016,
              0.40577,
              0.47273,
              0.55332,
              0.64929
            ],
            [
              0.07082,
              0.30339,
              0.34973,
              0.40604,
              0.47295,
              0.5531,
              0.64935
            ],
            [
              0.07083,
              0.30334,
              0.34984,
              0.40563,
              0.47257,
              0.55312,
              0.64925
            ],
            [
              0.0727,
              0.30335,
              0.34973,
              0.40575,
              0.47243,
              0.55331,
              0.64936
            ],
            [
              0.0794,
              0.30332,
              0.34985,
              0.40594,
              0.47273,
              0.553,
              0.64929
            ],
            [
              0.09267,
              0.30431,
              0.35022,
              0.40576,
              0.47277,
              0.55291,
              0.64929
            ],
            [
              0.11153,
              0.31285,
              0.35633,
              0.40993,
              0.47492,
              0.55359,
              0.64931
            ],
            [
              0.1397,
              0.33494,
              0.37561,
              0.42606,
              0.48747,
              0.56323,
              0.6552
            ],
            [
              0.1808,
              0.3817,
              0.4191,
              0.4647,
              0.5212,
              0.5915,
              0.6786
            ],
            [
              0.2387,
              0.453,
              0.4917,
              0.5375,
              0.5917,
              0.6561,
              0.7352
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.1882,
              0.73376,
              0.84158,
              0.97185,
              1.12706,
              1.31358,
              1.5365
            ],
            [
              0.18818,
              0.73433,
              0.84121,
              0.97227,
              1.12749,
              1.31367,
              1.53698
            ],
            [
              0.18809,
              0.73366,
              0.8417,
              0.97144,
              1.12671,
              1.31239,
              1.53455
            ],
            [
              0.18795,
              0.73444,
              0.84223,
              0.9722,
              1.12606,
              1.31229,
              1.53459
            ],
            [
              0.1877,
              0.73444,
              0.84124,
              0.97174,
              1.12651,
              1.31248,
              1.53636
            ],
            [
              0.18718,
              0.73387,
              0.84186,
              0.97177,
              1.1275,
              1.31364,
              1.53662
            ],
            [
              0.1864,
              0.73353,
              0.84155,
              0.97235,
              1.1273,
              1.31197,
              1.53475
            ],
            [
              0.18487,
              0.73382,
              0.84257,
              0.97163,
              1.12714,
              1.31226,
              1.5361
            ],
            [
              0.18501,
              0.73367,
              0.8425,
              0.97245,
              1.12595,
              1.31224,
              1.53635
            ],
            [
              0.20006,
              0.73295,
              0.84242,
              0.97211,
              1.12627,
              1.31282,
              1.5359
            ],
            [
              0.23822,
              0.7321,
              0.8409,
              0.9712,
              1.1274,
              1.3131,
              1.5364
            ],
            [
              0.2869,
              0.7496,
              0.8502,
              0.9742,
              1.1261,
              1.3123,
              1.5355
            ],
            [
              0.3527,
              0.811,
              0.9023,
              1.0144,
              1.1544,
              1.3265,
              1.5402
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.08013,
              0.25536,
              0.29001,
              0.33168,
              0.38146,
              0.44131,
              0.51285
            ],
            [
              0.08281,
              0.25896,
              0.29362,
              0.33528,
              0.38521,
              0.44495,
              0.51662
            ],
            [
              0.08602,
              0.26309,
              0.29779,
              0.33945,
              0.38931,
              0.44917,
              0.52087
            ],
            [
              0.09051,
              0.26865,
              0.30351,
              0.34519,
              0.39519,
              0.45495,
              0.52665
            ],
            [
              0.09691,
              0.27651,
              0.31137,
              0.35321,
              0.40318,
              0.46299,
              0.53475
            ],
            [
              0.10643,
              0.28756,
              0.32247,
              0.36435,
              0.41436,
              0.4744,
              0.54624
            ],
            [
              0.12091,
              0.30339,
              0.33841,
              0.38044,
              0.43065,
              0.4906,
              0.56261
            ],
            [
              0.14047,
              0.32665,
              0.36194,
              0.40396,
              0.45437,
              0.51454,
              0.5865
            ],
            [
              0.16542,
              0.36128,
              0.39665,
              0.43898,
              0.48943,
              0.54991,
              0.62198
            ],
            [
              0.19714,
              0.41305,
              0.44865,
              0.49122,
              0.54192,
              0.6025,
              0.67489
            ],
            [
              0.23562,
              0.48742,
              0.52562,
              0.56942,
              0.62042,
              0.68122,
              0.75392
            ],
            [
              0.28017,
              0.58407,
              0.62767,
              0.67727,
              0.73377,
              0.79837,
              0.87217
            ],
            [
              0.3295,
              0.7082,
              0.7594,
              0.8171,
              0.8819,
              0.9553,
              1.0386
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.22485,
              0.62316,
              0.70156,
              0.79563,
              0.90803,
              1.04277,
              1.20427
            ],
            [
              0.22648,
              0.62538,
              0.70375,
              0.79785,
              0.91035,
              1.04524,
              1.20684
            ],
            [
              0.22887,
              0.62836,
              0.7068,
              0.80092,
              0.91346,
              1.04832,
              1.20992
            ],
            [
              0.23286,
              0.63311,
              0.71161,
              0.80575,
              0.91834,
              1.05337,
              1.21498
            ],
            [
              0.23949,
              0.64059,
              0.71915,
              0.81344,
              0.92609,
              1.06111,
              1.22271
            ],
            [
              0.2502,
              0.65216,
              0.73085,
              0.82521,
              0.93792,
              1.07302,
              1.23462
            ],
            [
              0.26731,
              0.66995,
              0.74872,
              0.84318,
              0.95593,
              1.09103,
              1.25283
            ],
            [
              0.29418,
              0.6976,
              0.77653,
              0.87106,
              0.98396,
              1.11926,
              1.28116
            ],
            [
              0.33598,
              0.73933,
              0.81835,
              0.91295,
              1.02605,
              1.16145,
              1.32345
            ],
            [
              0.40065,
              0.80269,
              0.88179,
              0.97649,
              1.08969,
              1.22519,
              1.38729
            ],
            [
              0.49792,
              0.89932,
              0.97822,
              1.07292,
              1.18602,
              1.32152,
              1.48372
            ],
            [
              0.61837,
              1.04557,
              1.12427,
              1.21877,
              1.33167,
              1.46697,
              1.62907
            ],
            [
              0.7676,
              1.269,
              1.3467,
              1.4406,
              1.5531,
              1.6879,
              1.8494
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.07712,
              0.32031,
              0.36674,
              0.42284,
              0.48962,
              0.56964,
              0.66595
            ],
            [
              0.07712,
              0.32037,
              0.36679,
              0.42283,
              0.48982,
              0.56986,
              0.66624
            ],
            [
              0.07713,
              0.32033,
              0.36681,
              0.42288,
              0.48976,
              0.56994,
              0.66578
            ],
            [
              0.07714,
              0.32028,
              0.36693,
              0.42284,
              0.48967,
              0.5697,
              0.66573
            ],
            [
              0.07714,
              0.32031,
              0.36678,
              0.42285,
              0.4897,
              0.57,
              0.66575
            ],
            [
              0.07716,
              0.32034,
              0.36693,
              0.42281,
              0.48989,
              0.56979,
              0.66601
            ],
            [
              0.07903,
              0.32034,
              0.36677,
              0.42285,
              0.48971,
              0.56994,
              0.66576
            ],
            [
              0.08585,
              0.3203,
              0.36682,
              0.42284,
              0.48962,
              0.56974,
              0.66575
            ],
            [
              0.10231,
              0.32131,
              0.3669,
              0.42285,
              0.48957,
              0.56961,
              0.66581
            ],
            [
              0.12515,
              0.32969,
              0.37332,
              0.42699,
              0.49147,
              0.57014,
              0.66603
            ],
            [
              0.15822,
              0.35209,
              0.39285,
              0.44309,
              0.50468,
              0.57973,
              0.6718
            ],
            [
              0.2046,
              0.3994,
              0.4361,
              0.4818,
              0.5383,
              0.6086,
              0.6953
            ],
            [
              0.2696,
              0.4725,
              0.5107,
              0.5559,
              0.6096,
              0.6731,
              0.7519
            ]
          ]
        },
        "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.0099,
            0.01188,
            0.01426,
            0.01711,
            0.02053,
            0.02463
          ],
          "values": [
            [
              0.20177,
              0.72634,
              0.83024,
              0.95469,
              1.10353,
              1.28171,
              1.49563
            ],
            [
              0.20179,
              0.72657,
              0.82964,
              0.95416,
              1.10265,
              1.28138,
              1.49563
            ],
            [
              0.20166,
              0.72615,
              0.82968,
              0.95407,
              1.10284,
              1.28164,
              1.49771
            ],
            [
              0.20166,
              0.72625,
              0.82993,
              0.95408,
              1.10279,
              1.28156,
              1.49567
            ],
            [
              0.20151,
              0.72641,
              0.83013,
              0.9546,
              1.10366,
              1.28216,
              1.49561
            ],
            [
              0.20134,
              0.72635,
              0.83047,
              0.95486,
              1.10354,
              1.28187,
              1.49588
            ],
            [
              0.20073,
              0.72585,
              0.83051,
              0.95481,
              1.1035,
              1.28166,
              1.49562
            ],
            [
              0.19991,
              0.72642,
              0.83035,
              0.95492,
              1.10359,
              1.28192,
              1.49576
            ],
            [
              0.19772,
              0.72634,
              0.8303,
              0.95488,
              1.10345,
              1.28297,
              1.49623
            ],
            [
              0.2086,
              0.72587,
              0.83026,
              0.95414,
              1.10415,
              1.28296,
              1.4969
            ],
            [
              0.2407,
              0.7245,
              0.8287,
              0.9548,
              1.1038,
              1.2832,
              1.4973
            ],
            [
              0.2922,
              0.7399,
              0.8359,
              0.9565,
              1.103,
              1.2812,
              1.4975
            ],
            [
              0.3588,
              0.7986,
              0.8873,
              0.995,
              1.1304,
              1.296,
              1.5014
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}