{
  "area": 20.7792,
  "cell_footprint": "sky130_fd_sc_ms__a32oi",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00602,
    "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.01597,
          0.01639,
          0.01627,
          0.01615,
          0.01608,
          0.01606,
          0.01607,
          0.01606,
          0.01606,
          0.01742,
          0.01746,
          0.01898,
          0.01942
        ]
      },
      "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.00891,
          0.00898,
          0.00902,
          0.00912,
          0.00922,
          0.00931,
          0.00935,
          0.00935,
          0.00928,
          0.00989,
          0.00958,
          0.00976,
          0.00899
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00584,
    "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.01604,
          0.01635,
          0.01626,
          0.01635,
          0.0161,
          0.01608,
          0.01609,
          0.01605,
          0.01605,
          0.01739,
          0.01743,
          0.01894,
          0.01938
        ]
      },
      "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.00964,
          0.00953,
          0.00957,
          0.0094,
          0.00955,
          0.00964,
          0.00967,
          0.00967,
          0.00959,
          0.0102,
          0.00984,
          0.01,
          0.00923
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00582,
    "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.01617,
          0.0162,
          0.01623,
          0.01611,
          0.01609,
          0.01608,
          0.01605,
          0.01605,
          0.01604,
          0.01739,
          0.01743,
          0.01895,
          0.01942
        ]
      },
      "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.0094,
          0.00909,
          0.00967,
          0.00946,
          0.00965,
          0.00974,
          0.00978,
          0.00978,
          0.00969,
          0.01029,
          0.00991,
          0.01013,
          0.00935
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00631,
    "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.00986,
          0.00974,
          0.0103,
          0.01007,
          0.01012,
          0.01022,
          0.01028,
          0.01027,
          0.01021,
          0.0109,
          0.01062,
          0.01108,
          0.01088
        ]
      },
      "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.01598,
          0.01613,
          0.01631,
          0.01586,
          0.01586,
          0.01589,
          0.01587,
          0.01625,
          0.01584,
          0.01716,
          0.0172,
          0.01871,
          0.01934
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00619,
    "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.00859,
          0.00846,
          0.00869,
          0.00868,
          0.00879,
          0.00886,
          0.00889,
          0.00898,
          0.0088,
          0.00934,
          0.00899,
          0.00918,
          0.00886
        ]
      },
      "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.01628,
          0.01635,
          0.01653,
          0.01632,
          0.01626,
          0.01624,
          0.01624,
          0.01621,
          0.01622,
          0.0176,
          0.0177,
          0.01938,
          0.02015
        ]
      }
    },
    "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.01443,
              0.01082,
              0.00722,
              -2e-05,
              -0.01448,
              -0.04347,
              -0.10142
            ],
            [
              0.01453,
              0.01093,
              0.00731,
              8e-05,
              -0.01439,
              -0.04336,
              -0.10133
            ],
            [
              0.0146,
              0.01097,
              0.00736,
              0.00012,
              -0.01433,
              -0.04331,
              -0.10127
            ],
            [
              0.01477,
              0.01115,
              0.00752,
              0.00027,
              -0.01421,
              -0.0432,
              -0.10116
            ],
            [
              0.01496,
              0.01132,
              0.00768,
              0.00042,
              -0.01406,
              -0.04307,
              -0.10103
            ],
            [
              0.01521,
              0.01154,
              0.00789,
              0.0006,
              -0.01392,
              -0.04293,
              -0.10092
            ],
            [
              0.01547,
              0.01178,
              0.00811,
              0.0008,
              -0.01374,
              -0.04279,
              -0.10081
            ],
            [
              0.01573,
              0.01202,
              0.00834,
              0.00101,
              -0.01357,
              -0.04265,
              -0.10069
            ],
            [
              0.01594,
              0.01224,
              0.00856,
              0.0012,
              -0.01341,
              -0.04252,
              -0.10059
            ],
            [
              0.01602,
              0.01234,
              0.00867,
              0.00134,
              -0.01326,
              -0.04239,
              -0.10048
            ],
            [
              0.01584,
              0.01221,
              0.00858,
              0.00131,
              -0.01326,
              -0.04236,
              -0.10044
            ],
            [
              0.01522,
              0.0117,
              0.00811,
              0.00093,
              -0.01352,
              -0.04257,
              -0.10054
            ],
            [
              0.01393,
              0.01049,
              0.00701,
              -2e-05,
              -0.0143,
              -0.04307,
              -0.10087
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.05226,
              0.05601,
              0.05968,
              0.06693,
              0.08125,
              0.10993,
              0.16729
            ],
            [
              0.05214,
              0.05593,
              0.05964,
              0.06693,
              0.08129,
              0.10999,
              0.16728
            ],
            [
              0.052,
              0.05584,
              0.05959,
              0.0669,
              0.08128,
              0.10999,
              0.16732
            ],
            [
              0.05185,
              0.0557,
              0.05947,
              0.0668,
              0.08127,
              0.10994,
              0.1674
            ],
            [
              0.05166,
              0.05554,
              0.05929,
              0.06672,
              0.08123,
              0.10991,
              0.16736
            ],
            [
              0.05146,
              0.05533,
              0.05913,
              0.06654,
              0.08112,
              0.10993,
              0.16728
            ],
            [
              0.0513,
              0.05511,
              0.0589,
              0.06634,
              0.08093,
              0.1099,
              0.16723
            ],
            [
              0.05111,
              0.05488,
              0.05867,
              0.06611,
              0.08076,
              0.10967,
              0.16725
            ],
            [
              0.05095,
              0.05473,
              0.05847,
              0.06585,
              0.08051,
              0.10955,
              0.16717
            ],
            [
              0.05093,
              0.05462,
              0.05829,
              0.06566,
              0.08026,
              0.10925,
              0.16686
            ],
            [
              0.05098,
              0.05464,
              0.05827,
              0.06553,
              0.08004,
              0.10902,
              0.1668
            ],
            [
              0.05111,
              0.05478,
              0.05841,
              0.06561,
              0.07993,
              0.10888,
              0.16636
            ],
            [
              0.05161,
              0.05518,
              0.05879,
              0.06598,
              0.08029,
              0.10882,
              0.16632
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.01437,
              0.01076,
              0.00715,
              -8e-05,
              -0.01453,
              -0.04352,
              -0.10149
            ],
            [
              0.01446,
              0.01086,
              0.00725,
              2e-05,
              -0.01444,
              -0.04342,
              -0.10139
            ],
            [
              0.01456,
              0.01096,
              0.00735,
              0.00011,
              -0.01434,
              -0.04332,
              -0.10129
            ],
            [
              0.01469,
              0.01108,
              0.00742,
              0.00019,
              -0.01428,
              -0.04325,
              -0.10121
            ],
            [
              0.01483,
              0.01123,
              0.00758,
              0.00034,
              -0.01414,
              -0.04311,
              -0.1011
            ],
            [
              0.01504,
              0.01139,
              0.00776,
              0.0005,
              -0.01399,
              -0.043,
              -0.10098
            ],
            [
              0.01528,
              0.01162,
              0.00797,
              0.00068,
              -0.01384,
              -0.04288,
              -0.10088
            ],
            [
              0.01555,
              0.01187,
              0.00819,
              0.00089,
              -0.01367,
              -0.04274,
              -0.10076
            ],
            [
              0.01582,
              0.01213,
              0.00844,
              0.0011,
              -0.01349,
              -0.0426,
              -0.10065
            ],
            [
              0.01605,
              0.01236,
              0.00868,
              0.00133,
              -0.01329,
              -0.04243,
              -0.10053
            ],
            [
              0.01613,
              0.01246,
              0.00879,
              0.00146,
              -0.01315,
              -0.04232,
              -0.10044
            ],
            [
              0.01593,
              0.01231,
              0.00867,
              0.0014,
              -0.01316,
              -0.04228,
              -0.1004
            ],
            [
              0.01521,
              0.01166,
              0.00809,
              0.0009,
              -0.01353,
              -0.04252,
              -0.10053
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.05905,
              0.06269,
              0.06626,
              0.07345,
              0.08775,
              0.11643,
              0.17358
            ],
            [
              0.0589,
              0.06257,
              0.06615,
              0.07336,
              0.08766,
              0.11634,
              0.17359
            ],
            [
              0.05883,
              0.06248,
              0.06612,
              0.07335,
              0.08769,
              0.1163,
              0.17354
            ],
            [
              0.0587,
              0.06237,
              0.06602,
              0.07325,
              0.0876,
              0.1163,
              0.17355
            ],
            [
              0.05852,
              0.06222,
              0.06589,
              0.07315,
              0.08753,
              0.11618,
              0.17343
            ],
            [
              0.0583,
              0.06204,
              0.06571,
              0.07302,
              0.08744,
              0.1162,
              0.17343
            ],
            [
              0.05813,
              0.06185,
              0.06554,
              0.07284,
              0.08735,
              0.11609,
              0.17337
            ],
            [
              0.05793,
              0.06165,
              0.06535,
              0.07266,
              0.08714,
              0.11605,
              0.17334
            ],
            [
              0.05779,
              0.0615,
              0.06515,
              0.07248,
              0.08699,
              0.11593,
              0.17328
            ],
            [
              0.05771,
              0.06138,
              0.06505,
              0.07232,
              0.0868,
              0.11561,
              0.17313
            ],
            [
              0.05774,
              0.06137,
              0.06494,
              0.07219,
              0.08668,
              0.11558,
              0.17297
            ],
            [
              0.05787,
              0.06151,
              0.06511,
              0.07227,
              0.08661,
              0.11545,
              0.17291
            ],
            [
              0.05823,
              0.06185,
              0.06545,
              0.07263,
              0.0869,
              0.11537,
              0.1728
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.01461,
              0.01101,
              0.0074,
              0.00017,
              -0.01428,
              -0.04326,
              -0.10123
            ],
            [
              0.01472,
              0.01112,
              0.00751,
              0.00028,
              -0.01418,
              -0.04315,
              -0.10112
            ],
            [
              0.01483,
              0.01122,
              0.00761,
              0.00038,
              -0.01408,
              -0.04306,
              -0.10102
            ],
            [
              0.01494,
              0.01133,
              0.00771,
              0.00048,
              -0.01399,
              -0.04297,
              -0.10092
            ],
            [
              0.01513,
              0.0115,
              0.00787,
              0.00063,
              -0.01385,
              -0.04286,
              -0.10082
            ],
            [
              0.01531,
              0.01168,
              0.00804,
              0.00078,
              -0.01372,
              -0.04273,
              -0.1007
            ],
            [
              0.01556,
              0.0119,
              0.00825,
              0.00096,
              -0.01357,
              -0.04261,
              -0.10061
            ],
            [
              0.01583,
              0.01216,
              0.00847,
              0.00116,
              -0.0134,
              -0.04246,
              -0.10049
            ],
            [
              0.0161,
              0.01241,
              0.00873,
              0.00138,
              -0.01321,
              -0.04232,
              -0.10038
            ],
            [
              0.01631,
              0.01263,
              0.00895,
              0.0016,
              -0.01301,
              -0.04216,
              -0.10026
            ],
            [
              0.01637,
              0.0127,
              0.00904,
              0.00172,
              -0.01289,
              -0.04205,
              -0.10017
            ],
            [
              0.01617,
              0.01254,
              0.00891,
              0.00163,
              -0.01292,
              -0.04203,
              -0.10015
            ],
            [
              0.01539,
              0.01183,
              0.00825,
              0.00106,
              -0.01337,
              -0.04234,
              -0.10033
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.06401,
              0.06759,
              0.07119,
              0.07837,
              0.0927,
              0.12135,
              0.17846
            ],
            [
              0.06396,
              0.06752,
              0.07112,
              0.0783,
              0.09263,
              0.12129,
              0.17846
            ],
            [
              0.06391,
              0.06749,
              0.07109,
              0.07828,
              0.09259,
              0.12119,
              0.17843
            ],
            [
              0.0638,
              0.06742,
              0.07103,
              0.07821,
              0.0925,
              0.12122,
              0.17847
            ],
            [
              0.06372,
              0.06731,
              0.07094,
              0.07813,
              0.09246,
              0.12108,
              0.1784
            ],
            [
              0.06363,
              0.06724,
              0.07087,
              0.07806,
              0.0924,
              0.1211,
              0.17833
            ],
            [
              0.0635,
              0.06714,
              0.07075,
              0.07801,
              0.09236,
              0.12104,
              0.17821
            ],
            [
              0.06341,
              0.06704,
              0.07067,
              0.0779,
              0.09231,
              0.12096,
              0.17837
            ],
            [
              0.0633,
              0.06694,
              0.07058,
              0.07783,
              0.0922,
              0.12086,
              0.17811
            ],
            [
              0.06329,
              0.06694,
              0.07054,
              0.07779,
              0.09217,
              0.12084,
              0.17819
            ],
            [
              0.06334,
              0.06694,
              0.07051,
              0.07771,
              0.09214,
              0.12083,
              0.17824
            ],
            [
              0.06355,
              0.06715,
              0.07074,
              0.07788,
              0.09212,
              0.12082,
              0.17822
            ],
            [
              0.06399,
              0.06759,
              0.07119,
              0.07833,
              0.09256,
              0.12098,
              0.17823
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.00584,
              0.00198,
              -0.00176,
              -0.00912,
              -0.0237,
              -0.05275,
              -0.11075
            ],
            [
              0.00602,
              0.0021,
              -0.00168,
              -0.00908,
              -0.0237,
              -0.05278,
              -0.11079
            ],
            [
              0.00622,
              0.00223,
              -0.0016,
              -0.00906,
              -0.02368,
              -0.05279,
              -0.11081
            ],
            [
              0.00643,
              0.00242,
              -0.00145,
              -0.00894,
              -0.02365,
              -0.0528,
              -0.11082
            ],
            [
              0.00666,
              0.00262,
              -0.00126,
              -0.00881,
              -0.02356,
              -0.05274,
              -0.11083
            ],
            [
              0.0069,
              0.00287,
              -0.00102,
              -0.00862,
              -0.02344,
              -0.05268,
              -0.1108
            ],
            [
              0.0071,
              0.00312,
              -0.00078,
              -0.00839,
              -0.02327,
              -0.05257,
              -0.11074
            ],
            [
              0.00722,
              0.00332,
              -0.00054,
              -0.00815,
              -0.02307,
              -0.05244,
              -0.11066
            ],
            [
              0.0072,
              0.00339,
              -0.00039,
              -0.00793,
              -0.02285,
              -0.05228,
              -0.11057
            ],
            [
              0.00693,
              0.00326,
              -0.00044,
              -0.00786,
              -0.0227,
              -0.05215,
              -0.11045
            ],
            [
              0.0063,
              0.00279,
              -0.00079,
              -0.00806,
              -0.02273,
              -0.05211,
              -0.11039
            ],
            [
              0.00512,
              0.00179,
              -0.00167,
              -0.00873,
              -0.0231,
              -0.05222,
              -0.11044
            ],
            [
              0.00313,
              -3e-05,
              -0.00332,
              -0.01011,
              -0.02414,
              -0.05286,
              -0.11082
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.02443,
              0.02831,
              0.03209,
              0.03938,
              0.05381,
              0.08252,
              0.13986
            ],
            [
              0.02427,
              0.02819,
              0.03196,
              0.03931,
              0.05381,
              0.08257,
              0.13992
            ],
            [
              0.02406,
              0.02804,
              0.03184,
              0.03919,
              0.05372,
              0.08254,
              0.13986
            ],
            [
              0.02389,
              0.02783,
              0.03164,
              0.0391,
              0.05368,
              0.08249,
              0.13987
            ],
            [
              0.02371,
              0.02762,
              0.03146,
              0.03892,
              0.05357,
              0.0824,
              0.13977
            ],
            [
              0.02353,
              0.02743,
              0.03125,
              0.03871,
              0.05337,
              0.08229,
              0.13973
            ],
            [
              0.02344,
              0.02722,
              0.03104,
              0.03851,
              0.05314,
              0.0821,
              0.1396
            ],
            [
              0.02344,
              0.02713,
              0.03088,
              0.03829,
              0.05293,
              0.08194,
              0.13949
            ],
            [
              0.02364,
              0.02723,
              0.0309,
              0.03816,
              0.05274,
              0.08172,
              0.13933
            ],
            [
              0.02406,
              0.02759,
              0.03112,
              0.03825,
              0.05269,
              0.08158,
              0.13914
            ],
            [
              0.02475,
              0.0282,
              0.03168,
              0.03868,
              0.05289,
              0.08156,
              0.13902
            ],
            [
              0.02588,
              0.02925,
              0.03269,
              0.03961,
              0.05352,
              0.0819,
              0.13909
            ],
            [
              0.02781,
              0.03101,
              0.03434,
              0.04117,
              0.05492,
              0.08279,
              0.13959
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.00575,
              0.00196,
              -0.00174,
              -0.00906,
              -0.02362,
              -0.05266,
              -0.11064
            ],
            [
              0.00603,
              0.00215,
              -0.0016,
              -0.00896,
              -0.02355,
              -0.05262,
              -0.11062
            ],
            [
              0.00614,
              0.00226,
              -0.00153,
              -0.00894,
              -0.02356,
              -0.05266,
              -0.11067
            ],
            [
              0.00643,
              0.00242,
              -0.00143,
              -0.00888,
              -0.02357,
              -0.05267,
              -0.11071
            ],
            [
              0.00669,
              0.00265,
              -0.00123,
              -0.00876,
              -0.02349,
              -0.05266,
              -0.11073
            ],
            [
              0.00699,
              0.00294,
              -0.00098,
              -0.00857,
              -0.02337,
              -0.0526,
              -0.1107
            ],
            [
              0.00726,
              0.00324,
              -0.00068,
              -0.00832,
              -0.02319,
              -0.05248,
              -0.11065
            ],
            [
              0.00747,
              0.00351,
              -0.00038,
              -0.00802,
              -0.02295,
              -0.05233,
              -0.11056
            ],
            [
              0.00757,
              0.0037,
              -0.00015,
              -0.00774,
              -0.02269,
              -0.05214,
              -0.11044
            ],
            [
              0.00749,
              0.00371,
              -6e-05,
              -0.00756,
              -0.02246,
              -0.05193,
              -0.1103
            ],
            [
              0.0071,
              0.00345,
              -0.00023,
              -0.00761,
              -0.02236,
              -0.05178,
              -0.11017
            ],
            [
              0.0062,
              0.00271,
              -0.00086,
              -0.00807,
              -0.02261,
              -0.05184,
              -0.11015
            ],
            [
              0.00442,
              0.00112,
              -0.00228,
              -0.00924,
              -0.02346,
              -0.05235,
              -0.11041
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.03134,
              0.03497,
              0.03865,
              0.04588,
              0.06024,
              0.08889,
              0.14608
            ],
            [
              0.03116,
              0.03485,
              0.03848,
              0.04567,
              0.06008,
              0.08881,
              0.14609
            ],
            [
              0.03096,
              0.0347,
              0.03836,
              0.04564,
              0.06002,
              0.08873,
              0.14607
            ],
            [
              0.0308,
              0.03454,
              0.03822,
              0.04556,
              0.05994,
              0.08869,
              0.146
            ],
            [
              0.03063,
              0.03439,
              0.03806,
              0.04539,
              0.05986,
              0.08863,
              0.14592
            ],
            [
              0.03046,
              0.03422,
              0.03792,
              0.04523,
              0.05973,
              0.08852,
              0.14584
            ],
            [
              0.03036,
              0.03408,
              0.03778,
              0.0451,
              0.05962,
              0.08842,
              0.14574
            ],
            [
              0.03034,
              0.03399,
              0.03766,
              0.04494,
              0.05946,
              0.08825,
              0.14568
            ],
            [
              0.03049,
              0.03407,
              0.03768,
              0.04494,
              0.05935,
              0.08816,
              0.14551
            ],
            [
              0.03091,
              0.03445,
              0.03796,
              0.0451,
              0.05943,
              0.08818,
              0.14544
            ],
            [
              0.03167,
              0.03515,
              0.03863,
              0.04561,
              0.05979,
              0.08826,
              0.14551
            ],
            [
              0.03299,
              0.0364,
              0.03984,
              0.04674,
              0.0606,
              0.08884,
              0.14581
            ],
            [
              0.03514,
              0.03844,
              0.04178,
              0.0486,
              0.06229,
              0.09003,
              0.14652
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.05898,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.10732,
              0.12693,
              0.14573,
              0.18209,
              0.25246,
              0.38995,
              0.66097
            ],
            [
              0.10932,
              0.12894,
              0.14776,
              0.18414,
              0.2545,
              0.39195,
              0.66314
            ],
            [
              0.11182,
              0.13147,
              0.1503,
              0.18671,
              0.2571,
              0.39458,
              0.66577
            ],
            [
              0.11575,
              0.13547,
              0.15432,
              0.19076,
              0.26121,
              0.39876,
              0.66982
            ],
            [
              0.12189,
              0.14165,
              0.16055,
              0.19709,
              0.26761,
              0.40526,
              0.67637
            ],
            [
              0.13139,
              0.15123,
              0.17021,
              0.20681,
              0.27747,
              0.41521,
              0.68641
            ],
            [
              0.14591,
              0.16585,
              0.18489,
              0.22156,
              0.29234,
              0.43025,
              0.70166
            ],
            [
              0.16862,
              0.18822,
              0.20732,
              0.24413,
              0.31502,
              0.45303,
              0.72471
            ],
            [
              0.20174,
              0.22303,
              0.24239,
              0.27851,
              0.34952,
              0.48766,
              0.75935
            ],
            [
              0.24136,
              0.26649,
              0.28926,
              0.33016,
              0.40182,
              0.53985,
              0.81159
            ],
            [
              0.28766,
              0.31784,
              0.34513,
              0.39378,
              0.47772,
              0.61912,
              0.89062
            ],
            [
              0.34127,
              0.37727,
              0.40987,
              0.46877,
              0.56927,
              0.73457,
              1.00997
            ],
            [
              0.4017,
              0.445,
              0.4845,
              0.5553,
              0.6769,
              0.8756,
              1.1888
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.10949,
              0.13373,
              0.15681,
              0.20186,
              0.29058,
              0.46692,
              0.81935
            ],
            [
              0.11194,
              0.13653,
              0.1598,
              0.20507,
              0.29407,
              0.4705,
              0.8236
            ],
            [
              0.11501,
              0.13984,
              0.16327,
              0.20879,
              0.29801,
              0.47457,
              0.82735
            ],
            [
              0.1199,
              0.14486,
              0.16847,
              0.21424,
              0.30371,
              0.48046,
              0.83342
            ],
            [
              0.12755,
              0.15258,
              0.1763,
              0.22234,
              0.31202,
              0.48913,
              0.84224
            ],
            [
              0.13954,
              0.1644,
              0.18821,
              0.23439,
              0.32435,
              0.50212,
              0.85499
            ],
            [
              0.1574,
              0.18203,
              0.20568,
              0.2519,
              0.34228,
              0.52014,
              0.87338
            ],
            [
              0.18281,
              0.20764,
              0.23133,
              0.27763,
              0.3681,
              0.54667,
              0.90006
            ],
            [
              0.21362,
              0.24287,
              0.2681,
              0.31448,
              0.40484,
              0.58378,
              0.93755
            ],
            [
              0.24891,
              0.28404,
              0.31424,
              0.36734,
              0.45918,
              0.63799,
              0.99239
            ],
            [
              0.28743,
              0.33157,
              0.3687,
              0.43236,
              0.53822,
              0.71902,
              1.07462
            ],
            [
              0.32687,
              0.38387,
              0.43127,
              0.50997,
              0.63707,
              0.84007,
              1.19597
            ],
            [
              0.3653,
              0.4387,
              0.4993,
              0.5997,
              0.7567,
              0.9987,
              1.3789
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.09841,
              0.12276,
              0.14675,
              0.19424,
              0.28877,
              0.47763,
              0.85438
            ],
            [
              0.09853,
              0.12269,
              0.14668,
              0.19429,
              0.28877,
              0.47759,
              0.85426
            ],
            [
              0.09855,
              0.12281,
              0.14667,
              0.19434,
              0.28863,
              0.4776,
              0.8547
            ],
            [
              0.09859,
              0.12281,
              0.1468,
              0.19429,
              0.28891,
              0.477,
              0.8546
            ],
            [
              0.09876,
              0.12288,
              0.14681,
              0.19433,
              0.28859,
              0.47756,
              0.85462
            ],
            [
              0.09852,
              0.123,
              0.14685,
              0.19431,
              0.28863,
              0.47749,
              0.85425
            ],
            [
              0.09716,
              0.12157,
              0.1461,
              0.19423,
              0.28876,
              0.4775,
              0.85468
            ],
            [
              0.10113,
              0.12397,
              0.14711,
              0.19374,
              0.28883,
              0.47748,
              0.85463
            ],
            [
              0.11419,
              0.13548,
              0.15675,
              0.19995,
              0.28983,
              0.47756,
              0.85423
            ],
            [
              0.13197,
              0.15727,
              0.18007,
              0.22052,
              0.30307,
              0.47916,
              0.85435
            ],
            [
              0.15838,
              0.18702,
              0.21235,
              0.25802,
              0.33768,
              0.50024,
              0.8556
            ],
            [
              0.1948,
              0.2284,
              0.2577,
              0.3093,
              0.3979,
              0.5526,
              0.8809
            ],
            [
              0.244,
              0.2839,
              0.3185,
              0.3784,
              0.4792,
              0.6473,
              0.9522
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.07754,
              0.10805,
              0.13871,
              0.2002,
              0.32264,
              0.56716,
              1.05526
            ],
            [
              0.07767,
              0.1081,
              0.1387,
              0.20013,
              0.3225,
              0.56718,
              1.05577
            ],
            [
              0.07776,
              0.10808,
              0.1387,
              0.20015,
              0.32241,
              0.56715,
              1.05511
            ],
            [
              0.07785,
              0.10801,
              0.13874,
              0.1999,
              0.32245,
              0.56719,
              1.05461
            ],
            [
              0.07792,
              0.10796,
              0.13872,
              0.20018,
              0.3228,
              0.56711,
              1.05431
            ],
            [
              0.07803,
              0.1081,
              0.13883,
              0.19996,
              0.32279,
              0.5673,
              1.05539
            ],
            [
              0.07871,
              0.10851,
              0.13898,
              0.20018,
              0.32268,
              0.56662,
              1.05492
            ],
            [
              0.0818,
              0.10995,
              0.13975,
              0.20034,
              0.32281,
              0.56753,
              1.05524
            ],
            [
              0.09516,
              0.11971,
              0.14679,
              0.20349,
              0.32313,
              0.56655,
              1.05501
            ],
            [
              0.12045,
              0.14451,
              0.16764,
              0.21924,
              0.32963,
              0.56698,
              1.05517
            ],
            [
              0.15582,
              0.18166,
              0.20742,
              0.25575,
              0.35445,
              0.5766,
              1.0541
            ],
            [
              0.2067,
              0.2351,
              0.2632,
              0.316,
              0.4126,
              0.6113,
              1.0631
            ],
            [
              0.2779,
              0.3105,
              0.3418,
              0.4003,
              0.5058,
              0.6936,
              1.1049
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.07883,
              0.09958,
              0.11908,
              0.15624,
              0.22733,
              0.36535,
              0.63668
            ],
            [
              0.08075,
              0.10151,
              0.12102,
              0.1582,
              0.2293,
              0.36726,
              0.63868
            ],
            [
              0.08314,
              0.10395,
              0.12348,
              0.16069,
              0.2318,
              0.3698,
              0.64123
            ],
            [
              0.08693,
              0.1078,
              0.12737,
              0.16462,
              0.23578,
              0.37383,
              0.64526
            ],
            [
              0.09291,
              0.11387,
              0.13349,
              0.17081,
              0.24205,
              0.38013,
              0.65159
            ],
            [
              0.10223,
              0.12334,
              0.14303,
              0.18043,
              0.25175,
              0.38991,
              0.66154
            ],
            [
              0.11736,
              0.13796,
              0.15766,
              0.19516,
              0.26665,
              0.40497,
              0.67671
            ],
            [
              0.14086,
              0.16175,
              0.18049,
              0.21777,
              0.28919,
              0.42776,
              0.69955
            ],
            [
              0.16911,
              0.19359,
              0.21507,
              0.2528,
              0.32373,
              0.46219,
              0.73414
            ],
            [
              0.20226,
              0.2314,
              0.25693,
              0.30159,
              0.37662,
              0.51471,
              0.78649
            ],
            [
              0.24051,
              0.27531,
              0.30599,
              0.35979,
              0.44892,
              0.59412,
              0.86582
            ],
            [
              0.28377,
              0.32577,
              0.36277,
              0.42727,
              0.53477,
              0.70647,
              0.98487
            ],
            [
              0.3317,
              0.382,
              0.4266,
              0.505,
              0.6349,
              0.8423,
              1.1629
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.12108,
              0.15237,
              0.18214,
              0.24046,
              0.35629,
              0.58584,
              1.04657
            ],
            [
              0.12332,
              0.15498,
              0.18509,
              0.24372,
              0.35974,
              0.58947,
              1.05044
            ],
            [
              0.12615,
              0.15811,
              0.18845,
              0.24737,
              0.3636,
              0.59439,
              1.05472
            ],
            [
              0.13075,
              0.16289,
              0.19343,
              0.2527,
              0.36919,
              0.59974,
              1.05988
            ],
            [
              0.13809,
              0.17032,
              0.20104,
              0.26064,
              0.37748,
              0.60822,
              1.06961
            ],
            [
              0.14969,
              0.18172,
              0.21247,
              0.27231,
              0.38971,
              0.6206,
              1.08102
            ],
            [
              0.16703,
              0.19862,
              0.22935,
              0.28928,
              0.407,
              0.63936,
              1.09993
            ],
            [
              0.19121,
              0.22289,
              0.25333,
              0.31334,
              0.43105,
              0.66388,
              1.12446
            ],
            [
              0.22064,
              0.2562,
              0.28749,
              0.34728,
              0.46474,
              0.69784,
              1.16015
            ],
            [
              0.25383,
              0.29493,
              0.33098,
              0.39541,
              0.51313,
              0.74629,
              1.20959
            ],
            [
              0.291,
              0.33958,
              0.38159,
              0.45612,
              0.58392,
              0.81712,
              1.28032
            ],
            [
              0.32977,
              0.39007,
              0.44087,
              0.52817,
              0.67557,
              0.92247,
              1.38567
            ],
            [
              0.3684,
              0.4446,
              0.5078,
              0.614,
              0.7872,
              1.0695,
              1.5438
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.08656,
              0.1094,
              0.13261,
              0.17909,
              0.27269,
              0.46012,
              0.83554
            ],
            [
              0.08662,
              0.10936,
              0.13263,
              0.1791,
              0.27268,
              0.46034,
              0.83519
            ],
            [
              0.08661,
              0.10947,
              0.13258,
              0.17917,
              0.27262,
              0.45985,
              0.83653
            ],
            [
              0.08628,
              0.10944,
              0.13256,
              0.17908,
              0.27238,
              0.4597,
              0.83612
            ],
            [
              0.08502,
              0.10908,
              0.1324,
              0.17888,
              0.27263,
              0.4598,
              0.83646
            ],
            [
              0.08255,
              0.10708,
              0.13177,
              0.17898,
              0.27251,
              0.45992,
              0.8362
            ],
            [
              0.08334,
              0.10657,
              0.13012,
              0.17785,
              0.27249,
              0.4603,
              0.83654
            ],
            [
              0.09008,
              0.1115,
              0.13349,
              0.1784,
              0.27139,
              0.46028,
              0.83575
            ],
            [
              0.10245,
              0.12599,
              0.14618,
              0.18726,
              0.27444,
              0.46007,
              0.83562
            ],
            [
              0.11972,
              0.1462,
              0.1696,
              0.21058,
              0.29041,
              0.46401,
              0.8364
            ],
            [
              0.14501,
              0.17542,
              0.2017,
              0.24769,
              0.32782,
              0.4871,
              0.8387
            ],
            [
              0.17998,
              0.2156,
              0.2458,
              0.2986,
              0.3881,
              0.5427,
              0.8655
            ],
            [
              0.2268,
              0.2698,
              0.3057,
              0.367,
              0.4691,
              0.6384,
              0.9405
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.07423,
              0.11471,
              0.15503,
              0.23581,
              0.39646,
              0.71765,
              1.36114
            ],
            [
              0.07442,
              0.11464,
              0.15495,
              0.23579,
              0.39662,
              0.71749,
              1.36129
            ],
            [
              0.07456,
              0.11459,
              0.15515,
              0.23582,
              0.39672,
              0.71846,
              1.36124
            ],
            [
              0.07465,
              0.11465,
              0.15523,
              0.23581,
              0.39678,
              0.7187,
              1.36076
            ],
            [
              0.07481,
              0.11489,
              0.15507,
              0.23568,
              0.39677,
              0.71689,
              1.36039
            ],
            [
              0.07499,
              0.11494,
              0.15515,
              0.23575,
              0.39605,
              0.71729,
              1.35859
            ],
            [
              0.0755,
              0.11522,
              0.15504,
              0.23558,
              0.39601,
              0.71809,
              1.36114
            ],
            [
              0.07844,
              0.11642,
              0.15588,
              0.23581,
              0.39672,
              0.71808,
              1.35844
            ],
            [
              0.09023,
              0.12459,
              0.16164,
              0.23778,
              0.39628,
              0.7171,
              1.36142
            ],
            [
              0.10946,
              0.1452,
              0.17869,
              0.24982,
              0.40026,
              0.7182,
              1.36133
            ],
            [
              0.13601,
              0.17401,
              0.21097,
              0.27941,
              0.41944,
              0.7227,
              1.3596
            ],
            [
              0.1755,
              0.2166,
              0.2556,
              0.33,
              0.4655,
              0.7482,
              1.3623
            ],
            [
              0.2338,
              0.2787,
              0.3214,
              0.4004,
              0.5454,
              0.8127,
              1.391
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.08285,
              0.10329,
              0.12266,
              0.15972,
              0.23082,
              0.3691,
              0.64117
            ],
            [
              0.08474,
              0.1052,
              0.12459,
              0.16169,
              0.23281,
              0.37102,
              0.64317
            ],
            [
              0.08715,
              0.10764,
              0.12706,
              0.16414,
              0.23531,
              0.37354,
              0.64574
            ],
            [
              0.09094,
              0.11151,
              0.13095,
              0.16808,
              0.23925,
              0.37759,
              0.6497
            ],
            [
              0.09692,
              0.11755,
              0.13708,
              0.17428,
              0.24551,
              0.3839,
              0.65605
            ],
            [
              0.10625,
              0.12704,
              0.1466,
              0.1839,
              0.25525,
              0.39369,
              0.66616
            ],
            [
              0.121,
              0.14158,
              0.16122,
              0.19863,
              0.27018,
              0.40877,
              0.68117
            ],
            [
              0.1448,
              0.16516,
              0.18389,
              0.22124,
              0.29274,
              0.43151,
              0.70411
            ],
            [
              0.17387,
              0.19767,
              0.21877,
              0.25612,
              0.32725,
              0.46604,
              0.73872
            ],
            [
              0.2082,
              0.23645,
              0.26151,
              0.30559,
              0.38011,
              0.51857,
              0.79109
            ],
            [
              0.24804,
              0.28174,
              0.31178,
              0.3648,
              0.45322,
              0.59802,
              0.87042
            ],
            [
              0.29347,
              0.33407,
              0.37027,
              0.43377,
              0.54027,
              0.71107,
              0.98947
            ],
            [
              0.3445,
              0.3931,
              0.4366,
              0.5136,
              0.6422,
              0.8484,
              1.1682
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.15475,
              0.18469,
              0.21378,
              0.27087,
              0.38349,
              0.60745,
              1.05397
            ],
            [
              0.15765,
              0.18774,
              0.21696,
              0.27424,
              0.38708,
              0.61119,
              1.05804
            ],
            [
              0.16104,
              0.19126,
              0.22058,
              0.27801,
              0.39106,
              0.61531,
              1.06222
            ],
            [
              0.16609,
              0.19645,
              0.22586,
              0.28351,
              0.3968,
              0.62123,
              1.06818
            ],
            [
              0.17371,
              0.20418,
              0.23374,
              0.29163,
              0.40516,
              0.62988,
              1.07721
            ],
            [
              0.18528,
              0.2158,
              0.24549,
              0.3036,
              0.41743,
              0.64249,
              1.08992
            ],
            [
              0.2023,
              0.23275,
              0.26252,
              0.32071,
              0.43485,
              0.66027,
              1.10793
            ],
            [
              0.2266,
              0.2569,
              0.28663,
              0.34486,
              0.45928,
              0.68518,
              1.13336
            ],
            [
              0.26037,
              0.29113,
              0.32074,
              0.37886,
              0.49329,
              0.71953,
              1.16815
            ],
            [
              0.30048,
              0.33591,
              0.36853,
              0.42773,
              0.54199,
              0.76839,
              1.21769
            ],
            [
              0.34745,
              0.38841,
              0.42572,
              0.49362,
              0.61362,
              0.84002,
              1.28952
            ],
            [
              0.40117,
              0.45037,
              0.49447,
              0.57337,
              0.71077,
              0.94667,
              1.39637
            ],
            [
              0.4599,
              0.5211,
              0.5751,
              0.6696,
              0.8299,
              1.0981,
              1.5566
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.12333,
              0.14484,
              0.1669,
              0.21226,
              0.30467,
              0.49118,
              0.86757
            ],
            [
              0.12337,
              0.14481,
              0.167,
              0.21228,
              0.30481,
              0.49136,
              0.86751
            ],
            [
              0.1234,
              0.14481,
              0.16701,
              0.21241,
              0.30452,
              0.49166,
              0.86745
            ],
            [
              0.12321,
              0.14479,
              0.16695,
              0.21216,
              0.30466,
              0.49178,
              0.86751
            ],
            [
              0.122,
              0.14449,
              0.16683,
              0.21227,
              0.3046,
              0.49136,
              0.8671
            ],
            [
              0.11946,
              0.14269,
              0.16625,
              0.21208,
              0.30462,
              0.49165,
              0.86621
            ],
            [
              0.12029,
              0.142,
              0.16456,
              0.21125,
              0.30459,
              0.49145,
              0.86747
            ],
            [
              0.12691,
              0.14699,
              0.1679,
              0.2116,
              0.30386,
              0.49148,
              0.86646
            ],
            [
              0.14269,
              0.16112,
              0.18052,
              0.22059,
              0.30676,
              0.49149,
              0.86734
            ],
            [
              0.16569,
              0.18679,
              0.20674,
              0.24397,
              0.32275,
              0.49503,
              0.86758
            ],
            [
              0.19826,
              0.22185,
              0.24389,
              0.2848,
              0.36019,
              0.518,
              0.8697
            ],
            [
              0.24336,
              0.2703,
              0.2953,
              0.3415,
              0.4241,
              0.5736,
              0.8977
            ],
            [
              0.3038,
              0.3357,
              0.3649,
              0.4177,
              0.5109,
              0.6724,
              0.9713
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.10407,
              0.14424,
              0.18405,
              0.26343,
              0.42175,
              0.73765,
              1.36828
            ],
            [
              0.10424,
              0.14425,
              0.18396,
              0.26305,
              0.42133,
              0.73656,
              1.36717
            ],
            [
              0.10424,
              0.14424,
              0.18379,
              0.26349,
              0.42133,
              0.73709,
              1.36695
            ],
            [
              0.10409,
              0.14426,
              0.18399,
              0.26316,
              0.42124,
              0.73741,
              1.36812
            ],
            [
              0.10422,
              0.14425,
              0.18408,
              0.26333,
              0.42165,
              0.73759,
              1.36596
            ],
            [
              0.10428,
              0.14431,
              0.18409,
              0.26311,
              0.42164,
              0.73706,
              1.36784
            ],
            [
              0.10441,
              0.14439,
              0.18415,
              0.26312,
              0.42168,
              0.73769,
              1.36775
            ],
            [
              0.10522,
              0.14485,
              0.18428,
              0.26353,
              0.42118,
              0.73683,
              1.36816
            ],
            [
              0.11276,
              0.1495,
              0.1871,
              0.26431,
              0.42161,
              0.73619,
              1.36717
            ],
            [
              0.13198,
              0.16576,
              0.20049,
              0.27312,
              0.42415,
              0.73694,
              1.36707
            ],
            [
              0.15888,
              0.19658,
              0.23234,
              0.29929,
              0.4409,
              0.7411,
              1.368
            ],
            [
              0.1994,
              0.2399,
              0.2779,
              0.35,
              0.4828,
              0.7641,
              1.3686
            ],
            [
              0.259,
              0.3034,
              0.3446,
              0.4218,
              0.5627,
              0.825,
              1.3959
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.12686,
              0.14646,
              0.16526,
              0.20162,
              0.27197,
              0.40944,
              0.68056
            ],
            [
              0.12919,
              0.14879,
              0.16761,
              0.20397,
              0.27434,
              0.4118,
              0.68287
            ],
            [
              0.13209,
              0.1517,
              0.17053,
              0.20689,
              0.27727,
              0.41474,
              0.6859
            ],
            [
              0.13648,
              0.15613,
              0.17497,
              0.21136,
              0.28176,
              0.41925,
              0.69037
            ],
            [
              0.14271,
              0.16242,
              0.18129,
              0.21776,
              0.28821,
              0.42574,
              0.69697
            ],
            [
              0.15156,
              0.17134,
              0.19029,
              0.22682,
              0.29738,
              0.43503,
              0.70631
            ],
            [
              0.16454,
              0.18441,
              0.20341,
              0.24008,
              0.31079,
              0.44858,
              0.71999
            ],
            [
              0.18432,
              0.20408,
              0.22312,
              0.25991,
              0.33084,
              0.46883,
              0.74042
            ],
            [
              0.21229,
              0.23345,
              0.25312,
              0.28981,
              0.36088,
              0.49919,
              0.77105
            ],
            [
              0.24777,
              0.27127,
              0.29304,
              0.33334,
              0.40616,
              0.54476,
              0.81699
            ],
            [
              0.29189,
              0.31883,
              0.34362,
              0.3891,
              0.47002,
              0.61322,
              0.88592
            ],
            [
              0.34417,
              0.37617,
              0.40547,
              0.45847,
              0.55117,
              0.71077,
              0.98927
            ],
            [
              0.4035,
              0.4423,
              0.4777,
              0.5414,
              0.6512,
              0.8347,
              1.1414
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.14413,
              0.16884,
              0.19296,
              0.24055,
              0.33465,
              0.52184,
              0.89527
            ],
            [
              0.14674,
              0.17159,
              0.19579,
              0.24345,
              0.33764,
              0.52492,
              0.89832
            ],
            [
              0.1499,
              0.17485,
              0.19921,
              0.24697,
              0.34127,
              0.52857,
              0.90229
            ],
            [
              0.15474,
              0.17991,
              0.20438,
              0.25226,
              0.34673,
              0.53416,
              0.90794
            ],
            [
              0.16228,
              0.18759,
              0.2122,
              0.2603,
              0.35497,
              0.54256,
              0.91619
            ],
            [
              0.17395,
              0.19933,
              0.22397,
              0.27237,
              0.36725,
              0.55512,
              0.92892
            ],
            [
              0.19149,
              0.21685,
              0.24153,
              0.29,
              0.38515,
              0.57331,
              0.94733
            ],
            [
              0.21701,
              0.24232,
              0.26703,
              0.31547,
              0.41082,
              0.5992,
              0.97356
            ],
            [
              0.25265,
              0.27886,
              0.30365,
              0.35214,
              0.44744,
              0.63611,
              1.01085
            ],
            [
              0.29524,
              0.32622,
              0.35453,
              0.40561,
              0.50107,
              0.68989,
              1.06489
            ],
            [
              0.34495,
              0.38241,
              0.41599,
              0.47612,
              0.58032,
              0.76952,
              1.14492
            ],
            [
              0.40037,
              0.44737,
              0.48877,
              0.56147,
              0.68447,
              0.88877,
              1.26447
            ],
            [
              0.4588,
              0.5187,
              0.5712,
              0.662,
              0.8114,
              1.0519,
              1.4436
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.09852,
              0.12273,
              0.14673,
              0.19429,
              0.28869,
              0.47763,
              0.85402
            ],
            [
              0.09852,
              0.12268,
              0.14681,
              0.1943,
              0.28894,
              0.47736,
              0.85457
            ],
            [
              0.09851,
              0.12272,
              0.14682,
              0.19425,
              0.28895,
              0.47762,
              0.85447
            ],
            [
              0.09852,
              0.12281,
              0.1468,
              0.1943,
              0.28894,
              0.47764,
              0.85442
            ],
            [
              0.09845,
              0.12281,
              0.14676,
              0.19434,
              0.28894,
              0.47764,
              0.85467
            ],
            [
              0.09838,
              0.12259,
              0.14674,
              0.19435,
              0.28894,
              0.47692,
              0.85464
            ],
            [
              0.09786,
              0.12239,
              0.14648,
              0.19428,
              0.28892,
              0.47763,
              0.85456
            ],
            [
              0.10096,
              0.12436,
              0.14765,
              0.19426,
              0.28848,
              0.47752,
              0.85464
            ],
            [
              0.11002,
              0.13202,
              0.15427,
              0.19888,
              0.29037,
              0.47746,
              0.85346
            ],
            [
              0.12521,
              0.14862,
              0.1707,
              0.21283,
              0.2997,
              0.48031,
              0.8545
            ],
            [
              0.14784,
              0.17283,
              0.19648,
              0.24077,
              0.32366,
              0.49491,
              0.8558
            ],
            [
              0.1809,
              0.2087,
              0.2345,
              0.2819,
              0.3686,
              0.5318,
              0.8745
            ],
            [
              0.2276,
              0.2594,
              0.2885,
              0.3408,
              0.4343,
              0.603,
              0.9262
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.10794,
              0.1402,
              0.17276,
              0.2382,
              0.36819,
              0.62711,
              1.14462
            ],
            [
              0.10798,
              0.14021,
              0.17283,
              0.23812,
              0.3682,
              0.62754,
              1.14462
            ],
            [
              0.10808,
              0.14045,
              0.17286,
              0.23813,
              0.36814,
              0.62707,
              1.14529
            ],
            [
              0.10806,
              0.14035,
              0.17288,
              0.23816,
              0.36826,
              0.62713,
              1.14529
            ],
            [
              0.10812,
              0.14033,
              0.17291,
              0.23802,
              0.36818,
              0.62725,
              1.14528
            ],
            [
              0.10823,
              0.14053,
              0.17304,
              0.23816,
              0.36798,
              0.62745,
              1.14515
            ],
            [
              0.1083,
              0.14059,
              0.17304,
              0.23788,
              0.36828,
              0.62721,
              1.14523
            ],
            [
              0.10935,
              0.14089,
              0.17316,
              0.23813,
              0.36826,
              0.62687,
              1.14471
            ],
            [
              0.1174,
              0.1465,
              0.17701,
              0.23952,
              0.36828,
              0.62671,
              1.14544
            ],
            [
              0.13926,
              0.16528,
              0.19294,
              0.25057,
              0.3721,
              0.62768,
              1.14489
            ],
            [
              0.17346,
              0.20178,
              0.22928,
              0.28132,
              0.39248,
              0.634,
              1.1452
            ],
            [
              0.2234,
              0.2546,
              0.2839,
              0.3402,
              0.4428,
              0.664,
              1.1502
            ],
            [
              0.2947,
              0.3297,
              0.3628,
              0.424,
              0.5352,
              0.7373,
              1.186
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.09842,
              0.11913,
              0.13861,
              0.17576,
              0.24684,
              0.38479,
              0.65615
            ],
            [
              0.10065,
              0.12136,
              0.14085,
              0.178,
              0.24908,
              0.38707,
              0.6585
            ],
            [
              0.10344,
              0.12417,
              0.14366,
              0.18082,
              0.2519,
              0.38988,
              0.66131
            ],
            [
              0.10772,
              0.12846,
              0.14797,
              0.18515,
              0.25626,
              0.39424,
              0.66565
            ],
            [
              0.11382,
              0.13462,
              0.15416,
              0.19138,
              0.26254,
              0.40056,
              0.67206
            ],
            [
              0.12261,
              0.14346,
              0.16305,
              0.20036,
              0.27159,
              0.40971,
              0.68123
            ],
            [
              0.13588,
              0.15658,
              0.17618,
              0.21357,
              0.28493,
              0.42317,
              0.69475
            ],
            [
              0.15559,
              0.17676,
              0.19613,
              0.23341,
              0.30491,
              0.44335,
              0.71517
            ],
            [
              0.1805,
              0.20389,
              0.2251,
              0.26359,
              0.33504,
              0.47372,
              0.74578
            ],
            [
              0.21207,
              0.23838,
              0.26208,
              0.30486,
              0.38044,
              0.51935,
              0.79179
            ],
            [
              0.25009,
              0.28084,
              0.30823,
              0.35706,
              0.44174,
              0.58792,
              0.86082
            ],
            [
              0.29357,
              0.33057,
              0.36337,
              0.42107,
              0.51907,
              0.68317,
              0.96427
            ],
            [
              0.341,
              0.3862,
              0.4261,
              0.4962,
              0.6133,
              0.8035,
              1.1152
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.16551,
              0.19727,
              0.22842,
              0.29005,
              0.41209,
              0.65536,
              1.14087
            ],
            [
              0.16795,
              0.1999,
              0.23115,
              0.29289,
              0.41505,
              0.65836,
              1.14404
            ],
            [
              0.17091,
              0.20306,
              0.23445,
              0.29634,
              0.41862,
              0.66204,
              1.14752
            ],
            [
              0.17547,
              0.20786,
              0.23942,
              0.30157,
              0.42399,
              0.66756,
              1.15338
            ],
            [
              0.18269,
              0.21527,
              0.24702,
              0.30938,
              0.43208,
              0.67588,
              1.16161
            ],
            [
              0.19396,
              0.22663,
              0.2585,
              0.32107,
              0.44419,
              0.68825,
              1.17432
            ],
            [
              0.21086,
              0.24353,
              0.27542,
              0.33815,
              0.46154,
              0.70597,
              1.19213
            ],
            [
              0.23504,
              0.26757,
              0.29945,
              0.36228,
              0.48587,
              0.73065,
              1.21726
            ],
            [
              0.26855,
              0.30135,
              0.33319,
              0.3959,
              0.51957,
              0.76465,
              1.25185
            ],
            [
              0.30846,
              0.34584,
              0.38043,
              0.44385,
              0.56731,
              0.81259,
              1.29999
            ],
            [
              0.35477,
              0.39773,
              0.43704,
              0.50902,
              0.63702,
              0.88222,
              1.37002
            ],
            [
              0.40757,
              0.45857,
              0.50467,
              0.58757,
              0.73287,
              0.98557,
              1.47357
            ],
            [
              0.4653,
              0.5281,
              0.5837,
              0.682,
              0.8502,
              1.1343,
              1.6282
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.0852,
              0.10861,
              0.13198,
              0.17883,
              0.27252,
              0.45971,
              0.83582
            ],
            [
              0.08516,
              0.10865,
              0.1321,
              0.17895,
              0.27225,
              0.46037,
              0.83562
            ],
            [
              0.08507,
              0.10862,
              0.13207,
              0.17894,
              0.27217,
              0.46036,
              0.83637
            ],
            [
              0.08505,
              0.10854,
              0.13185,
              0.17872,
              0.27255,
              0.4596,
              0.83654
            ],
            [
              0.08479,
              0.10843,
              0.13189,
              0.17866,
              0.27245,
              0.45974,
              0.83554
            ],
            [
              0.08404,
              0.108,
              0.13152,
              0.1787,
              0.27224,
              0.46026,
              0.83655
            ],
            [
              0.08479,
              0.10792,
              0.13109,
              0.17844,
              0.27238,
              0.46019,
              0.83607
            ],
            [
              0.08927,
              0.11138,
              0.1338,
              0.17919,
              0.27219,
              0.4601,
              0.83654
            ],
            [
              0.09976,
              0.12118,
              0.14207,
              0.18542,
              0.27489,
              0.45976,
              0.83649
            ],
            [
              0.11439,
              0.13758,
              0.15981,
              0.20123,
              0.2858,
              0.46395,
              0.83649
            ],
            [
              0.13682,
              0.16211,
              0.18561,
              0.22995,
              0.31183,
              0.48006,
              0.8386
            ],
            [
              0.1693,
              0.1977,
              0.2237,
              0.2712,
              0.3581,
              0.5191,
              0.8598
            ],
            [
              0.2151,
              0.248,
              0.2774,
              0.3302,
              0.4242,
              0.5922,
              0.9119
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.1106,
              0.15382,
              0.19673,
              0.28186,
              0.45261,
              0.79216,
              1.47127
            ],
            [
              0.11053,
              0.15382,
              0.19669,
              0.28185,
              0.45251,
              0.79223,
              1.47129
            ],
            [
              0.11052,
              0.15368,
              0.19679,
              0.28186,
              0.45236,
              0.7924,
              1.47117
            ],
            [
              0.11066,
              0.15386,
              0.1968,
              0.28212,
              0.45254,
              0.79224,
              1.46975
            ],
            [
              0.11072,
              0.15391,
              0.1968,
              0.28191,
              0.45254,
              0.79244,
              1.47138
            ],
            [
              0.11058,
              0.15379,
              0.19657,
              0.28232,
              0.4519,
              0.7924,
              1.47127
            ],
            [
              0.11092,
              0.15391,
              0.19657,
              0.28216,
              0.45219,
              0.79221,
              1.4706
            ],
            [
              0.11161,
              0.15404,
              0.19708,
              0.28219,
              0.45246,
              0.7918,
              1.47119
            ],
            [
              0.11855,
              0.15852,
              0.1993,
              0.28298,
              0.45221,
              0.79209,
              1.46988
            ],
            [
              0.13637,
              0.17358,
              0.21181,
              0.29083,
              0.45441,
              0.79263,
              1.4701
            ],
            [
              0.16229,
              0.20311,
              0.24161,
              0.31522,
              0.46962,
              0.7948,
              1.4703
            ],
            [
              0.2008,
              0.2447,
              0.2859,
              0.3639,
              0.5088,
              0.8164,
              1.4716
            ],
            [
              0.2582,
              0.3058,
              0.3504,
              0.4336,
              0.5857,
              0.8723,
              1.4958
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.10243,
              0.12286,
              0.14223,
              0.17925,
              0.25036,
              0.3886,
              0.66075
            ],
            [
              0.10465,
              0.12508,
              0.14447,
              0.18149,
              0.2526,
              0.39087,
              0.66302
            ],
            [
              0.10744,
              0.12788,
              0.14726,
              0.18432,
              0.25545,
              0.39368,
              0.6658
            ],
            [
              0.11171,
              0.13218,
              0.15157,
              0.18865,
              0.25977,
              0.3981,
              0.67017
            ],
            [
              0.11782,
              0.13834,
              0.15777,
              0.19489,
              0.26607,
              0.4044,
              0.67653
            ],
            [
              0.12659,
              0.14718,
              0.16668,
              0.20388,
              0.27516,
              0.41354,
              0.68575
            ],
            [
              0.13976,
              0.16025,
              0.17978,
              0.21707,
              0.28848,
              0.42701,
              0.69938
            ],
            [
              0.15967,
              0.18033,
              0.19963,
              0.23693,
              0.30848,
              0.4472,
              0.71969
            ],
            [
              0.18499,
              0.2079,
              0.22886,
              0.26701,
              0.33858,
              0.47762,
              0.75034
            ],
            [
              0.21723,
              0.24294,
              0.26631,
              0.30875,
              0.38405,
              0.52325,
              0.79639
            ],
            [
              0.25637,
              0.28628,
              0.31323,
              0.36156,
              0.44582,
              0.59182,
              0.86542
            ],
            [
              0.30157,
              0.33747,
              0.36957,
              0.42657,
              0.52387,
              0.68767,
              0.96907
            ],
            [
              0.3515,
              0.3952,
              0.4343,
              0.5033,
              0.6193,
              0.8089,
              1.1203
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.19736,
              0.2279,
              0.25796,
              0.31735,
              0.43484,
              0.66845,
              1.13397
            ],
            [
              0.20002,
              0.23065,
              0.26077,
              0.32023,
              0.43779,
              0.67146,
              1.13724
            ],
            [
              0.20326,
              0.23399,
              0.26418,
              0.32374,
              0.44137,
              0.67513,
              1.14072
            ],
            [
              0.20816,
              0.23906,
              0.26932,
              0.32904,
              0.44682,
              0.68068,
              1.14637
            ],
            [
              0.21572,
              0.24675,
              0.27714,
              0.33701,
              0.45499,
              0.68902,
              1.15491
            ],
            [
              0.22731,
              0.25842,
              0.28894,
              0.34898,
              0.46716,
              0.70148,
              1.16742
            ],
            [
              0.24434,
              0.27551,
              0.30609,
              0.36628,
              0.48471,
              0.71928,
              1.18573
            ],
            [
              0.26859,
              0.29966,
              0.33032,
              0.39063,
              0.50926,
              0.74417,
              1.21086
            ],
            [
              0.30256,
              0.33377,
              0.36434,
              0.42459,
              0.54336,
              0.77855,
              1.24545
            ],
            [
              0.34842,
              0.38187,
              0.41288,
              0.47312,
              0.59187,
              0.82719,
              1.29449
            ],
            [
              0.40223,
              0.44034,
              0.47592,
              0.54222,
              0.66262,
              0.89802,
              1.36582
            ],
            [
              0.46597,
              0.51057,
              0.55187,
              0.62777,
              0.76327,
              1.00337,
              1.47137
            ],
            [
              0.5391,
              0.5931,
              0.6424,
              0.7317,
              0.8882,
              1.1567,
              1.6292
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.12165,
              0.14363,
              0.16615,
              0.21184,
              0.30422,
              0.49128,
              0.8667
            ],
            [
              0.12152,
              0.14357,
              0.16613,
              0.2117,
              0.30443,
              0.49109,
              0.8659
            ],
            [
              0.12148,
              0.14355,
              0.16612,
              0.21168,
              0.30412,
              0.49165,
              0.86662
            ],
            [
              0.12149,
              0.14347,
              0.16608,
              0.21175,
              0.30419,
              0.49092,
              0.86723
            ],
            [
              0.12126,
              0.14341,
              0.166,
              0.21163,
              0.30407,
              0.49096,
              0.86581
            ],
            [
              0.12051,
              0.14293,
              0.16576,
              0.21175,
              0.30411,
              0.49108,
              0.8667
            ],
            [
              0.12124,
              0.14279,
              0.16527,
              0.21121,
              0.3039,
              0.49107,
              0.86693
            ],
            [
              0.12551,
              0.14627,
              0.16784,
              0.21218,
              0.30368,
              0.49104,
              0.8656
            ],
            [
              0.13615,
              0.15561,
              0.17593,
              0.21825,
              0.30659,
              0.49093,
              0.86635
            ],
            [
              0.15437,
              0.17464,
              0.19457,
              0.23379,
              0.31737,
              0.49482,
              0.86664
            ],
            [
              0.18107,
              0.20271,
              0.22371,
              0.26475,
              0.34376,
              0.51068,
              0.8696
            ],
            [
              0.2203,
              0.2436,
              0.2664,
              0.3097,
              0.3923,
              0.5504,
              0.8892
            ],
            [
              0.2756,
              0.3021,
              0.3271,
              0.3745,
              0.462,
              0.6247,
              0.9418
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.13844,
              0.18067,
              0.22278,
              0.3062,
              0.47107,
              0.80139,
              1.45647
            ],
            [
              0.13849,
              0.18077,
              0.22278,
              0.3062,
              0.47121,
              0.80145,
              1.45696
            ],
            [
              0.13845,
              0.1809,
              0.22266,
              0.30619,
              0.47119,
              0.80135,
              1.45596
            ],
            [
              0.13858,
              0.18095,
              0.22255,
              0.30613,
              0.47153,
              0.80146,
              1.45598
            ],
            [
              0.13859,
              0.18086,
              0.22268,
              0.30618,
              0.47131,
              0.80135,
              1.45804
            ],
            [
              0.13838,
              0.18076,
              0.2229,
              0.30608,
              0.47133,
              0.80141,
              1.45848
            ],
            [
              0.13843,
              0.18094,
              0.2227,
              0.3062,
              0.47147,
              0.80054,
              1.45751
            ],
            [
              0.13879,
              0.18093,
              0.22267,
              0.30592,
              0.47163,
              0.80105,
              1.45805
            ],
            [
              0.14242,
              0.18297,
              0.22383,
              0.30645,
              0.47165,
              0.80132,
              1.45615
            ],
            [
              0.1571,
              0.1953,
              0.23387,
              0.31235,
              0.4726,
              0.80114,
              1.4559
            ],
            [
              0.18532,
              0.22414,
              0.26047,
              0.33366,
              0.48561,
              0.803,
              1.4574
            ],
            [
              0.2257,
              0.2674,
              0.3069,
              0.3814,
              0.5222,
              0.8228,
              1.4588
            ],
            [
              0.2855,
              0.3305,
              0.373,
              0.4526,
              0.599,
              0.878,
              1.4817
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.1336,
              0.1532,
              0.172,
              0.20835,
              0.27871,
              0.41618,
              0.68735
            ],
            [
              0.13617,
              0.15577,
              0.17459,
              0.21094,
              0.28131,
              0.41877,
              0.68996
            ],
            [
              0.13919,
              0.15882,
              0.17765,
              0.21402,
              0.28438,
              0.42186,
              0.69306
            ],
            [
              0.14342,
              0.16307,
              0.18191,
              0.21832,
              0.28871,
              0.42622,
              0.69742
            ],
            [
              0.14931,
              0.16902,
              0.1879,
              0.22437,
              0.29483,
              0.43236,
              0.70351
            ],
            [
              0.15754,
              0.17732,
              0.19627,
              0.23281,
              0.30337,
              0.44102,
              0.71224
            ],
            [
              0.16909,
              0.18896,
              0.20797,
              0.24465,
              0.31533,
              0.45312,
              0.72452
            ],
            [
              0.18587,
              0.20569,
              0.22474,
              0.2615,
              0.33238,
              0.47035,
              0.74191
            ],
            [
              0.20895,
              0.2297,
              0.24924,
              0.28605,
              0.35706,
              0.49531,
              0.76705
            ],
            [
              0.23794,
              0.26034,
              0.28134,
              0.32074,
              0.39346,
              0.53192,
              0.80399
            ],
            [
              0.27433,
              0.29895,
              0.32194,
              0.36491,
              0.44353,
              0.58652,
              0.85892
            ],
            [
              0.31947,
              0.34717,
              0.37287,
              0.42067,
              0.50717,
              0.66227,
              0.94107
            ],
            [
              0.3737,
              0.406,
              0.4358,
              0.4904,
              0.5877,
              0.7589,
              1.0598
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.15013,
              0.17419,
              0.19754,
              0.24318,
              0.33272,
              0.5097,
              0.86144
            ],
            [
              0.1527,
              0.17676,
              0.2001,
              0.24577,
              0.33531,
              0.51223,
              0.86403
            ],
            [
              0.15598,
              0.18009,
              0.20347,
              0.24914,
              0.33866,
              0.51572,
              0.86746
            ],
            [
              0.16112,
              0.18529,
              0.20867,
              0.25439,
              0.34399,
              0.52097,
              0.87269
            ],
            [
              0.16902,
              0.19328,
              0.21673,
              0.2625,
              0.35216,
              0.52919,
              0.88104
            ],
            [
              0.18095,
              0.20524,
              0.22874,
              0.27459,
              0.36429,
              0.54149,
              0.89328
            ],
            [
              0.1982,
              0.22248,
              0.24596,
              0.29192,
              0.38172,
              0.559,
              0.91093
            ],
            [
              0.22264,
              0.24695,
              0.2705,
              0.3165,
              0.40635,
              0.58377,
              0.93566
            ],
            [
              0.25698,
              0.28173,
              0.30528,
              0.35125,
              0.44122,
              0.61869,
              0.97085
            ],
            [
              0.29802,
              0.3269,
              0.35343,
              0.40178,
              0.4919,
              0.66959,
              1.02179
            ],
            [
              0.34547,
              0.37965,
              0.41077,
              0.46712,
              0.56612,
              0.74442,
              1.09692
            ],
            [
              0.39767,
              0.43957,
              0.47727,
              0.54467,
              0.66067,
              0.85587,
              1.20917
            ],
            [
              0.4516,
              0.5041,
              0.5511,
              0.6339,
              0.7734,
              1.0024,
              1.3769
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.09851,
              0.12282,
              0.14681,
              0.19422,
              0.28891,
              0.47764,
              0.85458
            ],
            [
              0.09853,
              0.12272,
              0.14681,
              0.19424,
              0.28894,
              0.47763,
              0.85446
            ],
            [
              0.09852,
              0.12281,
              0.14683,
              0.19434,
              0.28857,
              0.47695,
              0.85455
            ],
            [
              0.09849,
              0.12281,
              0.14681,
              0.19431,
              0.28886,
              0.47721,
              0.85453
            ],
            [
              0.09846,
              0.12282,
              0.14682,
              0.19436,
              0.28877,
              0.47692,
              0.85451
            ],
            [
              0.09842,
              0.12263,
              0.14682,
              0.19438,
              0.28874,
              0.47732,
              0.8539
            ],
            [
              0.09818,
              0.12254,
              0.14655,
              0.1943,
              0.28878,
              0.47725,
              0.85463
            ],
            [
              0.10005,
              0.1238,
              0.14739,
              0.19434,
              0.28845,
              0.47751,
              0.85465
            ],
            [
              0.10652,
              0.12939,
              0.15216,
              0.19787,
              0.28981,
              0.47716,
              0.8546
            ],
            [
              0.11772,
              0.1415,
              0.16422,
              0.20821,
              0.29734,
              0.47986,
              0.85454
            ],
            [
              0.13355,
              0.1586,
              0.18279,
              0.22877,
              0.31583,
              0.49191,
              0.8576
            ],
            [
              0.1573,
              0.1841,
              0.2094,
              0.2577,
              0.349,
              0.5206,
              0.8735
            ],
            [
              0.1938,
              0.2224,
              0.2494,
              0.3002,
              0.3953,
              0.5739,
              0.9136
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.11987,
              0.15016,
              0.18035,
              0.24169,
              0.36402,
              0.60826,
              1.09624
            ],
            [
              0.11995,
              0.1501,
              0.18049,
              0.24156,
              0.36421,
              0.60889,
              1.09773
            ],
            [
              0.11996,
              0.15018,
              0.18035,
              0.24182,
              0.36422,
              0.60883,
              1.09758
            ],
            [
              0.11996,
              0.15017,
              0.1805,
              0.2418,
              0.36421,
              0.60891,
              1.09732
            ],
            [
              0.11998,
              0.14992,
              0.18034,
              0.2417,
              0.36426,
              0.60859,
              1.09739
            ],
            [
              0.11999,
              0.15008,
              0.18047,
              0.24174,
              0.36394,
              0.60877,
              1.09712
            ],
            [
              0.11989,
              0.15023,
              0.1807,
              0.24182,
              0.36429,
              0.60856,
              1.0977
            ],
            [
              0.12073,
              0.15054,
              0.18084,
              0.24163,
              0.36427,
              0.60882,
              1.09717
            ],
            [
              0.12856,
              0.15615,
              0.18473,
              0.24339,
              0.36435,
              0.609,
              1.09766
            ],
            [
              0.14928,
              0.17429,
              0.20057,
              0.25523,
              0.3694,
              0.60915,
              1.09631
            ],
            [
              0.18258,
              0.20993,
              0.23637,
              0.28621,
              0.39106,
              0.6174,
              1.0974
            ],
            [
              0.2312,
              0.261,
              0.2898,
              0.3438,
              0.4437,
              0.6514,
              1.1063
            ],
            [
              0.3007,
              0.3342,
              0.3663,
              0.4254,
              0.5337,
              0.7296,
              1.1501
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.10514,
              0.12585,
              0.14532,
              0.18248,
              0.25355,
              0.39152,
              0.66293
            ],
            [
              0.10761,
              0.12832,
              0.1478,
              0.18496,
              0.25603,
              0.39399,
              0.66541
            ],
            [
              0.11053,
              0.13125,
              0.15074,
              0.1879,
              0.25898,
              0.39697,
              0.66839
            ],
            [
              0.11463,
              0.13537,
              0.15488,
              0.19207,
              0.26316,
              0.40116,
              0.67256
            ],
            [
              0.12039,
              0.1412,
              0.16074,
              0.19797,
              0.26911,
              0.40713,
              0.67862
            ],
            [
              0.12853,
              0.1494,
              0.169,
              0.20631,
              0.27754,
              0.41565,
              0.68713
            ],
            [
              0.14022,
              0.16105,
              0.18069,
              0.21809,
              0.28946,
              0.42767,
              0.6993
            ],
            [
              0.15698,
              0.17807,
              0.1976,
              0.23499,
              0.3065,
              0.4449,
              0.71668
            ],
            [
              0.17809,
              0.20068,
              0.22142,
              0.25971,
              0.33125,
              0.46986,
              0.74182
            ],
            [
              0.20447,
              0.229,
              0.25146,
              0.29277,
              0.3676,
              0.50658,
              0.77889
            ],
            [
              0.23721,
              0.2644,
              0.28918,
              0.33449,
              0.41579,
              0.56122,
              0.83382
            ],
            [
              0.27687,
              0.30797,
              0.33597,
              0.38687,
              0.47687,
              0.63507,
              0.91617
            ],
            [
              0.3226,
              0.3596,
              0.3926,
              0.4515,
              0.5536,
              0.7291,
              1.0335
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.1779,
              0.20922,
              0.23973,
              0.29965,
              0.41751,
              0.65106,
              1.11567
            ],
            [
              0.18031,
              0.21162,
              0.24217,
              0.30209,
              0.41997,
              0.65353,
              1.11804
            ],
            [
              0.18347,
              0.21485,
              0.24541,
              0.30536,
              0.42325,
              0.65679,
              1.12132
            ],
            [
              0.18848,
              0.21993,
              0.2505,
              0.31052,
              0.42845,
              0.66204,
              1.12678
            ],
            [
              0.19621,
              0.22771,
              0.25841,
              0.31848,
              0.4365,
              0.6701,
              1.13481
            ],
            [
              0.20784,
              0.23945,
              0.27015,
              0.33034,
              0.44845,
              0.68223,
              1.14712
            ],
            [
              0.2244,
              0.25604,
              0.28683,
              0.34709,
              0.46533,
              0.69916,
              1.16413
            ],
            [
              0.24745,
              0.2791,
              0.30989,
              0.37022,
              0.48858,
              0.7226,
              1.18756
            ],
            [
              0.27903,
              0.31069,
              0.34147,
              0.40181,
              0.5203,
              0.75445,
              1.21965
            ],
            [
              0.31747,
              0.35279,
              0.38557,
              0.44632,
              0.56482,
              0.79899,
              1.26439
            ],
            [
              0.3608,
              0.40086,
              0.43791,
              0.50622,
              0.62892,
              0.86342,
              1.32902
            ],
            [
              0.40917,
              0.45577,
              0.49857,
              0.57667,
              0.71527,
              0.95817,
              1.42397
            ],
            [
              0.4612,
              0.5171,
              0.5676,
              0.6589,
              0.8183,
              1.0913,
              1.566
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.0851,
              0.10859,
              0.13187,
              0.17892,
              0.27223,
              0.46036,
              0.83649
            ],
            [
              0.08504,
              0.10857,
              0.13203,
              0.1789,
              0.27247,
              0.45992,
              0.83604
            ],
            [
              0.085,
              0.1085,
              0.13184,
              0.17889,
              0.27235,
              0.45992,
              0.83658
            ],
            [
              0.0849,
              0.10847,
              0.13193,
              0.1787,
              0.27222,
              0.45963,
              0.83622
            ],
            [
              0.08477,
              0.10841,
              0.13188,
              0.1787,
              0.27238,
              0.45974,
              0.83556
            ],
            [
              0.08438,
              0.10817,
              0.1318,
              0.17863,
              0.27226,
              0.4603,
              0.83631
            ],
            [
              0.08464,
              0.108,
              0.13146,
              0.17848,
              0.27249,
              0.45993,
              0.83647
            ],
            [
              0.08759,
              0.11039,
              0.13311,
              0.179,
              0.27237,
              0.46032,
              0.83655
            ],
            [
              0.0954,
              0.11742,
              0.1392,
              0.18377,
              0.27442,
              0.46019,
              0.83645
            ],
            [
              0.10616,
              0.12944,
              0.15212,
              0.19555,
              0.28295,
              0.46385,
              0.83653
            ],
            [
              0.12198,
              0.14663,
              0.1704,
              0.21612,
              0.30274,
              0.47713,
              0.8401
            ],
            [
              0.146,
              0.1721,
              0.1974,
              0.2451,
              0.3357,
              0.5069,
              0.8574
            ],
            [
              0.1835,
              0.2118,
              0.2384,
              0.2886,
              0.3831,
              0.5609,
              0.9
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.12922,
              0.17053,
              0.21156,
              0.29339,
              0.45691,
              0.78258,
              1.43368
            ],
            [
              0.12919,
              0.17037,
              0.21162,
              0.29334,
              0.45662,
              0.78268,
              1.43324
            ],
            [
              0.12919,
              0.17052,
              0.2114,
              0.29329,
              0.45674,
              0.78295,
              1.43333
            ],
            [
              0.12911,
              0.17055,
              0.21159,
              0.29362,
              0.45676,
              0.78242,
              1.43185
            ],
            [
              0.12919,
              0.17048,
              0.21138,
              0.29334,
              0.45629,
              0.7829,
              1.43319
            ],
            [
              0.12926,
              0.17055,
              0.21171,
              0.29355,
              0.45682,
              0.78265,
              1.43335
            ],
            [
              0.12936,
              0.17045,
              0.21169,
              0.29337,
              0.45697,
              0.78307,
              1.43365
            ],
            [
              0.12963,
              0.17073,
              0.21178,
              0.29363,
              0.45696,
              0.78299,
              1.43212
            ],
            [
              0.13569,
              0.17445,
              0.2141,
              0.294,
              0.4565,
              0.78298,
              1.43294
            ],
            [
              0.15247,
              0.18875,
              0.22634,
              0.30271,
              0.45922,
              0.7829,
              1.4327
            ],
            [
              0.1783,
              0.21788,
              0.25498,
              0.32657,
              0.47499,
              0.7869,
              1.432
            ],
            [
              0.2159,
              0.2586,
              0.2988,
              0.3745,
              0.5156,
              0.8105,
              1.4362
            ],
            [
              0.272,
              0.318,
              0.3614,
              0.4427,
              0.592,
              0.8701,
              1.4645
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.10916,
              0.12956,
              0.14894,
              0.18597,
              0.25707,
              0.39532,
              0.66742
            ],
            [
              0.1116,
              0.13203,
              0.15141,
              0.18845,
              0.25954,
              0.39785,
              0.6699
            ],
            [
              0.11453,
              0.13497,
              0.15434,
              0.19139,
              0.26253,
              0.40075,
              0.67311
            ],
            [
              0.11864,
              0.13909,
              0.15848,
              0.19556,
              0.26671,
              0.40497,
              0.67726
            ],
            [
              0.12439,
              0.14492,
              0.16437,
              0.20148,
              0.27265,
              0.41098,
              0.68311
            ],
            [
              0.13253,
              0.15312,
              0.17262,
              0.20982,
              0.28112,
              0.41948,
              0.6917
            ],
            [
              0.14416,
              0.16476,
              0.1843,
              0.2216,
              0.293,
              0.43151,
              0.70382
            ],
            [
              0.16102,
              0.18169,
              0.20114,
              0.23848,
              0.31006,
              0.44876,
              0.72123
            ],
            [
              0.18244,
              0.20462,
              0.22514,
              0.26317,
              0.3348,
              0.47374,
              0.74639
            ],
            [
              0.20928,
              0.23333,
              0.25552,
              0.2966,
              0.37127,
              0.51045,
              0.78349
            ],
            [
              0.24267,
              0.26928,
              0.29375,
              0.33874,
              0.4198,
              0.56522,
              0.83852
            ],
            [
              0.28337,
              0.31367,
              0.34127,
              0.39177,
              0.48137,
              0.63947,
              0.92087
            ],
            [
              0.3308,
              0.3667,
              0.3991,
              0.4573,
              0.5589,
              0.7341,
              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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.20836,
              0.23812,
              0.26729,
              0.32474,
              0.43781,
              0.66171,
              1.10697
            ],
            [
              0.21078,
              0.24056,
              0.26976,
              0.32722,
              0.44027,
              0.66419,
              1.10924
            ],
            [
              0.21405,
              0.24383,
              0.27304,
              0.3305,
              0.4436,
              0.66752,
              1.11272
            ],
            [
              0.21912,
              0.24899,
              0.27819,
              0.3357,
              0.44882,
              0.67278,
              1.11788
            ],
            [
              0.22703,
              0.25688,
              0.28618,
              0.34372,
              0.4569,
              0.6809,
              1.12601
            ],
            [
              0.23879,
              0.26871,
              0.29803,
              0.35565,
              0.46892,
              0.69299,
              1.13822
            ],
            [
              0.25551,
              0.28549,
              0.31485,
              0.37256,
              0.48589,
              0.71005,
              1.15543
            ],
            [
              0.27873,
              0.30873,
              0.3381,
              0.39586,
              0.50933,
              0.73364,
              1.17906
            ],
            [
              0.31064,
              0.34067,
              0.37004,
              0.42783,
              0.54138,
              0.76575,
              1.21145
            ],
            [
              0.35372,
              0.38547,
              0.41516,
              0.47298,
              0.58657,
              0.81119,
              1.25689
            ],
            [
              0.40356,
              0.43949,
              0.47322,
              0.53642,
              0.65192,
              0.87672,
              1.32252
            ],
            [
              0.46107,
              0.50257,
              0.54137,
              0.61327,
              0.74287,
              0.97347,
              1.41967
            ],
            [
              0.5256,
              0.5748,
              0.6204,
              0.7041,
              0.8529,
              1.1113,
              1.5647
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.12153,
              0.1435,
              0.16601,
              0.21172,
              0.30422,
              0.49106,
              0.86676
            ],
            [
              0.12146,
              0.1435,
              0.16608,
              0.21166,
              0.30402,
              0.49101,
              0.86555
            ],
            [
              0.12146,
              0.1435,
              0.16606,
              0.21173,
              0.30414,
              0.49107,
              0.86674
            ],
            [
              0.12138,
              0.14343,
              0.16602,
              0.21163,
              0.30407,
              0.49105,
              0.86578
            ],
            [
              0.12128,
              0.1434,
              0.16598,
              0.21162,
              0.30425,
              0.49094,
              0.86543
            ],
            [
              0.12086,
              0.14314,
              0.16586,
              0.21164,
              0.30421,
              0.49109,
              0.86596
            ],
            [
              0.12112,
              0.14302,
              0.16548,
              0.2114,
              0.30402,
              0.49086,
              0.86665
            ],
            [
              0.12403,
              0.1453,
              0.16713,
              0.21212,
              0.30404,
              0.49157,
              0.86639
            ],
            [
              0.13168,
              0.15197,
              0.17306,
              0.21665,
              0.30628,
              0.4911,
              0.8659
            ],
            [
              0.14481,
              0.16578,
              0.18664,
              0.22818,
              0.31464,
              0.49432,
              0.86638
            ],
            [
              0.16357,
              0.18555,
              0.20732,
              0.25042,
              0.33451,
              0.50789,
              0.8696
            ],
            [
              0.1918,
              0.2147,
              0.2374,
              0.2826,
              0.3696,
              0.5379,
              0.8887
            ],
            [
              0.2352,
              0.2594,
              0.2832,
              0.3295,
              0.4195,
              0.5928,
              0.9294
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.15374,
              0.19459,
              0.23485,
              0.31476,
              0.47312,
              0.78878,
              1.41724
            ],
            [
              0.1539,
              0.19465,
              0.23478,
              0.3149,
              0.47349,
              0.78887,
              1.41848
            ],
            [
              0.15376,
              0.19461,
              0.23491,
              0.3148,
              0.47329,
              0.78852,
              1.41804
            ],
            [
              0.15398,
              0.19442,
              0.2349,
              0.31454,
              0.47344,
              0.78939,
              1.41894
            ],
            [
              0.15375,
              0.19465,
              0.23496,
              0.31487,
              0.47341,
              0.78899,
              1.41936
            ],
            [
              0.15384,
              0.19466,
              0.23471,
              0.3148,
              0.4734,
              0.78915,
              1.41877
            ],
            [
              0.15398,
              0.19454,
              0.23481,
              0.31489,
              0.47342,
              0.78944,
              1.41768
            ],
            [
              0.15399,
              0.19466,
              0.23472,
              0.31482,
              0.47299,
              0.78889,
              1.41873
            ],
            [
              0.15772,
              0.19664,
              0.23595,
              0.31497,
              0.47318,
              0.78931,
              1.41773
            ],
            [
              0.17137,
              0.20857,
              0.24578,
              0.32154,
              0.47498,
              0.78874,
              1.4181
            ],
            [
              0.19939,
              0.23688,
              0.27231,
              0.34305,
              0.48903,
              0.7919,
              1.4189
            ],
            [
              0.2389,
              0.2793,
              0.3178,
              0.3902,
              0.5274,
              0.8151,
              1.4215
            ],
            [
              0.2972,
              0.3411,
              0.3826,
              0.4603,
              0.6032,
              0.8736,
              1.4502
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.03314,
              0.04503,
              0.05651,
              0.07896,
              0.12332,
              0.21184,
              0.38856
            ],
            [
              0.03511,
              0.04723,
              0.05886,
              0.08147,
              0.12597,
              0.21456,
              0.39131
            ],
            [
              0.03771,
              0.04999,
              0.06171,
              0.08443,
              0.12905,
              0.21772,
              0.39452
            ],
            [
              0.04193,
              0.05429,
              0.06611,
              0.08898,
              0.13381,
              0.22259,
              0.39948
            ],
            [
              0.04867,
              0.06095,
              0.07285,
              0.09591,
              0.14091,
              0.22983,
              0.40673
            ],
            [
              0.05668,
              0.07127,
              0.08321,
              0.10634,
              0.15152,
              0.24065,
              0.41773
            ],
            [
              0.06589,
              0.08373,
              0.09822,
              0.12231,
              0.16752,
              0.2569,
              0.4342
            ],
            [
              0.07634,
              0.09829,
              0.11606,
              0.14515,
              0.19189,
              0.28135,
              0.4586
            ],
            [
              0.08797,
              0.11491,
              0.13675,
              0.17248,
              0.22785,
              0.31817,
              0.49565
            ],
            [
              0.10053,
              0.13375,
              0.16063,
              0.2044,
              0.27205,
              0.37373,
              0.55131
            ],
            [
              0.1135,
              0.15442,
              0.18745,
              0.24125,
              0.32425,
              0.44812,
              0.63522
            ],
            [
              0.12581,
              0.17617,
              0.21677,
              0.28287,
              0.38487,
              0.53677,
              0.75837
            ],
            [
              0.1357,
              0.1977,
              0.2476,
              0.3288,
              0.4542,
              0.6402,
              0.9109
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.04867,
              0.06937,
              0.08903,
              0.12738,
              0.20318,
              0.3544,
              0.65571
            ],
            [
              0.05036,
              0.07139,
              0.09128,
              0.13004,
              0.20601,
              0.35731,
              0.65869
            ],
            [
              0.05281,
              0.07391,
              0.09401,
              0.13293,
              0.20909,
              0.36064,
              0.66251
            ],
            [
              0.05717,
              0.07808,
              0.09835,
              0.1375,
              0.21393,
              0.36564,
              0.66721
            ],
            [
              0.06452,
              0.08506,
              0.10513,
              0.14441,
              0.2212,
              0.37292,
              0.67537
            ],
            [
              0.07648,
              0.09627,
              0.11623,
              0.15537,
              0.23243,
              0.38463,
              0.68658
            ],
            [
              0.09131,
              0.11427,
              0.13365,
              0.17253,
              0.24955,
              0.40188,
              0.70412
            ],
            [
              0.10835,
              0.13754,
              0.16058,
              0.19913,
              0.27598,
              0.42821,
              0.73033
            ],
            [
              0.12823,
              0.16482,
              0.19371,
              0.23979,
              0.31597,
              0.46824,
              0.77085
            ],
            [
              0.15147,
              0.1969,
              0.23298,
              0.29076,
              0.37765,
              0.52883,
              0.83119
            ],
            [
              0.17916,
              0.23463,
              0.27941,
              0.35152,
              0.46052,
              0.62112,
              0.92232
            ],
            [
              0.21297,
              0.27967,
              0.33427,
              0.42337,
              0.55947,
              0.75697,
              1.06177
            ],
            [
              0.2553,
              0.3344,
              0.4,
              0.5085,
              0.6769,
              0.9238,
              1.2719
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.0253,
              0.04106,
              0.0567,
              0.08803,
              0.1508,
              0.27609,
              0.5258
            ],
            [
              0.02526,
              0.04105,
              0.05673,
              0.08802,
              0.15069,
              0.27593,
              0.52621
            ],
            [
              0.02525,
              0.04102,
              0.05668,
              0.08805,
              0.15072,
              0.27612,
              0.52651
            ],
            [
              0.0251,
              0.04091,
              0.05663,
              0.08815,
              0.15052,
              0.27606,
              0.52627
            ],
            [
              0.02708,
              0.04133,
              0.05655,
              0.08808,
              0.15065,
              0.2759,
              0.5266
            ],
            [
              0.03252,
              0.04489,
              0.0586,
              0.08822,
              0.15078,
              0.27592,
              0.52651
            ],
            [
              0.03851,
              0.05329,
              0.06537,
              0.09202,
              0.15099,
              0.27574,
              0.52607
            ],
            [
              0.0472,
              0.06388,
              0.07811,
              0.1027,
              0.15621,
              0.27581,
              0.52682
            ],
            [
              0.05933,
              0.07861,
              0.09465,
              0.12236,
              0.17132,
              0.28143,
              0.52676
            ],
            [
              0.0758,
              0.09854,
              0.1171,
              0.14851,
              0.20114,
              0.30052,
              0.52951
            ],
            [
              0.09815,
              0.12527,
              0.14719,
              0.18372,
              0.24338,
              0.34226,
              0.55091
            ],
            [
              0.12807,
              0.1611,
              0.18746,
              0.23074,
              0.2995,
              0.4104,
              0.6043
            ],
            [
              0.1685,
              0.2091,
              0.241,
              0.2928,
              0.3741,
              0.5018,
              0.7069
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.04323,
              0.07061,
              0.09788,
              0.15184,
              0.26007,
              0.47609,
              0.90675
            ],
            [
              0.04317,
              0.07066,
              0.09792,
              0.15213,
              0.26022,
              0.47609,
              0.90673
            ],
            [
              0.04297,
              0.07041,
              0.09777,
              0.15216,
              0.25956,
              0.47599,
              0.90736
            ],
            [
              0.04271,
              0.07048,
              0.09811,
              0.15204,
              0.2601,
              0.47609,
              0.90646
            ],
            [
              0.04256,
              0.07026,
              0.09768,
              0.15179,
              0.26021,
              0.47574,
              0.90771
            ],
            [
              0.04691,
              0.07082,
              0.09746,
              0.15187,
              0.25952,
              0.47604,
              0.9065
            ],
            [
              0.05737,
              0.0772,
              0.10029,
              0.15167,
              0.25957,
              0.47612,
              0.90636
            ],
            [
              0.072,
              0.09231,
              0.1117,
              0.15708,
              0.25972,
              0.47604,
              0.90577
            ],
            [
              0.08818,
              0.11499,
              0.13547,
              0.17421,
              0.26586,
              0.47572,
              0.90743
            ],
            [
              0.10915,
              0.14187,
              0.16783,
              0.20889,
              0.28856,
              0.47958,
              0.90741
            ],
            [
              0.13551,
              0.17593,
              0.2081,
              0.25905,
              0.33718,
              0.50648,
              0.908
            ],
            [
              0.16845,
              0.21813,
              0.2579,
              0.3212,
              0.4165,
              0.5697,
              0.9319
            ],
            [
              0.21,
              0.2708,
              0.3198,
              0.3987,
              0.5168,
              0.6894,
              1.0076
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.03318,
              0.0451,
              0.05654,
              0.07895,
              0.12338,
              0.2118,
              0.38857
            ],
            [
              0.03519,
              0.04733,
              0.05891,
              0.0815,
              0.12601,
              0.21453,
              0.39136
            ],
            [
              0.03785,
              0.05012,
              0.06178,
              0.08458,
              0.12915,
              0.21787,
              0.39467
            ],
            [
              0.04211,
              0.05447,
              0.0663,
              0.08918,
              0.13397,
              0.22273,
              0.39963
            ],
            [
              0.04891,
              0.0612,
              0.07309,
              0.09612,
              0.14114,
              0.23006,
              0.407
            ],
            [
              0.05701,
              0.07157,
              0.08349,
              0.10667,
              0.15182,
              0.24092,
              0.41803
            ],
            [
              0.0663,
              0.08411,
              0.09859,
              0.12263,
              0.16787,
              0.25725,
              0.43446
            ],
            [
              0.07679,
              0.0987,
              0.11648,
              0.14554,
              0.19224,
              0.28164,
              0.45898
            ],
            [
              0.08839,
              0.11539,
              0.13721,
              0.17291,
              0.22825,
              0.31853,
              0.49598
            ],
            [
              0.10084,
              0.13409,
              0.16103,
              0.20483,
              0.27246,
              0.3743,
              0.55175
            ],
            [
              0.11357,
              0.15461,
              0.18769,
              0.24158,
              0.32463,
              0.44842,
              0.63562
            ],
            [
              0.12542,
              0.17607,
              0.21677,
              0.28307,
              0.38517,
              0.53687,
              0.75877
            ],
            [
              0.1345,
              0.1969,
              0.247,
              0.3285,
              0.4541,
              0.6408,
              0.9112
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.05286,
              0.07646,
              0.09888,
              0.14276,
              0.22912,
              0.40149,
              0.74529
            ],
            [
              0.0543,
              0.07813,
              0.10092,
              0.1451,
              0.23183,
              0.40426,
              0.74828
            ],
            [
              0.05652,
              0.08044,
              0.10333,
              0.14786,
              0.23487,
              0.40731,
              0.752
            ],
            [
              0.0606,
              0.08438,
              0.10733,
              0.15213,
              0.23938,
              0.41186,
              0.75582
            ],
            [
              0.06769,
              0.09093,
              0.11385,
              0.15884,
              0.24622,
              0.41947,
              0.76434
            ],
            [
              0.07936,
              0.10174,
              0.12431,
              0.16916,
              0.25704,
              0.43061,
              0.77538
            ],
            [
              0.09494,
              0.11917,
              0.14115,
              0.1854,
              0.27365,
              0.44738,
              0.79262
            ],
            [
              0.1126,
              0.14343,
              0.16783,
              0.21123,
              0.299,
              0.47278,
              0.81806
            ],
            [
              0.13322,
              0.17171,
              0.20227,
              0.25129,
              0.33769,
              0.51139,
              0.85635
            ],
            [
              0.15736,
              0.20492,
              0.24298,
              0.30419,
              0.39761,
              0.57007,
              0.91489
            ],
            [
              0.18619,
              0.24416,
              0.29114,
              0.36711,
              0.48272,
              0.65982,
              1.00402
            ],
            [
              0.22157,
              0.29097,
              0.34807,
              0.44167,
              0.58537,
              0.79577,
              1.13867
            ],
            [
              0.266,
              0.3481,
              0.4165,
              0.5299,
              0.707,
              0.9683,
              1.3437
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.02531,
              0.04102,
              0.05678,
              0.08814,
              0.15055,
              0.27619,
              0.52638
            ],
            [
              0.02531,
              0.04104,
              0.05677,
              0.08815,
              0.15071,
              0.27622,
              0.52623
            ],
            [
              0.02526,
              0.04104,
              0.05677,
              0.08797,
              0.15059,
              0.27571,
              0.52614
            ],
            [
              0.02511,
              0.04095,
              0.05666,
              0.08816,
              0.15074,
              0.27607,
              0.52652
            ],
            [
              0.02705,
              0.04133,
              0.05656,
              0.08811,
              0.15074,
              0.27562,
              0.52638
            ],
            [
              0.03233,
              0.04481,
              0.05845,
              0.08803,
              0.15074,
              0.27587,
              0.52627
            ],
            [
              0.03832,
              0.05306,
              0.06519,
              0.09192,
              0.15096,
              0.27567,
              0.52663
            ],
            [
              0.04693,
              0.06356,
              0.07786,
              0.10247,
              0.15609,
              0.27575,
              0.52682
            ],
            [
              0.05903,
              0.07818,
              0.09433,
              0.12204,
              0.17112,
              0.28135,
              0.52678
            ],
            [
              0.07552,
              0.09818,
              0.11674,
              0.14818,
              0.20082,
              0.30011,
              0.52941
            ],
            [
              0.09781,
              0.12501,
              0.14691,
              0.18344,
              0.24306,
              0.34199,
              0.55066
            ],
            [
              0.12808,
              0.16123,
              0.18739,
              0.23058,
              0.2991,
              0.4103,
              0.6042
            ],
            [
              0.1685,
              0.2092,
              0.2412,
              0.2929,
              0.3741,
              0.5013,
              0.7066
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.05044,
              0.08154,
              0.11278,
              0.17403,
              0.29611,
              0.54007,
              1.02772
            ],
            [
              0.05005,
              0.08178,
              0.11278,
              0.17414,
              0.29609,
              0.54052,
              1.02766
            ],
            [
              0.04995,
              0.08166,
              0.11288,
              0.17422,
              0.2964,
              0.54056,
              1.02716
            ],
            [
              0.04951,
              0.08133,
              0.11279,
              0.17409,
              0.29653,
              0.54077,
              1.02834
            ],
            [
              0.04891,
              0.08081,
              0.11241,
              0.17391,
              0.29645,
              0.54066,
              1.02652
            ],
            [
              0.05225,
              0.08068,
              0.11173,
              0.17398,
              0.29627,
              0.53978,
              1.02761
            ],
            [
              0.06185,
              0.08605,
              0.11345,
              0.17342,
              0.29587,
              0.54014,
              1.02692
            ],
            [
              0.07753,
              0.09971,
              0.12342,
              0.17693,
              0.29552,
              0.54021,
              1.02862
            ],
            [
              0.09344,
              0.12337,
              0.14529,
              0.19147,
              0.29945,
              0.5395,
              1.02884
            ],
            [
              0.11414,
              0.14998,
              0.17878,
              0.2241,
              0.31885,
              0.54166,
              1.02762
            ],
            [
              0.1406,
              0.18428,
              0.21885,
              0.27503,
              0.36391,
              0.56288,
              1.0283
            ],
            [
              0.17366,
              0.22684,
              0.2693,
              0.338,
              0.4424,
              0.6196,
              1.0432
            ],
            [
              0.2158,
              0.2797,
              0.3319,
              0.4165,
              0.5441,
              0.7336,
              1.1095
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.03318,
              0.0451,
              0.05655,
              0.07897,
              0.12338,
              0.21184,
              0.38851
            ],
            [
              0.03519,
              0.04733,
              0.05893,
              0.08149,
              0.12597,
              0.21449,
              0.39131
            ],
            [
              0.03784,
              0.05011,
              0.06178,
              0.08457,
              0.12918,
              0.21786,
              0.39468
            ],
            [
              0.0421,
              0.05446,
              0.06627,
              0.08916,
              0.13397,
              0.22276,
              0.39958
            ],
            [
              0.04889,
              0.06117,
              0.07307,
              0.09614,
              0.14112,
              0.23004,
              0.40703
            ],
            [
              0.05697,
              0.07152,
              0.08347,
              0.10661,
              0.15179,
              0.24089,
              0.418
            ],
            [
              0.06624,
              0.08405,
              0.09854,
              0.12259,
              0.16778,
              0.25721,
              0.43442
            ],
            [
              0.07672,
              0.09865,
              0.11642,
              0.14548,
              0.19219,
              0.28164,
              0.45889
            ],
            [
              0.08832,
              0.11531,
              0.13714,
              0.17285,
              0.22818,
              0.31847,
              0.49601
            ],
            [
              0.10079,
              0.13403,
              0.16096,
              0.20475,
              0.2724,
              0.37399,
              0.55167
            ],
            [
              0.11355,
              0.15457,
              0.18765,
              0.24152,
              0.32458,
              0.44832,
              0.63552
            ],
            [
              0.12547,
              0.17607,
              0.21677,
              0.28297,
              0.38517,
              0.53677,
              0.75877
            ],
            [
              0.1347,
              0.197,
              0.2471,
              0.3286,
              0.4541,
              0.6407,
              0.9112
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.05235,
              0.07548,
              0.09752,
              0.14049,
              0.22509,
              0.39412,
              0.73049
            ],
            [
              0.0538,
              0.07725,
              0.0996,
              0.14287,
              0.22788,
              0.39692,
              0.73358
            ],
            [
              0.05607,
              0.0796,
              0.10205,
              0.14565,
              0.23088,
              0.39998,
              0.73762
            ],
            [
              0.06017,
              0.08352,
              0.10607,
              0.14997,
              0.23547,
              0.40503,
              0.74228
            ],
            [
              0.06729,
              0.09011,
              0.11258,
              0.15674,
              0.24249,
              0.41214,
              0.75003
            ],
            [
              0.07897,
              0.10098,
              0.12312,
              0.167,
              0.2533,
              0.42329,
              0.76077
            ],
            [
              0.09445,
              0.11847,
              0.14005,
              0.1836,
              0.26998,
              0.43985,
              0.77778
            ],
            [
              0.11201,
              0.1426,
              0.16683,
              0.20942,
              0.29536,
              0.46549,
              0.8045
            ],
            [
              0.13251,
              0.17072,
              0.20103,
              0.24963,
              0.33433,
              0.5045,
              0.84325
            ],
            [
              0.1565,
              0.20374,
              0.2415,
              0.30219,
              0.39452,
              0.56374,
              0.90139
            ],
            [
              0.18515,
              0.24275,
              0.28938,
              0.36477,
              0.47952,
              0.65382,
              0.99122
            ],
            [
              0.22027,
              0.28927,
              0.34597,
              0.43887,
              0.58147,
              0.78977,
              1.12647
            ],
            [
              0.2644,
              0.346,
              0.414,
              0.5267,
              0.7024,
              0.9614,
              1.3323
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.02531,
              0.04105,
              0.05675,
              0.08812,
              0.15055,
              0.27612,
              0.52652
            ],
            [
              0.02531,
              0.04104,
              0.05675,
              0.08816,
              0.15079,
              0.27623,
              0.52658
            ],
            [
              0.02526,
              0.04104,
              0.05676,
              0.08799,
              0.15063,
              0.27593,
              0.52593
            ],
            [
              0.02511,
              0.04093,
              0.05668,
              0.08814,
              0.15069,
              0.27581,
              0.52658
            ],
            [
              0.02707,
              0.04127,
              0.05655,
              0.08802,
              0.15057,
              0.27598,
              0.52576
            ],
            [
              0.03238,
              0.0448,
              0.05855,
              0.08819,
              0.15074,
              0.27589,
              0.52641
            ],
            [
              0.03835,
              0.05308,
              0.06523,
              0.09194,
              0.15095,
              0.27564,
              0.52666
            ],
            [
              0.04697,
              0.06361,
              0.07791,
              0.1025,
              0.15611,
              0.27572,
              0.52682
            ],
            [
              0.05908,
              0.07823,
              0.09438,
              0.12208,
              0.17116,
              0.28136,
              0.52671
            ],
            [
              0.07557,
              0.09823,
              0.1168,
              0.14824,
              0.20088,
              0.30024,
              0.5295
            ],
            [
              0.09786,
              0.12506,
              0.14697,
              0.18348,
              0.24309,
              0.34205,
              0.55075
            ],
            [
              0.12816,
              0.16124,
              0.18743,
              0.23063,
              0.2992,
              0.4104,
              0.6043
            ],
            [
              0.1686,
              0.2092,
              0.2412,
              0.2928,
              0.3741,
              0.5013,
              0.7066
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.04922,
              0.07977,
              0.11026,
              0.1704,
              0.29059,
              0.52993,
              1.00965
            ],
            [
              0.049,
              0.07985,
              0.11009,
              0.17051,
              0.29033,
              0.52985,
              1.00928
            ],
            [
              0.04876,
              0.07982,
              0.11031,
              0.17039,
              0.29042,
              0.53053,
              1.00897
            ],
            [
              0.04839,
              0.07955,
              0.11028,
              0.17059,
              0.29058,
              0.52992,
              1.00913
            ],
            [
              0.04791,
              0.07915,
              0.11018,
              0.17018,
              0.2907,
              0.53015,
              1.00895
            ],
            [
              0.05148,
              0.07905,
              0.10949,
              0.17042,
              0.2907,
              0.53025,
              1.00942
            ],
            [
              0.06107,
              0.08451,
              0.11123,
              0.16982,
              0.2903,
              0.53045,
              1.00955
            ],
            [
              0.07668,
              0.09853,
              0.12128,
              0.17371,
              0.28988,
              0.5301,
              1.00825
            ],
            [
              0.09263,
              0.12205,
              0.14373,
              0.18899,
              0.29423,
              0.52961,
              1.0092
            ],
            [
              0.11337,
              0.14893,
              0.1771,
              0.22142,
              0.31346,
              0.53228,
              1.00936
            ],
            [
              0.1398,
              0.18307,
              0.21714,
              0.27246,
              0.35946,
              0.55397,
              1.0086
            ],
            [
              0.17283,
              0.22552,
              0.2675,
              0.3351,
              0.4382,
              0.6121,
              1.026
            ],
            [
              0.2149,
              0.2784,
              0.3301,
              0.4136,
              0.5399,
              0.7263,
              1.093
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.0332,
              0.04513,
              0.05659,
              0.07903,
              0.12337,
              0.21187,
              0.38857
            ],
            [
              0.03531,
              0.04743,
              0.05903,
              0.08164,
              0.12613,
              0.21455,
              0.3914
            ],
            [
              0.03805,
              0.05031,
              0.062,
              0.08474,
              0.12937,
              0.21796,
              0.39476
            ],
            [
              0.04241,
              0.05478,
              0.06659,
              0.08951,
              0.13423,
              0.22298,
              0.39992
            ],
            [
              0.04936,
              0.06164,
              0.07352,
              0.09658,
              0.14153,
              0.23038,
              0.4074
            ],
            [
              0.05769,
              0.07216,
              0.08407,
              0.10723,
              0.15232,
              0.24133,
              0.41849
            ],
            [
              0.06723,
              0.08493,
              0.09935,
              0.12331,
              0.16855,
              0.2579,
              0.43506
            ],
            [
              0.07792,
              0.09976,
              0.11741,
              0.14639,
              0.19295,
              0.2825,
              0.45974
            ],
            [
              0.08955,
              0.11655,
              0.13833,
              0.17393,
              0.22911,
              0.31929,
              0.49675
            ],
            [
              0.10182,
              0.13518,
              0.16205,
              0.20595,
              0.27351,
              0.37504,
              0.55236
            ],
            [
              0.11401,
              0.15522,
              0.18842,
              0.24241,
              0.32562,
              0.44942,
              0.63652
            ],
            [
              0.12477,
              0.17577,
              0.21687,
              0.28347,
              0.38587,
              0.53797,
              0.76007
            ],
            [
              0.1318,
              0.195,
              0.2457,
              0.3279,
              0.4541,
              0.6414,
              0.9121
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.0629,
              0.0941,
              0.1241,
              0.18285,
              0.29833,
              0.52869,
              0.98933
            ],
            [
              0.06371,
              0.09537,
              0.12575,
              0.18503,
              0.30094,
              0.53185,
              0.99224
            ],
            [
              0.06541,
              0.09705,
              0.12777,
              0.18738,
              0.30386,
              0.53438,
              0.99372
            ],
            [
              0.06879,
              0.10024,
              0.13104,
              0.19098,
              0.3079,
              0.53921,
              0.99957
            ],
            [
              0.07523,
              0.10585,
              0.13647,
              0.19681,
              0.31402,
              0.5458,
              1.00641
            ],
            [
              0.08627,
              0.11562,
              0.14577,
              0.20599,
              0.32377,
              0.55532,
              1.01622
            ],
            [
              0.10333,
              0.13183,
              0.16109,
              0.22066,
              0.33877,
              0.57127,
              1.03183
            ],
            [
              0.12256,
              0.15756,
              0.18595,
              0.24423,
              0.36174,
              0.59475,
              1.05566
            ],
            [
              0.14513,
              0.18836,
              0.22324,
              0.28141,
              0.39752,
              0.63044,
              1.09165
            ],
            [
              0.17165,
              0.22473,
              0.26767,
              0.33769,
              0.45343,
              0.68519,
              1.14709
            ],
            [
              0.20347,
              0.26773,
              0.32025,
              0.4063,
              0.53972,
              0.76862,
              1.22952
            ],
            [
              0.24277,
              0.31927,
              0.38267,
              0.48757,
              0.65097,
              0.89747,
              1.35637
            ],
            [
              0.2925,
              0.3825,
              0.4579,
              0.5843,
              0.7834,
              1.0826,
              1.5481
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.02539,
              0.04111,
              0.05677,
              0.08811,
              0.15076,
              0.27558,
              0.52659
            ],
            [
              0.02536,
              0.04109,
              0.05681,
              0.0881,
              0.15074,
              0.2761,
              0.5268
            ],
            [
              0.02527,
              0.04107,
              0.05673,
              0.08812,
              0.15054,
              0.27574,
              0.52654
            ],
            [
              0.02514,
              0.04096,
              0.05669,
              0.08804,
              0.15062,
              0.27579,
              0.52605
            ],
            [
              0.02698,
              0.04123,
              0.05662,
              0.08808,
              0.15064,
              0.27579,
              0.52608
            ],
            [
              0.03208,
              0.04455,
              0.05841,
              0.08802,
              0.15078,
              0.2761,
              0.52672
            ],
            [
              0.03792,
              0.05263,
              0.06475,
              0.09169,
              0.15092,
              0.27566,
              0.52669
            ],
            [
              0.04631,
              0.06298,
              0.0773,
              0.10195,
              0.15586,
              0.27567,
              0.52683
            ],
            [
              0.05822,
              0.07743,
              0.0935,
              0.12132,
              0.17061,
              0.28115,
              0.52678
            ],
            [
              0.07469,
              0.09733,
              0.1159,
              0.14729,
              0.20003,
              0.29984,
              0.52954
            ],
            [
              0.09705,
              0.12427,
              0.14614,
              0.18267,
              0.24226,
              0.34117,
              0.55042
            ],
            [
              0.12732,
              0.16073,
              0.18673,
              0.22996,
              0.2985,
              0.4095,
              0.6031
            ],
            [
              0.1683,
              0.2092,
              0.2415,
              0.2932,
              0.374,
              0.5007,
              0.7058
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.07058,
              0.11302,
              0.15431,
              0.23555,
              0.39683,
              0.71778,
              1.36055
            ],
            [
              0.0701,
              0.11277,
              0.15421,
              0.23539,
              0.39687,
              0.7183,
              1.36081
            ],
            [
              0.06945,
              0.11235,
              0.15388,
              0.23525,
              0.39619,
              0.71835,
              1.35992
            ],
            [
              0.06882,
              0.11202,
              0.15343,
              0.23533,
              0.39632,
              0.71741,
              1.35875
            ],
            [
              0.06758,
              0.11105,
              0.15347,
              0.23523,
              0.39659,
              0.71756,
              1.35908
            ],
            [
              0.0685,
              0.10951,
              0.15227,
              0.235,
              0.39679,
              0.71812,
              1.36007
            ],
            [
              0.07573,
              0.11207,
              0.15116,
              0.23408,
              0.39633,
              0.71857,
              1.3602
            ],
            [
              0.09178,
              0.1226,
              0.15765,
              0.23371,
              0.396,
              0.71854,
              1.36027
            ],
            [
              0.10809,
              0.14481,
              0.1755,
              0.2435,
              0.39521,
              0.71842,
              1.36013
            ],
            [
              0.12797,
              0.17279,
              0.20963,
              0.26979,
              0.40649,
              0.71759,
              1.35871
            ],
            [
              0.1547,
              0.20668,
              0.24911,
              0.31964,
              0.44158,
              0.7254,
              1.3607
            ],
            [
              0.18811,
              0.2496,
              0.3001,
              0.3834,
              0.513,
              0.7678,
              1.3624
            ],
            [
              0.2308,
              0.3037,
              0.364,
              0.4637,
              0.6185,
              0.8629,
              1.4032
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.03411,
              0.04606,
              0.05752,
              0.07998,
              0.12445,
              0.213,
              0.3898
            ],
            [
              0.03616,
              0.04831,
              0.05993,
              0.08256,
              0.12711,
              0.21573,
              0.39259
            ],
            [
              0.03883,
              0.05112,
              0.0628,
              0.08561,
              0.13027,
              0.219,
              0.39591
            ],
            [
              0.0431,
              0.05551,
              0.06733,
              0.09026,
              0.13506,
              0.2239,
              0.40088
            ],
            [
              0.04991,
              0.06224,
              0.07413,
              0.09723,
              0.14222,
              0.23121,
              0.4083
            ],
            [
              0.05833,
              0.07267,
              0.08458,
              0.10778,
              0.15297,
              0.2421,
              0.41928
            ],
            [
              0.06797,
              0.08549,
              0.09984,
              0.12377,
              0.1691,
              0.25845,
              0.43579
            ],
            [
              0.07895,
              0.10048,
              0.11803,
              0.14688,
              0.19351,
              0.28295,
              0.46051
            ],
            [
              0.09123,
              0.11768,
              0.13921,
              0.17462,
              0.22968,
              0.31997,
              0.49759
            ],
            [
              0.10459,
              0.1371,
              0.16362,
              0.20691,
              0.27431,
              0.37584,
              0.55342
            ],
            [
              0.11859,
              0.15857,
              0.19114,
              0.24447,
              0.32703,
              0.45052,
              0.63742
            ],
            [
              0.13221,
              0.18137,
              0.22137,
              0.28687,
              0.38837,
              0.53957,
              0.76107
            ],
            [
              0.1439,
              0.2042,
              0.2533,
              0.3337,
              0.4585,
              0.6444,
              0.9144
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.08129,
              0.10509,
              0.12803,
              0.17292,
              0.26135,
              0.43692,
              0.78691
            ],
            [
              0.08332,
              0.10724,
              0.13033,
              0.17541,
              0.264,
              0.43979,
              0.78985
            ],
            [
              0.08582,
              0.10984,
              0.13303,
              0.17832,
              0.2671,
              0.44302,
              0.79318
            ],
            [
              0.08989,
              0.11396,
              0.13728,
              0.18271,
              0.27175,
              0.4479,
              0.79815
            ],
            [
              0.09648,
              0.12054,
              0.14388,
              0.18949,
              0.27873,
              0.45515,
              0.80554
            ],
            [
              0.10711,
              0.13098,
              0.1543,
              0.20008,
              0.28962,
              0.46631,
              0.81688
            ],
            [
              0.1242,
              0.14764,
              0.1708,
              0.21627,
              0.30602,
              0.48304,
              0.83397
            ],
            [
              0.15,
              0.17398,
              0.19658,
              0.24184,
              0.33096,
              0.50829,
              0.85966
            ],
            [
              0.18035,
              0.21052,
              0.23633,
              0.28115,
              0.36995,
              0.54694,
              0.89845
            ],
            [
              0.2162,
              0.25365,
              0.28565,
              0.33984,
              0.4295,
              0.60576,
              0.95689
            ],
            [
              0.25845,
              0.30459,
              0.34421,
              0.41159,
              0.51872,
              0.69532,
              1.04552
            ],
            [
              0.30867,
              0.36487,
              0.41357,
              0.49677,
              0.63007,
              0.83217,
              1.18037
            ],
            [
              0.3696,
              0.4369,
              0.4959,
              0.5977,
              0.7624,
              1.0132,
              1.3851
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.04615,
              0.06188,
              0.07756,
              0.10871,
              0.17088,
              0.29539,
              0.54528
            ],
            [
              0.04613,
              0.06187,
              0.07757,
              0.10867,
              0.17094,
              0.29555,
              0.54524
            ],
            [
              0.04608,
              0.06187,
              0.07751,
              0.1087,
              0.17079,
              0.2957,
              0.54529
            ],
            [
              0.04594,
              0.06182,
              0.07756,
              0.10862,
              0.17081,
              0.29538,
              0.54531
            ],
            [
              0.04782,
              0.06214,
              0.0774,
              0.10869,
              0.17079,
              0.29583,
              0.54539
            ],
            [
              0.05281,
              0.06557,
              0.07934,
              0.10879,
              0.1708,
              0.29547,
              0.54523
            ],
            [
              0.06282,
              0.07356,
              0.08585,
              0.11247,
              0.17104,
              0.29585,
              0.54528
            ],
            [
              0.0752,
              0.08787,
              0.09911,
              0.12289,
              0.17616,
              0.29535,
              0.54514
            ],
            [
              0.09262,
              0.10631,
              0.11936,
              0.14333,
              0.19115,
              0.30076,
              0.54526
            ],
            [
              0.11661,
              0.13179,
              0.14621,
              0.1731,
              0.22109,
              0.32041,
              0.54879
            ],
            [
              0.14903,
              0.16626,
              0.18262,
              0.21286,
              0.26674,
              0.36174,
              0.56942
            ],
            [
              0.19253,
              0.21238,
              0.23127,
              0.26612,
              0.3272,
              0.432,
              0.6231
            ],
            [
              0.2501,
              0.2737,
              0.2963,
              0.3371,
              0.4079,
              0.527,
              0.726
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.07518,
              0.10666,
              0.13797,
              0.20076,
              0.32546,
              0.57367,
              1.07048
            ],
            [
              0.07514,
              0.10679,
              0.13818,
              0.2008,
              0.32551,
              0.57349,
              1.0716
            ],
            [
              0.07505,
              0.10672,
              0.13812,
              0.20072,
              0.32549,
              0.57368,
              1.06958
            ],
            [
              0.075,
              0.10646,
              0.13798,
              0.20078,
              0.32506,
              0.57397,
              1.06951
            ],
            [
              0.07463,
              0.10658,
              0.13809,
              0.20072,
              0.32545,
              0.57399,
              1.06951
            ],
            [
              0.07383,
              0.10625,
              0.1379,
              0.20064,
              0.32505,
              0.57356,
              1.0704
            ],
            [
              0.0773,
              0.10642,
              0.13696,
              0.20023,
              0.32507,
              0.57384,
              1.06991
            ],
            [
              0.0887,
              0.11465,
              0.14198,
              0.20056,
              0.32502,
              0.5741,
              1.07093
            ],
            [
              0.10969,
              0.13444,
              0.15844,
              0.21097,
              0.32607,
              0.57404,
              1.07045
            ],
            [
              0.13312,
              0.16527,
              0.19224,
              0.23782,
              0.34083,
              0.57369,
              1.07158
            ],
            [
              0.16361,
              0.2026,
              0.23493,
              0.28904,
              0.38073,
              0.59168,
              1.071
            ],
            [
              0.2023,
              0.2501,
              0.2892,
              0.3547,
              0.4571,
              0.6438,
              1.082
            ],
            [
              0.2503,
              0.3086,
              0.3572,
              0.4374,
              0.5619,
              0.7514,
              1.1422
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.03414,
              0.0461,
              0.05756,
              0.08005,
              0.12447,
              0.21305,
              0.38984
            ],
            [
              0.03627,
              0.04841,
              0.06004,
              0.08266,
              0.12722,
              0.21585,
              0.39272
            ],
            [
              0.03903,
              0.05132,
              0.06304,
              0.08578,
              0.13045,
              0.21919,
              0.39609
            ],
            [
              0.04339,
              0.05581,
              0.06764,
              0.09057,
              0.13536,
              0.2242,
              0.4012
            ],
            [
              0.05036,
              0.0627,
              0.0746,
              0.09768,
              0.14265,
              0.23167,
              0.40869
            ],
            [
              0.05906,
              0.07332,
              0.0852,
              0.10838,
              0.15354,
              0.24267,
              0.41985
            ],
            [
              0.06901,
              0.08641,
              0.10068,
              0.12452,
              0.16986,
              0.25916,
              0.43649
            ],
            [
              0.08024,
              0.10166,
              0.1191,
              0.14785,
              0.19432,
              0.28383,
              0.46133
            ],
            [
              0.09256,
              0.119,
              0.1405,
              0.17577,
              0.23065,
              0.32085,
              0.49846
            ],
            [
              0.10569,
              0.13832,
              0.16483,
              0.20832,
              0.27549,
              0.37673,
              0.55423
            ],
            [
              0.11908,
              0.1593,
              0.192,
              0.24546,
              0.3282,
              0.45152,
              0.63812
            ],
            [
              0.13145,
              0.18107,
              0.22147,
              0.28747,
              0.38927,
              0.54087,
              0.76247
            ],
            [
              0.1408,
              0.2021,
              0.2518,
              0.333,
              0.4585,
              0.6451,
              0.9153
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.10416,
              0.13697,
              0.1687,
              0.2309,
              0.35347,
              0.597,
              1.08267
            ],
            [
              0.10574,
              0.13873,
              0.17068,
              0.23317,
              0.356,
              0.59987,
              1.08574
            ],
            [
              0.1077,
              0.14085,
              0.17296,
              0.23571,
              0.35881,
              0.60294,
              1.08872
            ],
            [
              0.11102,
              0.14424,
              0.17647,
              0.2395,
              0.36296,
              0.6073,
              1.09337
            ],
            [
              0.11661,
              0.1498,
              0.18214,
              0.24539,
              0.36922,
              0.6139,
              1.10031
            ],
            [
              0.12602,
              0.15893,
              0.19125,
              0.25464,
              0.3788,
              0.62375,
              1.11042
            ],
            [
              0.14155,
              0.17382,
              0.20589,
              0.26916,
              0.39359,
              0.63912,
              1.12633
            ],
            [
              0.16745,
              0.19791,
              0.22942,
              0.29228,
              0.41645,
              0.66226,
              1.14996
            ],
            [
              0.2012,
              0.23637,
              0.26672,
              0.32834,
              0.45199,
              0.69761,
              1.18545
            ],
            [
              0.241,
              0.28399,
              0.32121,
              0.38496,
              0.50698,
              0.75179,
              1.23949
            ],
            [
              0.28802,
              0.34051,
              0.38609,
              0.46412,
              0.59192,
              0.83492,
              1.32132
            ],
            [
              0.34417,
              0.40747,
              0.46287,
              0.55847,
              0.71367,
              0.96237,
              1.44657
            ],
            [
              0.4126,
              0.488,
              0.5546,
              0.6703,
              0.8596,
              1.1533,
              1.6375
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.04596,
              0.0617,
              0.07731,
              0.10847,
              0.17058,
              0.29534,
              0.54496
            ],
            [
              0.04594,
              0.06171,
              0.07735,
              0.10844,
              0.17054,
              0.29519,
              0.54517
            ],
            [
              0.04589,
              0.06169,
              0.07732,
              0.1085,
              0.17064,
              0.29523,
              0.5447
            ],
            [
              0.04574,
              0.06163,
              0.07729,
              0.10842,
              0.17071,
              0.29528,
              0.54442
            ],
            [
              0.04748,
              0.06189,
              0.0772,
              0.10849,
              0.1706,
              0.29554,
              0.5449
            ],
            [
              0.05227,
              0.06507,
              0.07892,
              0.10851,
              0.17073,
              0.29511,
              0.54487
            ],
            [
              0.06192,
              0.07283,
              0.08519,
              0.11196,
              0.1707,
              0.2952,
              0.54491
            ],
            [
              0.07404,
              0.08679,
              0.09814,
              0.1221,
              0.17568,
              0.29516,
              0.54451
            ],
            [
              0.09116,
              0.10495,
              0.11806,
              0.14219,
              0.19036,
              0.30043,
              0.54528
            ],
            [
              0.11501,
              0.13026,
              0.14481,
              0.17162,
              0.21992,
              0.31953,
              0.54756
            ],
            [
              0.1475,
              0.16483,
              0.18121,
              0.21156,
              0.26548,
              0.36046,
              0.56933
            ],
            [
              0.19115,
              0.21127,
              0.23022,
              0.26495,
              0.3261,
              0.4306,
              0.6221
            ],
            [
              0.2495,
              0.2734,
              0.2959,
              0.3366,
              0.4072,
              0.5257,
              0.7249
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.10915,
              0.1531,
              0.19645,
              0.28202,
              0.45274,
              0.79275,
              1.471
            ],
            [
              0.109,
              0.15283,
              0.19643,
              0.2823,
              0.45273,
              0.79201,
              1.46918
            ],
            [
              0.1089,
              0.15284,
              0.19629,
              0.28227,
              0.45273,
              0.79196,
              1.47097
            ],
            [
              0.10849,
              0.15279,
              0.19605,
              0.28213,
              0.45274,
              0.79246,
              1.4706
            ],
            [
              0.10802,
              0.15247,
              0.19601,
              0.28198,
              0.45217,
              0.79264,
              1.47092
            ],
            [
              0.10673,
              0.15185,
              0.19566,
              0.28203,
              0.45208,
              0.79271,
              1.47086
            ],
            [
              0.10647,
              0.14994,
              0.19433,
              0.28137,
              0.45243,
              0.7926,
              1.47102
            ],
            [
              0.11405,
              0.15357,
              0.19459,
              0.28,
              0.45223,
              0.79224,
              1.47118
            ],
            [
              0.13322,
              0.16825,
              0.20497,
              0.28353,
              0.45091,
              0.79227,
              1.47109
            ],
            [
              0.15797,
              0.19959,
              0.23211,
              0.30288,
              0.45654,
              0.79227,
              1.46943
            ],
            [
              0.18789,
              0.23648,
              0.27803,
              0.34588,
              0.48439,
              0.7959,
              1.4708
            ],
            [
              0.2267,
              0.2842,
              0.3324,
              0.4146,
              0.5481,
              0.8294,
              1.4708
            ],
            [
              0.276,
              0.3442,
              0.402,
              0.4991,
              0.6555,
              0.9161,
              1.5016
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.03415,
              0.04611,
              0.05759,
              0.08005,
              0.12449,
              0.21304,
              0.38986
            ],
            [
              0.03627,
              0.04843,
              0.06004,
              0.08266,
              0.12722,
              0.21587,
              0.39275
            ],
            [
              0.03903,
              0.05134,
              0.06304,
              0.08579,
              0.13044,
              0.2192,
              0.39615
            ],
            [
              0.04338,
              0.05581,
              0.06761,
              0.09054,
              0.13537,
              0.2242,
              0.40119
            ],
            [
              0.05035,
              0.06268,
              0.07458,
              0.09764,
              0.14264,
              0.23162,
              0.40869
            ],
            [
              0.05899,
              0.07326,
              0.08514,
              0.10835,
              0.1535,
              0.24263,
              0.41983
            ],
            [
              0.06891,
              0.08631,
              0.10059,
              0.12445,
              0.16978,
              0.2591,
              0.43646
            ],
            [
              0.08008,
              0.10153,
              0.11897,
              0.14774,
              0.19423,
              0.28376,
              0.46124
            ],
            [
              0.09237,
              0.11882,
              0.14033,
              0.17563,
              0.23054,
              0.32071,
              0.49825
            ],
            [
              0.1055,
              0.13813,
              0.16465,
              0.20815,
              0.27535,
              0.37655,
              0.55418
            ],
            [
              0.11894,
              0.15916,
              0.19184,
              0.24529,
              0.32803,
              0.45152,
              0.63842
            ],
            [
              0.13147,
              0.18107,
              0.22147,
              0.28737,
              0.38907,
              0.54067,
              0.76187
            ],
            [
              0.1412,
              0.2023,
              0.252,
              0.3331,
              0.4584,
              0.6449,
              0.9152
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.12707,
              0.15948,
              0.1906,
              0.25114,
              0.36956,
              0.60339,
              1.06817
            ],
            [
              0.12894,
              0.16144,
              0.19269,
              0.25348,
              0.37209,
              0.60617,
              1.07094
            ],
            [
              0.13127,
              0.16384,
              0.1952,
              0.25616,
              0.37504,
              0.60926,
              1.07422
            ],
            [
              0.13503,
              0.16761,
              0.19903,
              0.26016,
              0.37924,
              0.61391,
              1.07898
            ],
            [
              0.14102,
              0.1736,
              0.20507,
              0.26632,
              0.38573,
              0.62052,
              1.08601
            ],
            [
              0.15062,
              0.18311,
              0.21456,
              0.2759,
              0.39552,
              0.63075,
              1.09662
            ],
            [
              0.16588,
              0.19817,
              0.22957,
              0.29084,
              0.41065,
              0.64633,
              1.11243
            ],
            [
              0.19016,
              0.22204,
              0.25314,
              0.31427,
              0.43405,
              0.66992,
              1.13646
            ],
            [
              0.2292,
              0.25996,
              0.29018,
              0.3508,
              0.47006,
              0.70582,
              1.17255
            ],
            [
              0.27665,
              0.31448,
              0.34797,
              0.40717,
              0.52561,
              0.76059,
              1.22739
            ],
            [
              0.33293,
              0.37913,
              0.4199,
              0.49122,
              0.61102,
              0.84462,
              1.31042
            ],
            [
              0.39977,
              0.45577,
              0.50537,
              0.59257,
              0.73677,
              0.97357,
              1.43697
            ],
            [
              0.4799,
              0.5471,
              0.6071,
              0.7132,
              0.8895,
              1.1671,
              1.6301
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.0564,
              0.07426,
              0.09157,
              0.12485,
              0.18867,
              0.31378,
              0.56278
            ],
            [
              0.05636,
              0.07423,
              0.09155,
              0.12483,
              0.18867,
              0.31379,
              0.56234
            ],
            [
              0.05631,
              0.07424,
              0.09155,
              0.12483,
              0.18867,
              0.31379,
              0.56255
            ],
            [
              0.05616,
              0.07417,
              0.09153,
              0.12483,
              0.18868,
              0.3138,
              0.56258
            ],
            [
              0.0579,
              0.07444,
              0.09142,
              0.12481,
              0.18868,
              0.3138,
              0.56282
            ],
            [
              0.06275,
              0.07767,
              0.09318,
              0.12488,
              0.18867,
              0.31377,
              0.56245
            ],
            [
              0.07298,
              0.08549,
              0.09948,
              0.12839,
              0.18885,
              0.31381,
              0.56237
            ],
            [
              0.09105,
              0.10157,
              0.1126,
              0.13857,
              0.19381,
              0.31378,
              0.56257
            ],
            [
              0.11232,
              0.12394,
              0.13602,
              0.15876,
              0.20852,
              0.31896,
              0.56238
            ],
            [
              0.14132,
              0.15358,
              0.16635,
              0.19137,
              0.23793,
              0.33807,
              0.56529
            ],
            [
              0.1804,
              0.19356,
              0.20745,
              0.23477,
              0.28573,
              0.3789,
              0.58688
            ],
            [
              0.23282,
              0.24718,
              0.26245,
              0.29288,
              0.3496,
              0.4504,
              0.6404
            ],
            [
              0.3026,
              0.3186,
              0.336,
              0.3708,
              0.4351,
              0.5482,
              0.7427
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.12884,
              0.17028,
              0.21147,
              0.29331,
              0.45689,
              0.78186,
              1.43218
            ],
            [
              0.12883,
              0.17017,
              0.21125,
              0.29331,
              0.45682,
              0.78195,
              1.43366
            ],
            [
              0.12877,
              0.17021,
              0.21151,
              0.29368,
              0.45694,
              0.78192,
              1.43391
            ],
            [
              0.12864,
              0.17022,
              0.21154,
              0.29346,
              0.45677,
              0.78236,
              1.43174
            ],
            [
              0.12844,
              0.1702,
              0.21123,
              0.29345,
              0.45679,
              0.78195,
              1.43231
            ],
            [
              0.12808,
              0.17001,
              0.21144,
              0.29355,
              0.45695,
              0.78198,
              1.43143
            ],
            [
              0.12549,
              0.16882,
              0.21092,
              0.29313,
              0.45688,
              0.78218,
              1.43178
            ],
            [
              0.12916,
              0.16856,
              0.20932,
              0.29279,
              0.45626,
              0.78254,
              1.433
            ],
            [
              0.14293,
              0.1788,
              0.21598,
              0.29355,
              0.45583,
              0.78281,
              1.43206
            ],
            [
              0.17109,
              0.20555,
              0.23882,
              0.30908,
              0.45881,
              0.78272,
              1.43238
            ],
            [
              0.20238,
              0.24657,
              0.28481,
              0.3484,
              0.48446,
              0.7848,
              1.4334
            ],
            [
              0.2441,
              0.2964,
              0.3413,
              0.4178,
              0.5451,
              0.8176,
              1.4339
            ],
            [
              0.2972,
              0.3599,
              0.4136,
              0.5048,
              0.653,
              0.9032,
              1.465
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.0432,
              0.05494,
              0.06626,
              0.08861,
              0.13298,
              0.22145,
              0.39805
            ],
            [
              0.04569,
              0.05766,
              0.06913,
              0.09159,
              0.13601,
              0.22452,
              0.4012
            ],
            [
              0.04861,
              0.06077,
              0.07236,
              0.095,
              0.13954,
              0.22797,
              0.40469
            ],
            [
              0.05283,
              0.06513,
              0.07687,
              0.09965,
              0.14428,
              0.23303,
              0.40988
            ],
            [
              0.05881,
              0.07122,
              0.08306,
              0.10604,
              0.1509,
              0.23981,
              0.41673
            ],
            [
              0.06676,
              0.08007,
              0.09204,
              0.11516,
              0.1602,
              0.2493,
              0.42625
            ],
            [
              0.07625,
              0.09144,
              0.10483,
              0.12852,
              0.17386,
              0.26316,
              0.44051
            ],
            [
              0.08793,
              0.10543,
              0.12061,
              0.1475,
              0.19413,
              0.28369,
              0.46138
            ],
            [
              0.10166,
              0.12254,
              0.14036,
              0.17116,
              0.22346,
              0.31436,
              0.49212
            ],
            [
              0.11696,
              0.14272,
              0.16425,
              0.2006,
              0.26058,
              0.3602,
              0.53866
            ],
            [
              0.13301,
              0.16547,
              0.19213,
              0.23632,
              0.30703,
              0.42053,
              0.60822
            ],
            [
              0.1482,
              0.18967,
              0.22327,
              0.27817,
              0.36387,
              0.49647,
              0.70767
            ],
            [
              0.1613,
              0.2141,
              0.2566,
              0.3254,
              0.4313,
              0.5905,
              0.834
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.06832,
              0.08751,
              0.1063,
              0.14318,
              0.21619,
              0.3613,
              0.65075
            ],
            [
              0.07013,
              0.08952,
              0.10835,
              0.14536,
              0.21839,
              0.36366,
              0.65305
            ],
            [
              0.07259,
              0.09215,
              0.11108,
              0.1482,
              0.22129,
              0.36663,
              0.65606
            ],
            [
              0.07673,
              0.09638,
              0.11542,
              0.15269,
              0.22598,
              0.37128,
              0.6608
            ],
            [
              0.08354,
              0.10321,
              0.12231,
              0.15968,
              0.23309,
              0.37856,
              0.66814
            ],
            [
              0.09452,
              0.11402,
              0.1331,
              0.17053,
              0.24406,
              0.38963,
              0.67945
            ],
            [
              0.11205,
              0.13105,
              0.14997,
              0.18731,
              0.26071,
              0.40637,
              0.69663
            ],
            [
              0.13432,
              0.15697,
              0.1762,
              0.21325,
              0.28661,
              0.43234,
              0.72227
            ],
            [
              0.16032,
              0.18846,
              0.21248,
              0.25295,
              0.3259,
              0.47133,
              0.76125
            ],
            [
              0.19045,
              0.22535,
              0.25518,
              0.30558,
              0.38565,
              0.53048,
              0.82009
            ],
            [
              0.22527,
              0.26805,
              0.30495,
              0.36758,
              0.46712,
              0.62022,
              0.90872
            ],
            [
              0.26617,
              0.31777,
              0.36277,
              0.43987,
              0.56367,
              0.75077,
              1.04367
            ],
            [
              0.315,
              0.3764,
              0.4304,
              0.524,
              0.6763,
              0.909,
              1.2472
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.02533,
              0.04099,
              0.05676,
              0.08816,
              0.15075,
              0.27562,
              0.52672
            ],
            [
              0.02534,
              0.04102,
              0.05671,
              0.08815,
              0.1508,
              0.27603,
              0.52638
            ],
            [
              0.02531,
              0.04105,
              0.05677,
              0.08811,
              0.15061,
              0.27615,
              0.52681
            ],
            [
              0.02538,
              0.04106,
              0.05674,
              0.08798,
              0.15072,
              0.27599,
              0.52584
            ],
            [
              0.02586,
              0.04114,
              0.05677,
              0.08809,
              0.15069,
              0.27581,
              0.52609
            ],
            [
              0.02879,
              0.04281,
              0.05759,
              0.08819,
              0.15073,
              0.27593,
              0.52678
            ],
            [
              0.03388,
              0.04786,
              0.06147,
              0.0904,
              0.15067,
              0.27586,
              0.52642
            ],
            [
              0.0406,
              0.05586,
              0.07011,
              0.09681,
              0.15439,
              0.27578,
              0.52565
            ],
            [
              0.0504,
              0.06703,
              0.08215,
              0.11037,
              0.16405,
              0.28004,
              0.52658
            ],
            [
              0.06468,
              0.08298,
              0.09945,
              0.12966,
              0.18477,
              0.29316,
              0.52911
            ],
            [
              0.08528,
              0.1059,
              0.12408,
              0.15673,
              0.21537,
              0.32195,
              0.54479
            ],
            [
              0.11549,
              0.13858,
              0.15887,
              0.1949,
              0.2578,
              0.3711,
              0.5813
            ],
            [
              0.1588,
              0.1852,
              0.2081,
              0.2484,
              0.3177,
              0.4382,
              0.656
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.06265,
              0.08912,
              0.11531,
              0.16786,
              0.27246,
              0.48237,
              0.90003
            ],
            [
              0.06273,
              0.08898,
              0.11543,
              0.16789,
              0.27273,
              0.48199,
              0.90181
            ],
            [
              0.06258,
              0.08904,
              0.11543,
              0.16773,
              0.27268,
              0.48197,
              0.90164
            ],
            [
              0.06263,
              0.08901,
              0.11534,
              0.16779,
              0.27274,
              0.48184,
              0.90092
            ],
            [
              0.06234,
              0.0888,
              0.11533,
              0.16787,
              0.27242,
              0.48154,
              0.89931
            ],
            [
              0.06301,
              0.08836,
              0.11504,
              0.16781,
              0.27247,
              0.48217,
              0.90224
            ],
            [
              0.06917,
              0.09204,
              0.11629,
              0.16753,
              0.27269,
              0.48204,
              0.90168
            ],
            [
              0.08353,
              0.10351,
              0.12489,
              0.17126,
              0.27236,
              0.48196,
              0.90185
            ],
            [
              0.10179,
              0.12623,
              0.14538,
              0.18631,
              0.27785,
              0.48183,
              0.90165
            ],
            [
              0.12457,
              0.15389,
              0.17863,
              0.21856,
              0.29982,
              0.48725,
              0.9005
            ],
            [
              0.1537,
              0.18972,
              0.21948,
              0.26905,
              0.34741,
              0.51493,
              0.9015
            ],
            [
              0.18914,
              0.2339,
              0.2709,
              0.3313,
              0.4258,
              0.5796,
              0.9302
            ],
            [
              0.2328,
              0.2879,
              0.3334,
              0.4091,
              0.5255,
              0.6988,
              1.0116
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.04324,
              0.055,
              0.06634,
              0.08869,
              0.133,
              0.2214,
              0.39819
            ],
            [
              0.04578,
              0.05777,
              0.06923,
              0.09172,
              0.13611,
              0.22464,
              0.40126
            ],
            [
              0.04874,
              0.06094,
              0.07252,
              0.09513,
              0.13961,
              0.22823,
              0.40486
            ],
            [
              0.05299,
              0.06534,
              0.07705,
              0.09985,
              0.14452,
              0.23322,
              0.40986
            ],
            [
              0.05902,
              0.07148,
              0.08333,
              0.10631,
              0.15118,
              0.24007,
              0.417
            ],
            [
              0.06703,
              0.08034,
              0.09235,
              0.11547,
              0.16053,
              0.24962,
              0.42659
            ],
            [
              0.07654,
              0.09174,
              0.10514,
              0.12888,
              0.17422,
              0.26353,
              0.44091
            ],
            [
              0.08822,
              0.10576,
              0.12102,
              0.1479,
              0.19453,
              0.28409,
              0.46178
            ],
            [
              0.10194,
              0.12287,
              0.14073,
              0.17156,
              0.22387,
              0.31481,
              0.49257
            ],
            [
              0.11725,
              0.14307,
              0.1646,
              0.20099,
              0.261,
              0.36064,
              0.53912
            ],
            [
              0.13324,
              0.16573,
              0.19241,
              0.23666,
              0.30743,
              0.42097,
              0.60862
            ],
            [
              0.14831,
              0.18977,
              0.22347,
              0.27837,
              0.36417,
              0.49687,
              0.70807
            ],
            [
              0.1608,
              0.2138,
              0.2564,
              0.3254,
              0.4314,
              0.5908,
              0.8344
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.07581,
              0.09772,
              0.11917,
              0.16143,
              0.24484,
              0.41107,
              0.7424
            ],
            [
              0.0774,
              0.09953,
              0.12104,
              0.1634,
              0.24698,
              0.4132,
              0.74461
            ],
            [
              0.07963,
              0.10192,
              0.12358,
              0.16606,
              0.24981,
              0.41606,
              0.74752
            ],
            [
              0.08347,
              0.10589,
              0.12765,
              0.1703,
              0.2541,
              0.42057,
              0.75213
            ],
            [
              0.08989,
              0.11233,
              0.13416,
              0.17693,
              0.26093,
              0.4275,
              0.75911
            ],
            [
              0.10039,
              0.12264,
              0.14446,
              0.18728,
              0.27145,
              0.43817,
              0.77014
            ],
            [
              0.11736,
              0.13905,
              0.16067,
              0.20331,
              0.28754,
              0.45437,
              0.78664
            ],
            [
              0.14075,
              0.16494,
              0.18603,
              0.22844,
              0.3125,
              0.47933,
              0.81155
            ],
            [
              0.16787,
              0.19769,
              0.22329,
              0.26695,
              0.35048,
              0.5171,
              0.84895
            ],
            [
              0.19933,
              0.23612,
              0.26776,
              0.3214,
              0.40849,
              0.57438,
              0.90589
            ],
            [
              0.23583,
              0.28077,
              0.3197,
              0.38594,
              0.49212,
              0.66152,
              0.99212
            ],
            [
              0.27867,
              0.33277,
              0.38007,
              0.46137,
              0.59247,
              0.79237,
              1.12287
            ],
            [
              0.3303,
              0.3944,
              0.4509,
              0.5493,
              0.7099,
              0.9569,
              1.3209
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.02535,
              0.04103,
              0.05669,
              0.08804,
              0.15069,
              0.27622,
              0.52593
            ],
            [
              0.02535,
              0.04108,
              0.05666,
              0.08799,
              0.15049,
              0.27605,
              0.52669
            ],
            [
              0.02532,
              0.04103,
              0.05671,
              0.08813,
              0.15079,
              0.27585,
              0.52676
            ],
            [
              0.02536,
              0.04106,
              0.05676,
              0.08798,
              0.15055,
              0.27587,
              0.52676
            ],
            [
              0.02582,
              0.04115,
              0.05678,
              0.08805,
              0.15056,
              0.27567,
              0.52615
            ],
            [
              0.02871,
              0.04274,
              0.05751,
              0.08808,
              0.15068,
              0.27594,
              0.52676
            ],
            [
              0.0338,
              0.04774,
              0.06137,
              0.09034,
              0.1508,
              0.27584,
              0.52593
            ],
            [
              0.04055,
              0.05571,
              0.06986,
              0.09675,
              0.15415,
              0.27572,
              0.5257
            ],
            [
              0.05028,
              0.06686,
              0.08195,
              0.11015,
              0.16392,
              0.27977,
              0.52666
            ],
            [
              0.06449,
              0.08274,
              0.09927,
              0.12943,
              0.18473,
              0.29312,
              0.52861
            ],
            [
              0.08509,
              0.10568,
              0.12385,
              0.15649,
              0.21512,
              0.32176,
              0.54475
            ],
            [
              0.11513,
              0.13844,
              0.15862,
              0.1946,
              0.2576,
              0.3708,
              0.5811
            ],
            [
              0.1582,
              0.1847,
              0.2079,
              0.2482,
              0.3174,
              0.4379,
              0.6557
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.07314,
              0.10333,
              0.13336,
              0.19309,
              0.31238,
              0.54962,
              1.02578
            ],
            [
              0.07308,
              0.10337,
              0.13326,
              0.19304,
              0.3123,
              0.54936,
              1.02578
            ],
            [
              0.07285,
              0.10302,
              0.1333,
              0.19286,
              0.31228,
              0.54977,
              1.02375
            ],
            [
              0.07267,
              0.1032,
              0.13325,
              0.19314,
              0.31238,
              0.54982,
              1.02507
            ],
            [
              0.07245,
              0.10278,
              0.13291,
              0.19297,
              0.31238,
              0.54957,
              1.02587
            ],
            [
              0.07213,
              0.10246,
              0.13286,
              0.19295,
              0.31225,
              0.54978,
              1.0256
            ],
            [
              0.07717,
              0.10441,
              0.13286,
              0.19269,
              0.31228,
              0.55022,
              1.02463
            ],
            [
              0.09027,
              0.11425,
              0.13969,
              0.19457,
              0.3119,
              0.55044,
              1.02469
            ],
            [
              0.10944,
              0.13569,
              0.15811,
              0.20716,
              0.31515,
              0.54988,
              1.02582
            ],
            [
              0.13206,
              0.16449,
              0.19174,
              0.23686,
              0.33339,
              0.55173,
              1.02536
            ],
            [
              0.16103,
              0.20014,
              0.23274,
              0.28725,
              0.37658,
              0.5733,
              1.0245
            ],
            [
              0.19699,
              0.2447,
              0.2845,
              0.3502,
              0.4544,
              0.6326,
              1.0453
            ],
            [
              0.2413,
              0.2993,
              0.348,
              0.429,
              0.5553,
              0.7459,
              1.1152
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.04324,
              0.05501,
              0.06631,
              0.08869,
              0.13298,
              0.22137,
              0.39818
            ],
            [
              0.04578,
              0.05775,
              0.06922,
              0.09166,
              0.13611,
              0.22462,
              0.40115
            ],
            [
              0.04873,
              0.06091,
              0.07251,
              0.09514,
              0.13964,
              0.22825,
              0.40493
            ],
            [
              0.05298,
              0.06531,
              0.07704,
              0.09982,
              0.1445,
              0.23322,
              0.40992
            ],
            [
              0.059,
              0.07146,
              0.0833,
              0.10628,
              0.15115,
              0.24002,
              0.41697
            ],
            [
              0.067,
              0.08031,
              0.09231,
              0.11545,
              0.16053,
              0.24958,
              0.42674
            ],
            [
              0.0765,
              0.0917,
              0.10508,
              0.12883,
              0.17417,
              0.26348,
              0.44086
            ],
            [
              0.08817,
              0.10572,
              0.12097,
              0.14784,
              0.19447,
              0.28403,
              0.46169
            ],
            [
              0.1019,
              0.12282,
              0.14067,
              0.1715,
              0.2238,
              0.31473,
              0.49251
            ],
            [
              0.11721,
              0.14302,
              0.16454,
              0.20093,
              0.26094,
              0.36057,
              0.53905
            ],
            [
              0.1332,
              0.16569,
              0.19237,
              0.23661,
              0.30737,
              0.42091,
              0.60862
            ],
            [
              0.14829,
              0.18977,
              0.22337,
              0.27837,
              0.36417,
              0.49687,
              0.70797
            ],
            [
              0.1609,
              0.2138,
              0.2564,
              0.3254,
              0.4314,
              0.5907,
              0.8343
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.07478,
              0.09628,
              0.11729,
              0.15866,
              0.24051,
              0.4033,
              0.72802
            ],
            [
              0.07639,
              0.09809,
              0.11919,
              0.16067,
              0.24264,
              0.40544,
              0.73018
            ],
            [
              0.07866,
              0.10051,
              0.12174,
              0.16338,
              0.24536,
              0.40826,
              0.73311
            ],
            [
              0.08254,
              0.10451,
              0.12585,
              0.16761,
              0.24974,
              0.41284,
              0.73779
            ],
            [
              0.08901,
              0.11102,
              0.13241,
              0.17433,
              0.2567,
              0.41988,
              0.74481
            ],
            [
              0.09956,
              0.1214,
              0.14278,
              0.18476,
              0.2673,
              0.43064,
              0.75591
            ],
            [
              0.11661,
              0.13789,
              0.15908,
              0.20088,
              0.28337,
              0.44683,
              0.77247
            ],
            [
              0.13984,
              0.16381,
              0.18457,
              0.22614,
              0.30851,
              0.47201,
              0.79751
            ],
            [
              0.16678,
              0.19635,
              0.22171,
              0.26482,
              0.34668,
              0.50999,
              0.83535
            ],
            [
              0.19803,
              0.23453,
              0.2659,
              0.31903,
              0.40494,
              0.56746,
              0.89239
            ],
            [
              0.23427,
              0.27887,
              0.31749,
              0.38317,
              0.48832,
              0.65502,
              0.97892
            ],
            [
              0.27677,
              0.33057,
              0.37747,
              0.45817,
              0.58807,
              0.78607,
              1.11027
            ],
            [
              0.328,
              0.3916,
              0.4478,
              0.5454,
              0.7048,
              0.9495,
              1.3093
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.02535,
              0.04108,
              0.05677,
              0.08806,
              0.15075,
              0.27621,
              0.52622
            ],
            [
              0.02535,
              0.04105,
              0.05671,
              0.08815,
              0.1508,
              0.27612,
              0.52679
            ],
            [
              0.02532,
              0.04105,
              0.05669,
              0.08804,
              0.15074,
              0.27585,
              0.52665
            ],
            [
              0.02539,
              0.04102,
              0.05673,
              0.08794,
              0.15051,
              0.2757,
              0.52679
            ],
            [
              0.02582,
              0.04115,
              0.05678,
              0.08806,
              0.15054,
              0.276,
              0.52622
            ],
            [
              0.02872,
              0.04275,
              0.05751,
              0.08817,
              0.15067,
              0.27594,
              0.52591
            ],
            [
              0.03381,
              0.04775,
              0.06137,
              0.09034,
              0.15075,
              0.27586,
              0.52595
            ],
            [
              0.04057,
              0.05574,
              0.0699,
              0.09677,
              0.15419,
              0.27573,
              0.52616
            ],
            [
              0.05033,
              0.06689,
              0.08198,
              0.11019,
              0.16389,
              0.27986,
              0.52662
            ],
            [
              0.06451,
              0.08277,
              0.09929,
              0.12947,
              0.18464,
              0.29312,
              0.52866
            ],
            [
              0.08512,
              0.10572,
              0.12389,
              0.15653,
              0.21516,
              0.32175,
              0.54472
            ],
            [
              0.11518,
              0.13849,
              0.15868,
              0.1947,
              0.2576,
              0.3709,
              0.5811
            ],
            [
              0.1583,
              0.1848,
              0.2079,
              0.2482,
              0.3174,
              0.438,
              0.6558
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.07138,
              0.10105,
              0.13043,
              0.18885,
              0.30598,
              0.53912,
              1.0043
            ],
            [
              0.0714,
              0.10103,
              0.13019,
              0.18907,
              0.30595,
              0.53908,
              1.00525
            ],
            [
              0.07128,
              0.10097,
              0.13038,
              0.18908,
              0.30601,
              0.53964,
              1.00612
            ],
            [
              0.071,
              0.1009,
              0.13017,
              0.18903,
              0.30601,
              0.53967,
              1.00471
            ],
            [
              0.07083,
              0.10048,
              0.13015,
              0.189,
              0.30572,
              0.53912,
              1.0042
            ],
            [
              0.07068,
              0.10025,
              0.12999,
              0.1888,
              0.30576,
              0.5388,
              1.00433
            ],
            [
              0.07594,
              0.10223,
              0.13021,
              0.18865,
              0.30555,
              0.53955,
              1.00388
            ],
            [
              0.08908,
              0.11239,
              0.13732,
              0.19073,
              0.30544,
              0.53957,
              1.00402
            ],
            [
              0.10823,
              0.13425,
              0.15615,
              0.2038,
              0.30912,
              0.53932,
              1.00445
            ],
            [
              0.13086,
              0.16282,
              0.1897,
              0.23376,
              0.32753,
              0.5418,
              1.00586
            ],
            [
              0.15986,
              0.19849,
              0.23066,
              0.28433,
              0.37198,
              0.56458,
              1.0052
            ],
            [
              0.19581,
              0.243,
              0.2823,
              0.3472,
              0.4499,
              0.6239,
              1.0267
            ],
            [
              0.2399,
              0.2976,
              0.3457,
              0.426,
              0.5505,
              0.7383,
              1.0994
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.0433,
              0.05507,
              0.06639,
              0.0887,
              0.13305,
              0.22141,
              0.39809
            ],
            [
              0.04593,
              0.0579,
              0.06935,
              0.09182,
              0.13624,
              0.22469,
              0.40138
            ],
            [
              0.04895,
              0.06116,
              0.07271,
              0.09533,
              0.13988,
              0.2284,
              0.40514
            ],
            [
              0.05328,
              0.06565,
              0.07737,
              0.10017,
              0.14486,
              0.2335,
              0.41024
            ],
            [
              0.05945,
              0.07193,
              0.08381,
              0.10676,
              0.15163,
              0.24043,
              0.41749
            ],
            [
              0.0676,
              0.08089,
              0.09293,
              0.11606,
              0.16115,
              0.25025,
              0.42715
            ],
            [
              0.07722,
              0.09245,
              0.1059,
              0.1296,
              0.17494,
              0.26425,
              0.44161
            ],
            [
              0.08895,
              0.1066,
              0.12184,
              0.14875,
              0.1953,
              0.28491,
              0.46258
            ],
            [
              0.10272,
              0.12376,
              0.14165,
              0.17251,
              0.22473,
              0.31569,
              0.49346
            ],
            [
              0.11803,
              0.14393,
              0.16552,
              0.20198,
              0.262,
              0.36158,
              0.54007
            ],
            [
              0.13396,
              0.16651,
              0.19325,
              0.23759,
              0.30846,
              0.42198,
              0.60962
            ],
            [
              0.14871,
              0.19017,
              0.22397,
              0.27907,
              0.36507,
              0.49787,
              0.70907
            ],
            [
              0.16,
              0.2132,
              0.2561,
              0.3254,
              0.4319,
              0.5916,
              0.8353
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.09491,
              0.12427,
              0.15304,
              0.20981,
              0.3222,
              0.54603,
              0.99247
            ],
            [
              0.09596,
              0.12559,
              0.15451,
              0.21143,
              0.32395,
              0.54785,
              0.99424
            ],
            [
              0.09764,
              0.12748,
              0.15657,
              0.21368,
              0.32633,
              0.55028,
              0.99692
            ],
            [
              0.10078,
              0.13081,
              0.16003,
              0.2174,
              0.33028,
              0.55456,
              1.00108
            ],
            [
              0.10632,
              0.13636,
              0.16569,
              0.22325,
              0.33648,
              0.56086,
              1.00771
            ],
            [
              0.11578,
              0.14555,
              0.17487,
              0.23253,
              0.34601,
              0.5705,
              1.01752
            ],
            [
              0.13137,
              0.16049,
              0.18961,
              0.2471,
              0.36058,
              0.58568,
              1.03293
            ],
            [
              0.15629,
              0.18451,
              0.21296,
              0.27013,
              0.38347,
              0.60845,
              1.05596
            ],
            [
              0.18621,
              0.22036,
              0.25007,
              0.30583,
              0.41858,
              0.64323,
              1.09075
            ],
            [
              0.22113,
              0.26284,
              0.29897,
              0.36131,
              0.4726,
              0.69649,
              1.14359
            ],
            [
              0.26192,
              0.31244,
              0.35644,
              0.43218,
              0.55582,
              0.77772,
              1.22352
            ],
            [
              0.31017,
              0.37047,
              0.42357,
              0.51557,
              0.66577,
              0.90187,
              1.34527
            ],
            [
              0.3685,
              0.4396,
              0.5027,
              0.6131,
              0.7953,
              1.0796,
              1.5309
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.02536,
              0.04106,
              0.05674,
              0.08816,
              0.15064,
              0.27607,
              0.52677
            ],
            [
              0.02538,
              0.04106,
              0.05678,
              0.08813,
              0.15066,
              0.27573,
              0.52687
            ],
            [
              0.02534,
              0.04107,
              0.05678,
              0.08813,
              0.15063,
              0.27588,
              0.52688
            ],
            [
              0.02539,
              0.04102,
              0.05678,
              0.08796,
              0.15061,
              0.27559,
              0.52689
            ],
            [
              0.02579,
              0.04116,
              0.05669,
              0.08808,
              0.15065,
              0.27611,
              0.52596
            ],
            [
              0.0286,
              0.04265,
              0.05746,
              0.08817,
              0.15065,
              0.27586,
              0.52687
            ],
            [
              0.03361,
              0.04754,
              0.06122,
              0.09021,
              0.15074,
              0.27581,
              0.52603
            ],
            [
              0.04025,
              0.05545,
              0.06966,
              0.09644,
              0.15412,
              0.2757,
              0.52566
            ],
            [
              0.04998,
              0.06643,
              0.08159,
              0.1098,
              0.16346,
              0.27959,
              0.52668
            ],
            [
              0.06411,
              0.08224,
              0.09873,
              0.12887,
              0.1842,
              0.29282,
              0.52862
            ],
            [
              0.08457,
              0.10507,
              0.12318,
              0.15568,
              0.2145,
              0.32126,
              0.5445
            ],
            [
              0.11418,
              0.13759,
              0.1579,
              0.194,
              0.257,
              0.3702,
              0.5806
            ],
            [
              0.1569,
              0.1838,
              0.207,
              0.2474,
              0.3168,
              0.4374,
              0.6551
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.10283,
              0.14351,
              0.18361,
              0.26308,
              0.42181,
              0.73742,
              1.36792
            ],
            [
              0.1026,
              0.14338,
              0.18365,
              0.26314,
              0.4218,
              0.73748,
              1.36802
            ],
            [
              0.10218,
              0.14301,
              0.18355,
              0.26332,
              0.4217,
              0.73765,
              1.36784
            ],
            [
              0.1018,
              0.14299,
              0.18323,
              0.26309,
              0.42173,
              0.7376,
              1.36786
            ],
            [
              0.10133,
              0.14263,
              0.18307,
              0.26322,
              0.42111,
              0.73762,
              1.3678
            ],
            [
              0.09971,
              0.14183,
              0.18237,
              0.26308,
              0.42164,
              0.73765,
              1.36797
            ],
            [
              0.10194,
              0.141,
              0.18134,
              0.26261,
              0.42104,
              0.73774,
              1.36803
            ],
            [
              0.11156,
              0.14715,
              0.18379,
              0.26141,
              0.4213,
              0.73753,
              1.36797
            ],
            [
              0.13256,
              0.16425,
              0.19764,
              0.26797,
              0.42049,
              0.73638,
              1.36789
            ],
            [
              0.15336,
              0.19466,
              0.22716,
              0.29108,
              0.42996,
              0.73574,
              1.36793
            ],
            [
              0.18178,
              0.22933,
              0.26996,
              0.33762,
              0.46319,
              0.7455,
              1.3679
            ],
            [
              0.2185,
              0.2744,
              0.3218,
              0.4027,
              0.532,
              0.7885,
              1.371
            ],
            [
              0.2635,
              0.3305,
              0.3871,
              0.4829,
              0.6364,
              0.8841,
              1.416
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.04415,
              0.05594,
              0.06727,
              0.08964,
              0.13404,
              0.22257,
              0.39937
            ],
            [
              0.0467,
              0.05871,
              0.07018,
              0.09268,
              0.13714,
              0.22574,
              0.40255
            ],
            [
              0.04967,
              0.06188,
              0.07349,
              0.09612,
              0.14068,
              0.22934,
              0.4062
            ],
            [
              0.05391,
              0.06628,
              0.07802,
              0.10085,
              0.14556,
              0.23433,
              0.41139
            ],
            [
              0.05997,
              0.07243,
              0.08432,
              0.10734,
              0.15226,
              0.24116,
              0.41819
            ],
            [
              0.0681,
              0.08133,
              0.09336,
              0.11652,
              0.16168,
              0.25079,
              0.42799
            ],
            [
              0.07782,
              0.09289,
              0.10621,
              0.12999,
              0.17539,
              0.26475,
              0.44214
            ],
            [
              0.08972,
              0.1071,
              0.12226,
              0.14906,
              0.1957,
              0.28539,
              0.46304
            ],
            [
              0.10388,
              0.12456,
              0.14225,
              0.17293,
              0.22511,
              0.31618,
              0.49421
            ],
            [
              0.1198,
              0.1452,
              0.16651,
              0.20269,
              0.26255,
              0.36204,
              0.5408
            ],
            [
              0.13674,
              0.16857,
              0.19491,
              0.2388,
              0.3093,
              0.42269,
              0.61052
            ],
            [
              0.15319,
              0.19367,
              0.22677,
              0.28117,
              0.36657,
              0.49897,
              0.71007
            ],
            [
              0.1679,
              0.2193,
              0.2611,
              0.3292,
              0.4346,
              0.5935,
              0.8369
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.10221,
              0.12431,
              0.14604,
              0.1888,
              0.27316,
              0.44081,
              0.77472
            ],
            [
              0.10399,
              0.12621,
              0.14799,
              0.19082,
              0.27522,
              0.44303,
              0.77688
            ],
            [
              0.10646,
              0.12877,
              0.15057,
              0.1935,
              0.2781,
              0.44588,
              0.7798
            ],
            [
              0.11045,
              0.13287,
              0.15477,
              0.19781,
              0.28246,
              0.45033,
              0.78441
            ],
            [
              0.11699,
              0.13944,
              0.16141,
              0.20452,
              0.28937,
              0.45731,
              0.79147
            ],
            [
              0.12734,
              0.14978,
              0.17177,
              0.21497,
              0.29989,
              0.46791,
              0.80245
            ],
            [
              0.14361,
              0.16592,
              0.18782,
              0.231,
              0.316,
              0.48422,
              0.81894
            ],
            [
              0.16939,
              0.19117,
              0.21292,
              0.25604,
              0.34096,
              0.50928,
              0.84386
            ],
            [
              0.20381,
              0.2292,
              0.25174,
              0.29422,
              0.37883,
              0.54693,
              0.88145
            ],
            [
              0.24416,
              0.27541,
              0.30323,
              0.35201,
              0.43664,
              0.60415,
              0.93819
            ],
            [
              0.2911,
              0.32953,
              0.36383,
              0.424,
              0.52322,
              0.69112,
              1.02432
            ],
            [
              0.34577,
              0.39257,
              0.43447,
              0.50857,
              0.63107,
              0.82317,
              1.15487
            ],
            [
              0.4102,
              0.4661,
              0.5169,
              0.607,
              0.7577,
              0.9949,
              1.353
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.0459,
              0.06163,
              0.07726,
              0.10841,
              0.17049,
              0.29512,
              0.54475
            ],
            [
              0.0459,
              0.06164,
              0.0773,
              0.10843,
              0.17053,
              0.29532,
              0.54439
            ],
            [
              0.0459,
              0.06162,
              0.07724,
              0.10848,
              0.17049,
              0.29508,
              0.54445
            ],
            [
              0.04591,
              0.06163,
              0.07728,
              0.10843,
              0.17061,
              0.29541,
              0.5448
            ],
            [
              0.04636,
              0.06174,
              0.07728,
              0.10837,
              0.17063,
              0.29517,
              0.54466
            ],
            [
              0.04906,
              0.0633,
              0.07813,
              0.1085,
              0.17074,
              0.29511,
              0.54481
            ],
            [
              0.0551,
              0.06804,
              0.08187,
              0.11067,
              0.17083,
              0.29518,
              0.54529
            ],
            [
              0.06456,
              0.07785,
              0.09039,
              0.11707,
              0.17421,
              0.2953,
              0.54445
            ],
            [
              0.07744,
              0.09139,
              0.10488,
              0.13092,
              0.18378,
              0.29936,
              0.54472
            ],
            [
              0.0958,
              0.1106,
              0.1248,
              0.15228,
              0.20445,
              0.31238,
              0.54842
            ],
            [
              0.12238,
              0.138,
              0.15314,
              0.18225,
              0.23708,
              0.34094,
              0.56303
            ],
            [
              0.16088,
              0.17723,
              0.1933,
              0.2244,
              0.2827,
              0.3911,
              0.6009
            ],
            [
              0.2159,
              0.2329,
              0.25,
              0.2836,
              0.3465,
              0.4616,
              0.6743
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.09443,
              0.12534,
              0.15592,
              0.21636,
              0.33702,
              0.57698,
              1.05661
            ],
            [
              0.0945,
              0.12537,
              0.15592,
              0.21656,
              0.3371,
              0.5767,
              1.05458
            ],
            [
              0.09447,
              0.12535,
              0.15592,
              0.21642,
              0.33706,
              0.57698,
              1.05474
            ],
            [
              0.09436,
              0.12525,
              0.15588,
              0.21653,
              0.33703,
              0.57701,
              1.05495
            ],
            [
              0.09426,
              0.12522,
              0.15579,
              0.21625,
              0.33696,
              0.57681,
              1.05668
            ],
            [
              0.09385,
              0.125,
              0.15552,
              0.21625,
              0.3371,
              0.57697,
              1.05645
            ],
            [
              0.09464,
              0.12458,
              0.15519,
              0.21626,
              0.33657,
              0.57691,
              1.05539
            ],
            [
              0.1031,
              0.13025,
              0.15819,
              0.21621,
              0.33661,
              0.57717,
              1.05576
            ],
            [
              0.12318,
              0.14707,
              0.17222,
              0.22492,
              0.33788,
              0.57731,
              1.05666
            ],
            [
              0.14881,
              0.17864,
              0.20316,
              0.2502,
              0.35173,
              0.57734,
              1.05633
            ],
            [
              0.1815,
              0.21703,
              0.24756,
              0.29978,
              0.39109,
              0.59572,
              1.0564
            ],
            [
              0.2226,
              0.266,
              0.303,
              0.3656,
              0.4668,
              0.6501,
              1.0716
            ],
            [
              0.2733,
              0.3264,
              0.3718,
              0.4485,
              0.5706,
              0.7597,
              1.1393
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.04419,
              0.05595,
              0.06732,
              0.08969,
              0.13409,
              0.2226,
              0.39939
            ],
            [
              0.04683,
              0.05884,
              0.07032,
              0.0928,
              0.13727,
              0.22585,
              0.40271
            ],
            [
              0.04986,
              0.06209,
              0.07369,
              0.09633,
              0.14091,
              0.22958,
              0.40645
            ],
            [
              0.05423,
              0.06662,
              0.07834,
              0.10117,
              0.14589,
              0.23467,
              0.41163
            ],
            [
              0.06039,
              0.07292,
              0.08481,
              0.10782,
              0.15276,
              0.24164,
              0.41869
            ],
            [
              0.0687,
              0.08195,
              0.09395,
              0.11717,
              0.1623,
              0.25143,
              0.42864
            ],
            [
              0.07852,
              0.09367,
              0.107,
              0.13076,
              0.17616,
              0.26556,
              0.4429
            ],
            [
              0.09055,
              0.10802,
              0.12322,
              0.14997,
              0.19658,
              0.28628,
              0.46392
            ],
            [
              0.10474,
              0.1255,
              0.14324,
              0.17398,
              0.22612,
              0.31716,
              0.49517
            ],
            [
              0.12067,
              0.14617,
              0.16755,
              0.2038,
              0.26366,
              0.36311,
              0.54183
            ],
            [
              0.13752,
              0.16942,
              0.19584,
              0.23986,
              0.31045,
              0.42379,
              0.61162
            ],
            [
              0.1536,
              0.19417,
              0.22737,
              0.28197,
              0.36757,
              0.50017,
              0.71107
            ],
            [
              0.1669,
              0.2186,
              0.2607,
              0.3293,
              0.4351,
              0.5944,
              0.8379
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.1345,
              0.16514,
              0.19526,
              0.25472,
              0.37218,
              0.60587,
              1.07157
            ],
            [
              0.13574,
              0.16657,
              0.19675,
              0.25632,
              0.37397,
              0.60774,
              1.07344
            ],
            [
              0.13768,
              0.16861,
              0.19891,
              0.25862,
              0.37633,
              0.61028,
              1.07602
            ],
            [
              0.14103,
              0.17206,
              0.20247,
              0.26234,
              0.38027,
              0.61432,
              1.08028
            ],
            [
              0.14661,
              0.17772,
              0.20824,
              0.26827,
              0.38644,
              0.62063,
              1.08671
            ],
            [
              0.15577,
              0.18685,
              0.21739,
              0.27751,
              0.39592,
              0.63027,
              1.09652
            ],
            [
              0.17044,
              0.20136,
              0.23184,
              0.29198,
              0.41045,
              0.64522,
              1.11173
            ],
            [
              0.19394,
              0.22434,
              0.25469,
              0.31468,
              0.43309,
              0.66784,
              1.13466
            ],
            [
              0.23076,
              0.26072,
              0.29028,
              0.34974,
              0.46775,
              0.7022,
              1.16915
            ],
            [
              0.27586,
              0.31225,
              0.34504,
              0.40401,
              0.52106,
              0.75489,
              1.22129
            ],
            [
              0.32874,
              0.37289,
              0.41266,
              0.48302,
              0.60292,
              0.83532,
              1.30042
            ],
            [
              0.39057,
              0.44377,
              0.49197,
              0.57737,
              0.72097,
              0.95817,
              1.42097
            ],
            [
              0.4639,
              0.5272,
              0.5849,
              0.688,
              0.8622,
              1.1412,
              1.6052
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.04569,
              0.06139,
              0.07709,
              0.1082,
              0.1704,
              0.29518,
              0.54482
            ],
            [
              0.04568,
              0.06141,
              0.07704,
              0.1082,
              0.17041,
              0.29526,
              0.54493
            ],
            [
              0.04568,
              0.06139,
              0.07709,
              0.10816,
              0.17032,
              0.29534,
              0.54465
            ],
            [
              0.04569,
              0.06139,
              0.07704,
              0.10824,
              0.17041,
              0.29487,
              0.54468
            ],
            [
              0.04608,
              0.06148,
              0.07703,
              0.10817,
              0.1703,
              0.29525,
              0.54532
            ],
            [
              0.04869,
              0.06298,
              0.07777,
              0.10825,
              0.17033,
              0.29526,
              0.54443
            ],
            [
              0.05459,
              0.06758,
              0.08143,
              0.11031,
              0.17055,
              0.29492,
              0.54478
            ],
            [
              0.06399,
              0.07719,
              0.08981,
              0.11651,
              0.17382,
              0.29534,
              0.54441
            ],
            [
              0.07673,
              0.0906,
              0.10407,
              0.13018,
              0.18328,
              0.29892,
              0.54474
            ],
            [
              0.09494,
              0.10971,
              0.12385,
              0.15129,
              0.20362,
              0.31182,
              0.54772
            ],
            [
              0.12127,
              0.13688,
              0.15206,
              0.1812,
              0.23606,
              0.34015,
              0.56257
            ],
            [
              0.15931,
              0.17586,
              0.19212,
              0.2232,
              0.2816,
              0.39,
              0.5999
            ],
            [
              0.2138,
              0.2312,
              0.2486,
              0.2824,
              0.3453,
              0.4605,
              0.6726
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.13794,
              0.18057,
              0.22245,
              0.30611,
              0.47168,
              0.80123,
              1.45762
            ],
            [
              0.13783,
              0.18057,
              0.22272,
              0.30578,
              0.47174,
              0.80149,
              1.4578
            ],
            [
              0.13772,
              0.18043,
              0.22255,
              0.30615,
              0.47161,
              0.80142,
              1.4581
            ],
            [
              0.13754,
              0.18033,
              0.22234,
              0.30615,
              0.47171,
              0.80148,
              1.45639
            ],
            [
              0.13696,
              0.17999,
              0.2225,
              0.30616,
              0.47177,
              0.80141,
              1.4583
            ],
            [
              0.13655,
              0.17958,
              0.22193,
              0.30566,
              0.47176,
              0.80121,
              1.45839
            ],
            [
              0.13468,
              0.17836,
              0.22149,
              0.30557,
              0.47149,
              0.80135,
              1.45844
            ],
            [
              0.13899,
              0.17924,
              0.22019,
              0.30473,
              0.4715,
              0.80139,
              1.45873
            ],
            [
              0.15342,
              0.19043,
              0.22821,
              0.30628,
              0.47065,
              0.8001,
              1.45872
            ],
            [
              0.18145,
              0.21769,
              0.25206,
              0.3232,
              0.47497,
              0.80032,
              1.45673
            ],
            [
              0.21274,
              0.25779,
              0.29745,
              0.36382,
              0.50124,
              0.8047,
              1.458
            ],
            [
              0.2543,
              0.3068,
              0.3525,
              0.432,
              0.5642,
              0.8395,
              1.4588
            ],
            [
              0.3061,
              0.3687,
              0.423,
              0.5165,
              0.6699,
              0.929,
              1.4938
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.04421,
              0.05599,
              0.06734,
              0.0897,
              0.13411,
              0.22262,
              0.3994
            ],
            [
              0.04683,
              0.05882,
              0.0703,
              0.09281,
              0.13728,
              0.22587,
              0.40282
            ],
            [
              0.04987,
              0.06209,
              0.07369,
              0.09633,
              0.14091,
              0.2296,
              0.40642
            ],
            [
              0.05421,
              0.0666,
              0.07835,
              0.10114,
              0.14588,
              0.23469,
              0.41168
            ],
            [
              0.06037,
              0.07289,
              0.08478,
              0.10777,
              0.1527,
              0.24161,
              0.41868
            ],
            [
              0.06865,
              0.08189,
              0.09393,
              0.11711,
              0.16226,
              0.2514,
              0.42865
            ],
            [
              0.07844,
              0.09358,
              0.10693,
              0.13068,
              0.17611,
              0.26547,
              0.44282
            ],
            [
              0.09042,
              0.10788,
              0.12307,
              0.14987,
              0.19647,
              0.2862,
              0.46385
            ],
            [
              0.10463,
              0.12537,
              0.14311,
              0.17385,
              0.226,
              0.31706,
              0.49506
            ],
            [
              0.12054,
              0.14601,
              0.1674,
              0.20365,
              0.26353,
              0.36299,
              0.54173
            ],
            [
              0.13738,
              0.16929,
              0.19569,
              0.2397,
              0.3103,
              0.42369,
              0.61152
            ],
            [
              0.15352,
              0.19407,
              0.22727,
              0.28187,
              0.36737,
              0.49997,
              0.71097
            ],
            [
              0.1669,
              0.2186,
              0.2607,
              0.3292,
              0.435,
              0.5943,
              0.8378
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.15588,
              0.18585,
              0.21515,
              0.27272,
              0.3859,
              0.60993,
              1.05497
            ],
            [
              0.15731,
              0.18736,
              0.21673,
              0.27436,
              0.38763,
              0.61175,
              1.05684
            ],
            [
              0.15937,
              0.18955,
              0.21899,
              0.27676,
              0.39016,
              0.61427,
              1.05952
            ],
            [
              0.16295,
              0.19323,
              0.22273,
              0.28065,
              0.39417,
              0.61852,
              1.06378
            ],
            [
              0.16885,
              0.19914,
              0.22874,
              0.28672,
              0.40039,
              0.62494,
              1.07031
            ],
            [
              0.17829,
              0.20859,
              0.23819,
              0.29628,
              0.41008,
              0.63478,
              1.08052
            ],
            [
              0.19317,
              0.22338,
              0.25294,
              0.311,
              0.42492,
              0.65002,
              1.09583
            ],
            [
              0.21647,
              0.24664,
              0.27615,
              0.33414,
              0.44802,
              0.67301,
              1.11896
            ],
            [
              0.25352,
              0.2826,
              0.31185,
              0.36959,
              0.48321,
              0.70787,
              1.15405
            ],
            [
              0.30479,
              0.33776,
              0.36776,
              0.42413,
              0.53715,
              0.76129,
              1.20699
            ],
            [
              0.36506,
              0.40504,
              0.44128,
              0.50632,
              0.61972,
              0.84272,
              1.28732
            ],
            [
              0.43557,
              0.48397,
              0.52787,
              0.60697,
              0.74127,
              0.96707,
              1.40977
            ],
            [
              0.5185,
              0.5763,
              0.6292,
              0.7249,
              0.8882,
              1.1526,
              1.596
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.0561,
              0.074,
              0.0913,
              0.12458,
              0.18846,
              0.31356,
              0.5626
            ],
            [
              0.05613,
              0.07399,
              0.09129,
              0.12458,
              0.18844,
              0.31353,
              0.56227
            ],
            [
              0.05609,
              0.07399,
              0.09129,
              0.12458,
              0.18841,
              0.3135,
              0.56222
            ],
            [
              0.05612,
              0.07399,
              0.09129,
              0.12459,
              0.18843,
              0.3136,
              0.56263
            ],
            [
              0.0565,
              0.07407,
              0.09132,
              0.12458,
              0.18844,
              0.31348,
              0.56245
            ],
            [
              0.05914,
              0.07557,
              0.09205,
              0.12465,
              0.18844,
              0.31353,
              0.56238
            ],
            [
              0.06536,
              0.0802,
              0.09569,
              0.1267,
              0.18861,
              0.31349,
              0.56241
            ],
            [
              0.07881,
              0.09099,
              0.10414,
              0.13294,
              0.19193,
              0.31359,
              0.5626
            ],
            [
              0.09519,
              0.10799,
              0.12105,
              0.14669,
              0.20134,
              0.31768,
              0.56265
            ],
            [
              0.11734,
              0.13057,
              0.14393,
              0.17044,
              0.22168,
              0.33027,
              0.56567
            ],
            [
              0.14825,
              0.16173,
              0.17556,
              0.203,
              0.25612,
              0.35847,
              0.58063
            ],
            [
              0.19227,
              0.20565,
              0.21982,
              0.2483,
              0.304,
              0.4098,
              0.6174
            ],
            [
              0.2548,
              0.2677,
              0.2819,
              0.3118,
              0.3706,
              0.482,
              0.691
            ]
          ]
        },
        "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.00283,
            0.00566,
            0.01132,
            0.02263,
            0.04527,
            0.09054
          ],
          "values": [
            [
              0.15362,
              0.1944,
              0.23488,
              0.31486,
              0.47287,
              0.7893,
              1.41675
            ],
            [
              0.15354,
              0.19455,
              0.2349,
              0.31485,
              0.47307,
              0.78919,
              1.41754
            ],
            [
              0.1536,
              0.19454,
              0.23482,
              0.31489,
              0.47304,
              0.78947,
              1.41747
            ],
            [
              0.15365,
              0.19431,
              0.23476,
              0.31491,
              0.47285,
              0.78931,
              1.41687
            ],
            [
              0.15356,
              0.19439,
              0.23489,
              0.31444,
              0.47345,
              0.78932,
              1.41832
            ],
            [
              0.15336,
              0.19414,
              0.2347,
              0.31486,
              0.47342,
              0.78908,
              1.41746
            ],
            [
              0.15212,
              0.19375,
              0.23435,
              0.31448,
              0.47341,
              0.78897,
              1.41656
            ],
            [
              0.15249,
              0.1926,
              0.23286,
              0.31432,
              0.47343,
              0.7883,
              1.41873
            ],
            [
              0.16372,
              0.20015,
              0.23774,
              0.31437,
              0.47303,
              0.78939,
              1.41728
            ],
            [
              0.19059,
              0.22413,
              0.25803,
              0.32814,
              0.47586,
              0.78929,
              1.41811
            ],
            [
              0.22489,
              0.26603,
              0.30193,
              0.36575,
              0.5002,
              0.7919,
              1.419
            ],
            [
              0.2687,
              0.3174,
              0.36,
              0.4345,
              0.5606,
              0.8262,
              1.4202
            ],
            [
              0.3247,
              0.3825,
              0.4334,
              0.5213,
              0.6669,
              0.9146,
              1.4562
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}