{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_lp__a32oi",
  "cell_leakage_power": 0.0,
  "dont_touch": "true",
  "dont_use": "true",
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "related_bias_pin": "VPB",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "nwell",
    "physical_connection": "device_layer",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "pwell",
    "physical_connection": "device_layer",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "related_bias_pin": "VNB",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00238,
    "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.00435,
          0.00369,
          0.00378,
          0.00394,
          0.00381,
          0.00383,
          0.00379,
          0.00378,
          0.00378,
          0.00411,
          0.00409,
          0.00449,
          0.00449
        ]
      },
      "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.00188,
          0.00209,
          0.00203,
          0.0021,
          0.00226,
          0.00218,
          0.00223,
          0.00222,
          0.00226,
          0.00246,
          0.00247,
          0.00267,
          0.00268
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00182,
    "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.00401,
          0.00395,
          0.00388,
          0.00384,
          0.00379,
          0.00379,
          0.00375,
          0.00375,
          0.00375,
          0.00406,
          0.00404,
          0.00436,
          0.00436
        ]
      },
      "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.00223,
          0.00211,
          0.0021,
          0.00217,
          0.00223,
          0.00223,
          0.00225,
          0.00226,
          0.00229,
          0.00249,
          0.00251,
          0.00276,
          0.00275
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.0017,
    "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.00464,
          0.00398,
          0.00396,
          0.00389,
          0.00382,
          0.00381,
          0.00378,
          0.00378,
          0.00378,
          0.0041,
          0.00408,
          0.00441,
          0.00448
        ]
      },
      "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.00267,
          0.00216,
          0.00232,
          0.00221,
          0.00232,
          0.00229,
          0.00233,
          0.00234,
          0.00236,
          0.00257,
          0.00258,
          0.00282,
          0.00281
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00231,
    "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.00245,
          0.00204,
          0.00238,
          0.0023,
          0.00229,
          0.0023,
          0.00232,
          0.00234,
          0.00236,
          0.00258,
          0.0026,
          0.00281,
          0.00291
        ]
      },
      "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.00398,
          0.00392,
          0.00381,
          0.00388,
          0.00382,
          0.0038,
          0.00377,
          0.00378,
          0.00378,
          0.00409,
          0.00408,
          0.0044,
          0.0044
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.00191,
    "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.00219,
          0.002,
          0.0021,
          0.00196,
          0.00207,
          0.00208,
          0.00209,
          0.0021,
          0.00213,
          0.00231,
          0.00233,
          0.00253,
          0.00253
        ]
      },
      "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.00468,
          0.00382,
          0.00402,
          0.00392,
          0.00379,
          0.00385,
          0.00382,
          0.00381,
          0.00381,
          0.00412,
          0.00412,
          0.00444,
          0.00464
        ]
      }
    },
    "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.00289,
              -0.01033,
              -0.01299,
              -0.01617,
              -0.01999,
              -0.02456,
              -0.03006
            ],
            [
              0.00292,
              -0.01031,
              -0.01297,
              -0.01616,
              -0.01998,
              -0.02455,
              -0.03005
            ],
            [
              0.00292,
              -0.0103,
              -0.01295,
              -0.01614,
              -0.01995,
              -0.02453,
              -0.03003
            ],
            [
              0.00294,
              -0.01027,
              -0.01293,
              -0.01611,
              -0.01993,
              -0.02451,
              -0.03001
            ],
            [
              0.00298,
              -0.01027,
              -0.01292,
              -0.01611,
              -0.01992,
              -0.02449,
              -0.02999
            ],
            [
              0.00301,
              -0.01023,
              -0.01289,
              -0.01608,
              -0.01989,
              -0.02447,
              -0.02997
            ],
            [
              0.00306,
              -0.01021,
              -0.01287,
              -0.01605,
              -0.01986,
              -0.02444,
              -0.02994
            ],
            [
              0.00311,
              -0.01019,
              -0.01284,
              -0.01603,
              -0.01985,
              -0.02442,
              -0.02992
            ],
            [
              0.00317,
              -0.01016,
              -0.01282,
              -0.01601,
              -0.01982,
              -0.0244,
              -0.0299
            ],
            [
              0.00325,
              -0.01011,
              -0.01278,
              -0.01597,
              -0.01979,
              -0.02438,
              -0.02988
            ],
            [
              0.00331,
              -0.01007,
              -0.01273,
              -0.01593,
              -0.01975,
              -0.02434,
              -0.02985
            ],
            [
              0.00338,
              -0.01001,
              -0.01268,
              -0.01588,
              -0.0197,
              -0.02429,
              -0.0298
            ],
            [
              0.00342,
              -0.00995,
              -0.01262,
              -0.01582,
              -0.01965,
              -0.02423,
              -0.02976
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.01352,
              0.02673,
              0.02937,
              0.03253,
              0.03631,
              0.04083,
              0.04626
            ],
            [
              0.0135,
              0.02674,
              0.02937,
              0.03254,
              0.0363,
              0.04082,
              0.04629
            ],
            [
              0.01346,
              0.02674,
              0.02938,
              0.03253,
              0.03631,
              0.04086,
              0.04627
            ],
            [
              0.01341,
              0.02673,
              0.02937,
              0.03253,
              0.03631,
              0.04082,
              0.04628
            ],
            [
              0.01336,
              0.02673,
              0.02936,
              0.03252,
              0.03631,
              0.04084,
              0.04627
            ],
            [
              0.01331,
              0.02669,
              0.02933,
              0.0325,
              0.03629,
              0.04081,
              0.04625
            ],
            [
              0.01326,
              0.02664,
              0.02929,
              0.03246,
              0.03625,
              0.04078,
              0.04624
            ],
            [
              0.01322,
              0.02662,
              0.02925,
              0.03242,
              0.03621,
              0.04075,
              0.04621
            ],
            [
              0.01319,
              0.02656,
              0.02922,
              0.03238,
              0.03616,
              0.04071,
              0.0462
            ],
            [
              0.01316,
              0.02648,
              0.02915,
              0.03232,
              0.03612,
              0.04065,
              0.04615
            ],
            [
              0.01314,
              0.02645,
              0.0291,
              0.03229,
              0.03609,
              0.04059,
              0.04606
            ],
            [
              0.01314,
              0.02636,
              0.02902,
              0.03218,
              0.036,
              0.04056,
              0.04599
            ],
            [
              0.01315,
              0.02632,
              0.02897,
              0.03214,
              0.03594,
              0.04046,
              0.04597
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.00291,
              -0.01031,
              -0.01297,
              -0.01615,
              -0.01997,
              -0.02454,
              -0.03004
            ],
            [
              0.00295,
              -0.01027,
              -0.01292,
              -0.01611,
              -0.01992,
              -0.02449,
              -0.03
            ],
            [
              0.00297,
              -0.01026,
              -0.01291,
              -0.0161,
              -0.01991,
              -0.02449,
              -0.02999
            ],
            [
              0.00298,
              -0.01024,
              -0.01289,
              -0.01607,
              -0.01989,
              -0.02446,
              -0.02996
            ],
            [
              0.00301,
              -0.01021,
              -0.01287,
              -0.01606,
              -0.01987,
              -0.02445,
              -0.02995
            ],
            [
              0.00304,
              -0.0102,
              -0.01284,
              -0.01603,
              -0.01984,
              -0.02442,
              -0.02992
            ],
            [
              0.00308,
              -0.01017,
              -0.01282,
              -0.01601,
              -0.01982,
              -0.0244,
              -0.0299
            ],
            [
              0.00312,
              -0.01015,
              -0.0128,
              -0.01599,
              -0.0198,
              -0.02438,
              -0.02988
            ],
            [
              0.00317,
              -0.01012,
              -0.01278,
              -0.01597,
              -0.01978,
              -0.02436,
              -0.02986
            ],
            [
              0.00323,
              -0.01009,
              -0.01275,
              -0.01595,
              -0.01976,
              -0.02434,
              -0.02984
            ],
            [
              0.00328,
              -0.01006,
              -0.01272,
              -0.01591,
              -0.01974,
              -0.02432,
              -0.02983
            ],
            [
              0.00334,
              -0.01002,
              -0.01268,
              -0.01588,
              -0.0197,
              -0.02428,
              -0.0298
            ],
            [
              0.00337,
              -0.00998,
              -0.01265,
              -0.01585,
              -0.01967,
              -0.02426,
              -0.02977
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.015,
              0.02814,
              0.03076,
              0.03392,
              0.0377,
              0.0422,
              0.04764
            ],
            [
              0.01498,
              0.02813,
              0.03075,
              0.03391,
              0.03768,
              0.04221,
              0.04765
            ],
            [
              0.01495,
              0.02813,
              0.03076,
              0.03391,
              0.03767,
              0.04219,
              0.04766
            ],
            [
              0.01492,
              0.0281,
              0.03073,
              0.03389,
              0.03767,
              0.04219,
              0.04764
            ],
            [
              0.01487,
              0.02808,
              0.03073,
              0.03388,
              0.03765,
              0.0422,
              0.04762
            ],
            [
              0.01483,
              0.02807,
              0.0307,
              0.03387,
              0.03764,
              0.04217,
              0.0476
            ],
            [
              0.01478,
              0.02805,
              0.03068,
              0.03385,
              0.03763,
              0.04215,
              0.04759
            ],
            [
              0.01474,
              0.02799,
              0.03064,
              0.03381,
              0.03758,
              0.04212,
              0.04757
            ],
            [
              0.01471,
              0.02797,
              0.03062,
              0.03378,
              0.03756,
              0.04211,
              0.04756
            ],
            [
              0.01468,
              0.02793,
              0.03057,
              0.03374,
              0.03754,
              0.04207,
              0.04752
            ],
            [
              0.01466,
              0.02788,
              0.03053,
              0.03369,
              0.03749,
              0.04203,
              0.04749
            ],
            [
              0.01465,
              0.02785,
              0.0305,
              0.03366,
              0.03746,
              0.04198,
              0.04745
            ],
            [
              0.01467,
              0.02783,
              0.03046,
              0.03363,
              0.03741,
              0.04196,
              0.04741
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.00297,
              -0.01025,
              -0.01291,
              -0.01609,
              -0.0199,
              -0.02448,
              -0.02998
            ],
            [
              0.00301,
              -0.01023,
              -0.01288,
              -0.01606,
              -0.01987,
              -0.02445,
              -0.02994
            ],
            [
              0.00303,
              -0.0102,
              -0.01285,
              -0.01603,
              -0.01984,
              -0.02442,
              -0.02992
            ],
            [
              0.00304,
              -0.01018,
              -0.01284,
              -0.01602,
              -0.01983,
              -0.02441,
              -0.02991
            ],
            [
              0.00307,
              -0.01015,
              -0.0128,
              -0.01599,
              -0.0198,
              -0.02437,
              -0.02988
            ],
            [
              0.00311,
              -0.01014,
              -0.01279,
              -0.01598,
              -0.01979,
              -0.02437,
              -0.02987
            ],
            [
              0.00314,
              -0.01011,
              -0.01276,
              -0.01595,
              -0.01976,
              -0.02434,
              -0.02984
            ],
            [
              0.00319,
              -0.01008,
              -0.01274,
              -0.01593,
              -0.01975,
              -0.02432,
              -0.02982
            ],
            [
              0.00324,
              -0.01006,
              -0.01272,
              -0.01591,
              -0.01972,
              -0.0243,
              -0.0298
            ],
            [
              0.0033,
              -0.01003,
              -0.01269,
              -0.01588,
              -0.0197,
              -0.02428,
              -0.02978
            ],
            [
              0.00335,
              -0.01,
              -0.01266,
              -0.01585,
              -0.01967,
              -0.02426,
              -0.02976
            ],
            [
              0.0034,
              -0.00995,
              -0.01262,
              -0.01581,
              -0.01963,
              -0.02422,
              -0.02973
            ],
            [
              0.00344,
              -0.0099,
              -0.01257,
              -0.01577,
              -0.0196,
              -0.02418,
              -0.0297
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.0163,
              0.02945,
              0.03208,
              0.03523,
              0.03901,
              0.04352,
              0.04898
            ],
            [
              0.01628,
              0.02942,
              0.03205,
              0.0352,
              0.03898,
              0.04349,
              0.04892
            ],
            [
              0.01625,
              0.0294,
              0.03202,
              0.03518,
              0.03896,
              0.04349,
              0.04892
            ],
            [
              0.01623,
              0.02938,
              0.03201,
              0.03516,
              0.03893,
              0.04346,
              0.04889
            ],
            [
              0.0162,
              0.02936,
              0.03199,
              0.03516,
              0.03893,
              0.04344,
              0.0489
            ],
            [
              0.01617,
              0.02935,
              0.03198,
              0.03513,
              0.03891,
              0.04344,
              0.04888
            ],
            [
              0.01615,
              0.02933,
              0.03196,
              0.03512,
              0.03889,
              0.04342,
              0.04886
            ],
            [
              0.01612,
              0.02931,
              0.03194,
              0.0351,
              0.03888,
              0.04341,
              0.04884
            ],
            [
              0.01609,
              0.02929,
              0.03193,
              0.03509,
              0.03887,
              0.0434,
              0.04885
            ],
            [
              0.01608,
              0.02928,
              0.03191,
              0.03507,
              0.03884,
              0.04337,
              0.04882
            ],
            [
              0.01606,
              0.02926,
              0.03189,
              0.03506,
              0.03885,
              0.04337,
              0.04882
            ],
            [
              0.01606,
              0.02925,
              0.03188,
              0.03504,
              0.03882,
              0.04337,
              0.0488
            ],
            [
              0.01609,
              0.02923,
              0.03187,
              0.03503,
              0.03881,
              0.04333,
              0.04879
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.00114,
              -0.01221,
              -0.01487,
              -0.01806,
              -0.02187,
              -0.02645,
              -0.03195
            ],
            [
              0.00117,
              -0.01221,
              -0.01486,
              -0.01806,
              -0.02187,
              -0.02645,
              -0.03195
            ],
            [
              0.00121,
              -0.01222,
              -0.01488,
              -0.01806,
              -0.02188,
              -0.02645,
              -0.03195
            ],
            [
              0.00126,
              -0.0122,
              -0.01486,
              -0.01805,
              -0.02186,
              -0.02644,
              -0.03195
            ],
            [
              0.00132,
              -0.01218,
              -0.01485,
              -0.01804,
              -0.02186,
              -0.02644,
              -0.03194
            ],
            [
              0.00138,
              -0.01217,
              -0.01483,
              -0.01803,
              -0.02185,
              -0.02643,
              -0.03193
            ],
            [
              0.00146,
              -0.01214,
              -0.01481,
              -0.018,
              -0.02183,
              -0.02641,
              -0.03193
            ],
            [
              0.00153,
              -0.0121,
              -0.01477,
              -0.01798,
              -0.02181,
              -0.0264,
              -0.03191
            ],
            [
              0.00159,
              -0.01205,
              -0.01473,
              -0.01794,
              -0.02178,
              -0.02637,
              -0.03189
            ],
            [
              0.00165,
              -0.01199,
              -0.01467,
              -0.01788,
              -0.02172,
              -0.02633,
              -0.03185
            ],
            [
              0.0017,
              -0.01192,
              -0.0146,
              -0.01782,
              -0.02166,
              -0.02626,
              -0.0318
            ],
            [
              0.00173,
              -0.01183,
              -0.01452,
              -0.01774,
              -0.02158,
              -0.02619,
              -0.03173
            ],
            [
              0.00176,
              -0.01174,
              -0.01443,
              -0.01765,
              -0.02149,
              -0.02611,
              -0.03166
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.0076,
              0.0209,
              0.02354,
              0.02671,
              0.0305,
              0.03505,
              0.04051
            ],
            [
              0.00754,
              0.02091,
              0.02354,
              0.02671,
              0.0305,
              0.03503,
              0.04049
            ],
            [
              0.00749,
              0.0209,
              0.02354,
              0.0267,
              0.03049,
              0.03503,
              0.0405
            ],
            [
              0.00743,
              0.02088,
              0.02354,
              0.02671,
              0.03049,
              0.03504,
              0.0405
            ],
            [
              0.00737,
              0.02084,
              0.0235,
              0.02668,
              0.03047,
              0.03501,
              0.04049
            ],
            [
              0.00731,
              0.02081,
              0.02347,
              0.02664,
              0.03044,
              0.03498,
              0.04047
            ],
            [
              0.00725,
              0.02074,
              0.0234,
              0.02659,
              0.0304,
              0.03495,
              0.04043
            ],
            [
              0.0072,
              0.02066,
              0.02333,
              0.02651,
              0.03032,
              0.03488,
              0.04038
            ],
            [
              0.00716,
              0.02057,
              0.02324,
              0.02642,
              0.03024,
              0.03481,
              0.04029
            ],
            [
              0.00713,
              0.02049,
              0.02315,
              0.02633,
              0.03015,
              0.03471,
              0.0402
            ],
            [
              0.00711,
              0.02042,
              0.02306,
              0.02624,
              0.03006,
              0.03461,
              0.04011
            ],
            [
              0.0071,
              0.02034,
              0.02298,
              0.02617,
              0.02996,
              0.03452,
              0.04
            ],
            [
              0.00707,
              0.02028,
              0.02292,
              0.0261,
              0.02989,
              0.03444,
              0.03992
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.0011,
              -0.01228,
              -0.01493,
              -0.01812,
              -0.02192,
              -0.02648,
              -0.03198
            ],
            [
              0.00112,
              -0.01225,
              -0.01491,
              -0.0181,
              -0.02191,
              -0.02649,
              -0.03199
            ],
            [
              0.00115,
              -0.01225,
              -0.01491,
              -0.0181,
              -0.02192,
              -0.02649,
              -0.03199
            ],
            [
              0.0012,
              -0.01225,
              -0.01491,
              -0.0181,
              -0.02192,
              -0.02649,
              -0.032
            ],
            [
              0.00125,
              -0.01224,
              -0.01489,
              -0.01809,
              -0.02191,
              -0.02649,
              -0.032
            ],
            [
              0.00132,
              -0.01222,
              -0.01489,
              -0.01808,
              -0.0219,
              -0.02648,
              -0.03199
            ],
            [
              0.00139,
              -0.0122,
              -0.01487,
              -0.01806,
              -0.02189,
              -0.02647,
              -0.03198
            ],
            [
              0.00145,
              -0.01216,
              -0.01483,
              -0.01804,
              -0.02186,
              -0.02645,
              -0.03196
            ],
            [
              0.00152,
              -0.01211,
              -0.01479,
              -0.018,
              -0.02183,
              -0.02642,
              -0.03194
            ],
            [
              0.00157,
              -0.01205,
              -0.01474,
              -0.01795,
              -0.02179,
              -0.02639,
              -0.03191
            ],
            [
              0.00161,
              -0.01198,
              -0.01466,
              -0.01788,
              -0.02172,
              -0.02633,
              -0.03185
            ],
            [
              0.00165,
              -0.0119,
              -0.01459,
              -0.01781,
              -0.02165,
              -0.02626,
              -0.0318
            ],
            [
              0.00168,
              -0.01181,
              -0.0145,
              -0.01772,
              -0.02157,
              -0.02618,
              -0.03172
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.00886,
              0.02207,
              0.0247,
              0.02785,
              0.03162,
              0.03615,
              0.0416
            ],
            [
              0.00881,
              0.02203,
              0.02467,
              0.02783,
              0.03161,
              0.03615,
              0.0416
            ],
            [
              0.00878,
              0.02202,
              0.02465,
              0.02781,
              0.03159,
              0.03613,
              0.04159
            ],
            [
              0.00873,
              0.02201,
              0.02466,
              0.02781,
              0.03159,
              0.03613,
              0.04157
            ],
            [
              0.00868,
              0.02198,
              0.02462,
              0.02779,
              0.03158,
              0.03611,
              0.04156
            ],
            [
              0.00863,
              0.02196,
              0.02459,
              0.02776,
              0.03155,
              0.03608,
              0.04154
            ],
            [
              0.00858,
              0.02192,
              0.02456,
              0.02773,
              0.03151,
              0.03604,
              0.04153
            ],
            [
              0.00853,
              0.02186,
              0.02451,
              0.02768,
              0.03149,
              0.03603,
              0.0415
            ],
            [
              0.00849,
              0.0218,
              0.02444,
              0.02761,
              0.03142,
              0.03596,
              0.04143
            ],
            [
              0.00846,
              0.02174,
              0.02439,
              0.02757,
              0.03136,
              0.0359,
              0.04135
            ],
            [
              0.00844,
              0.02168,
              0.02433,
              0.0275,
              0.0313,
              0.03585,
              0.0413
            ],
            [
              0.00843,
              0.02162,
              0.02427,
              0.02744,
              0.03122,
              0.03578,
              0.04123
            ],
            [
              0.00841,
              0.02159,
              0.02424,
              0.0274,
              0.03119,
              0.03573,
              0.04118
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.02422,
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.08198,
              0.26872,
              0.30488,
              0.3481,
              0.39971,
              0.46152,
              0.53571
            ],
            [
              0.08491,
              0.27163,
              0.30779,
              0.35103,
              0.40265,
              0.46455,
              0.53866
            ],
            [
              0.08849,
              0.27534,
              0.3115,
              0.35477,
              0.40638,
              0.46812,
              0.54239
            ],
            [
              0.09403,
              0.2809,
              0.31705,
              0.36031,
              0.41191,
              0.47369,
              0.54788
            ],
            [
              0.10239,
              0.28935,
              0.3255,
              0.36876,
              0.42042,
              0.48224,
              0.55638
            ],
            [
              0.11495,
              0.30193,
              0.33821,
              0.3815,
              0.43313,
              0.49496,
              0.56913
            ],
            [
              0.13397,
              0.3212,
              0.35741,
              0.40068,
              0.45218,
              0.51393,
              0.58817
            ],
            [
              0.16347,
              0.35019,
              0.38639,
              0.4297,
              0.48135,
              0.54308,
              0.61704
            ],
            [
              0.20521,
              0.39355,
              0.42981,
              0.47313,
              0.52487,
              0.58671,
              0.6609
            ],
            [
              0.25809,
              0.45883,
              0.49507,
              0.53843,
              0.59016,
              0.65209,
              0.72639
            ],
            [
              0.32551,
              0.55812,
              0.59402,
              0.63722,
              0.68882,
              0.75072,
              0.82482
            ],
            [
              0.41097,
              0.69697,
              0.73837,
              0.78487,
              0.83697,
              0.89807,
              0.97157
            ],
            [
              0.5191,
              0.8742,
              0.9249,
              0.9816,
              1.0444,
              1.1139,
              1.1959
            ]
          ]
        },
        "cell_rise,delay_template13x7": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.14354,
              0.49447,
              0.56422,
              0.64801,
              0.74804,
              0.86745,
              1.01247
            ],
            [
              0.14707,
              0.49904,
              0.56832,
              0.65229,
              0.75259,
              0.87205,
              1.01694
            ],
            [
              0.15129,
              0.5043,
              0.57375,
              0.65795,
              0.75798,
              0.87808,
              1.02212
            ],
            [
              0.15788,
              0.51174,
              0.58186,
              0.66551,
              0.76575,
              0.88584,
              1.02998
            ],
            [
              0.16839,
              0.52304,
              0.59309,
              0.67709,
              0.77702,
              0.89719,
              1.04211
            ],
            [
              0.18463,
              0.53969,
              0.61024,
              0.69423,
              0.79446,
              0.91487,
              1.05952
            ],
            [
              0.20987,
              0.56543,
              0.63542,
              0.71985,
              0.82023,
              0.94053,
              1.08473
            ],
            [
              0.24848,
              0.60392,
              0.67393,
              0.75813,
              0.85866,
              0.97926,
              1.12346
            ],
            [
              0.3062,
              0.66061,
              0.73106,
              0.81535,
              0.91595,
              1.03635,
              1.18075
            ],
            [
              0.3912,
              0.74459,
              0.81519,
              0.89919,
              1.00039,
              1.12139,
              1.26619
            ],
            [
              0.51032,
              0.87072,
              0.94132,
              1.02532,
              1.12652,
              1.24642,
              1.39102
            ],
            [
              0.67387,
              1.05707,
              1.12717,
              1.21177,
              1.31197,
              1.43357,
              1.57847
            ],
            [
              0.8992,
              1.3377,
              1.408,
              1.4922,
              1.5929,
              1.7138,
              1.859
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.06264,
              0.29273,
              0.33848,
              0.39327,
              0.45918,
              0.53855,
              0.63363
            ],
            [
              0.06264,
              0.29266,
              0.33847,
              0.39345,
              0.45936,
              0.53851,
              0.63323
            ],
            [
              0.06265,
              0.2924,
              0.33861,
              0.39352,
              0.4593,
              0.53866,
              0.63366
            ],
            [
              0.0627,
              0.29268,
              0.33858,
              0.39358,
              0.4592,
              0.53858,
              0.63396
            ],
            [
              0.06277,
              0.29272,
              0.33852,
              0.39342,
              0.4594,
              0.53835,
              0.63346
            ],
            [
              0.06266,
              0.29258,
              0.33859,
              0.39372,
              0.45918,
              0.53828,
              0.63356
            ],
            [
              0.06156,
              0.29261,
              0.33853,
              0.3937,
              0.45947,
              0.53824,
              0.63366
            ],
            [
              0.06431,
              0.2926,
              0.33835,
              0.39361,
              0.45944,
              0.5386,
              0.63339
            ],
            [
              0.07421,
              0.29221,
              0.33846,
              0.39333,
              0.45942,
              0.53869,
              0.63321
            ],
            [
              0.0892,
              0.29656,
              0.34036,
              0.39399,
              0.45933,
              0.53826,
              0.63389
            ],
            [
              0.11058,
              0.31708,
              0.35714,
              0.40664,
              0.4673,
              0.5426,
              0.6347
            ],
            [
              0.14,
              0.3676,
              0.4027,
              0.4467,
              0.5015,
              0.5698,
              0.6547
            ],
            [
              0.1798,
              0.4494,
              0.4875,
              0.5308,
              0.5805,
              0.6413,
              0.7145
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.0799,
              0.52449,
              0.61324,
              0.71954,
              0.84652,
              0.9991,
              1.18258
            ],
            [
              0.07992,
              0.52453,
              0.61277,
              0.71905,
              0.84641,
              0.9991,
              1.18251
            ],
            [
              0.07999,
              0.52466,
              0.61268,
              0.71965,
              0.84638,
              0.99884,
              1.18257
            ],
            [
              0.08005,
              0.52408,
              0.61328,
              0.71916,
              0.84639,
              0.99907,
              1.18255
            ],
            [
              0.08017,
              0.52418,
              0.61293,
              0.7196,
              0.84636,
              0.99906,
              1.18261
            ],
            [
              0.08017,
              0.52403,
              0.61309,
              0.71967,
              0.84703,
              0.99906,
              1.18334
            ],
            [
              0.08025,
              0.52409,
              0.61277,
              0.71957,
              0.84649,
              0.9988,
              1.18256
            ],
            [
              0.0804,
              0.52402,
              0.61269,
              0.7193,
              0.8466,
              0.99899,
              1.18256
            ],
            [
              0.08063,
              0.52404,
              0.61281,
              0.71925,
              0.84706,
              0.99886,
              1.18261
            ],
            [
              0.08452,
              0.52434,
              0.61293,
              0.71909,
              0.84646,
              0.9998,
              1.1823
            ],
            [
              0.0994,
              0.524,
              0.6132,
              0.7191,
              0.8464,
              0.9996,
              1.1824
            ],
            [
              0.1235,
              0.5267,
              0.6131,
              0.7193,
              0.8462,
              0.9997,
              1.1823
            ],
            [
              0.1586,
              0.5498,
              0.6305,
              0.729,
              0.8511,
              0.9998,
              1.1823
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.06502,
              0.25385,
              0.29007,
              0.33338,
              0.38496,
              0.44677,
              0.52095
            ],
            [
              0.06792,
              0.25673,
              0.29296,
              0.33626,
              0.38792,
              0.44969,
              0.52376
            ],
            [
              0.07147,
              0.26039,
              0.29661,
              0.33991,
              0.39159,
              0.45333,
              0.52749
            ],
            [
              0.07698,
              0.26587,
              0.30208,
              0.34538,
              0.39697,
              0.45888,
              0.53302
            ],
            [
              0.08526,
              0.27426,
              0.31051,
              0.35382,
              0.40545,
              0.46727,
              0.54141
            ],
            [
              0.09793,
              0.28689,
              0.32305,
              0.36636,
              0.41801,
              0.47985,
              0.55403
            ],
            [
              0.1177,
              0.30608,
              0.34234,
              0.38563,
              0.43725,
              0.4991,
              0.57328
            ],
            [
              0.14762,
              0.33499,
              0.37112,
              0.4145,
              0.46612,
              0.52803,
              0.60223
            ],
            [
              0.18598,
              0.37824,
              0.41455,
              0.45795,
              0.50979,
              0.57154,
              0.6458
            ],
            [
              0.23489,
              0.44412,
              0.48023,
              0.52335,
              0.57457,
              0.63669,
              0.71129
            ],
            [
              0.29692,
              0.54352,
              0.57932,
              0.62222,
              0.67362,
              0.73492,
              0.80972
            ],
            [
              0.37577,
              0.67837,
              0.72187,
              0.76927,
              0.82237,
              0.88387,
              0.95787
            ],
            [
              0.4744,
              0.8524,
              0.9047,
              0.963,
              1.0277,
              1.0996,
              1.1799
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.16278,
              0.61642,
              0.70675,
              0.81438,
              0.94434,
              1.09967,
              1.28657
            ],
            [
              0.16607,
              0.62056,
              0.71071,
              0.81926,
              0.94911,
              1.10434,
              1.29114
            ],
            [
              0.17004,
              0.62579,
              0.71627,
              0.82517,
              0.95451,
              1.11002,
              1.29682
            ],
            [
              0.17642,
              0.63404,
              0.72408,
              0.83278,
              0.9623,
              1.11688,
              1.30468
            ],
            [
              0.18644,
              0.64538,
              0.73559,
              0.84352,
              0.97321,
              1.12931,
              1.31531
            ],
            [
              0.20234,
              0.66134,
              0.75202,
              0.86067,
              0.99062,
              1.14662,
              1.33302
            ],
            [
              0.22725,
              0.6864,
              0.77739,
              0.8865,
              1.01643,
              1.17183,
              1.35923
            ],
            [
              0.26554,
              0.72535,
              0.8161,
              0.92456,
              1.05406,
              1.21006,
              1.39776
            ],
            [
              0.32262,
              0.78075,
              0.87195,
              0.98125,
              1.11115,
              1.26615,
              1.45445
            ],
            [
              0.406,
              0.86309,
              0.95419,
              1.06269,
              1.19349,
              1.34949,
              1.53649
            ],
            [
              0.52342,
              0.98442,
              1.07582,
              1.18482,
              1.31442,
              1.46972,
              1.65782
            ],
            [
              0.68447,
              1.16217,
              1.25257,
              1.36217,
              1.49217,
              1.64827,
              1.83657
            ],
            [
              0.9076,
              1.4286,
              1.5193,
              1.6285,
              1.7586,
              1.9151,
              2.1027
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.0592,
              0.28708,
              0.33262,
              0.38758,
              0.45339,
              0.53202,
              0.62697
            ],
            [
              0.05919,
              0.28709,
              0.33286,
              0.38762,
              0.45328,
              0.53229,
              0.62696
            ],
            [
              0.05913,
              0.28708,
              0.33285,
              0.3877,
              0.45331,
              0.53211,
              0.62684
            ],
            [
              0.05899,
              0.28689,
              0.33278,
              0.38745,
              0.45335,
              0.53233,
              0.62711
            ],
            [
              0.05843,
              0.28693,
              0.33266,
              0.38766,
              0.45347,
              0.53189,
              0.62725
            ],
            [
              0.05691,
              0.28691,
              0.33272,
              0.38731,
              0.45335,
              0.53235,
              0.62721
            ],
            [
              0.05737,
              0.28687,
              0.33262,
              0.38765,
              0.4532,
              0.5325,
              0.62716
            ],
            [
              0.06287,
              0.28675,
              0.33249,
              0.38755,
              0.45337,
              0.53248,
              0.62703
            ],
            [
              0.074,
              0.28643,
              0.33242,
              0.38734,
              0.45327,
              0.53221,
              0.62718
            ],
            [
              0.0899,
              0.29242,
              0.3356,
              0.38852,
              0.4533,
              0.53207,
              0.62714
            ],
            [
              0.11205,
              0.31547,
              0.35476,
              0.40323,
              0.4634,
              0.5376,
              0.6286
            ],
            [
              0.1419,
              0.3692,
              0.4032,
              0.4456,
              0.4995,
              0.5667,
              0.6503
            ],
            [
              0.183,
              0.4517,
              0.4894,
              0.5322,
              0.581,
              0.6395,
              0.7139
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.09654,
              0.67919,
              0.79625,
              0.9365,
              1.10246,
              1.3018,
              1.54477
            ],
            [
              0.09658,
              0.67914,
              0.79574,
              0.93584,
              1.10174,
              1.3018,
              1.54301
            ],
            [
              0.09661,
              0.67912,
              0.79583,
              0.936,
              1.10249,
              1.30279,
              1.54283
            ],
            [
              0.0967,
              0.67959,
              0.7959,
              0.93407,
              1.10124,
              1.30362,
              1.54478
            ],
            [
              0.09678,
              0.6793,
              0.79594,
              0.9352,
              1.10383,
              1.30378,
              1.54508
            ],
            [
              0.09688,
              0.6791,
              0.7958,
              0.93595,
              1.10315,
              1.30265,
              1.54285
            ],
            [
              0.09696,
              0.67917,
              0.79586,
              0.93404,
              1.1012,
              1.30188,
              1.54509
            ],
            [
              0.09701,
              0.67913,
              0.79598,
              0.93606,
              1.10373,
              1.30372,
              1.54427
            ],
            [
              0.09739,
              0.67905,
              0.7958,
              0.93595,
              1.10346,
              1.30363,
              1.54344
            ],
            [
              0.10015,
              0.67921,
              0.796,
              0.93575,
              1.1012,
              1.3018,
              1.5463
            ],
            [
              0.1123,
              0.6791,
              0.7958,
              0.9357,
              1.1031,
              1.3025,
              1.5429
            ],
            [
              0.1323,
              0.6795,
              0.7958,
              0.9357,
              1.1029,
              1.3038,
              1.5425
            ],
            [
              0.161,
              0.6941,
              0.8049,
              0.9398,
              1.1041,
              1.3035,
              1.545
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.06686,
              0.25549,
              0.29169,
              0.33495,
              0.38659,
              0.44839,
              0.52252
            ],
            [
              0.06976,
              0.25837,
              0.29456,
              0.33784,
              0.38946,
              0.45127,
              0.5254
            ],
            [
              0.0733,
              0.26203,
              0.29823,
              0.3415,
              0.39314,
              0.45493,
              0.52907
            ],
            [
              0.0787,
              0.26752,
              0.30371,
              0.34698,
              0.39859,
              0.46041,
              0.53455
            ],
            [
              0.08709,
              0.27589,
              0.31211,
              0.35541,
              0.40704,
              0.46885,
              0.543
            ],
            [
              0.09964,
              0.28855,
              0.32472,
              0.36789,
              0.41964,
              0.48147,
              0.55565
            ],
            [
              0.11934,
              0.30773,
              0.34396,
              0.38723,
              0.43889,
              0.50072,
              0.57492
            ],
            [
              0.14936,
              0.33662,
              0.37287,
              0.41607,
              0.46771,
              0.52958,
              0.6038
            ],
            [
              0.18813,
              0.37997,
              0.41588,
              0.45956,
              0.51128,
              0.57317,
              0.64733
            ],
            [
              0.23757,
              0.44577,
              0.48188,
              0.52499,
              0.5763,
              0.63829,
              0.71259
            ],
            [
              0.30029,
              0.54512,
              0.58092,
              0.62392,
              0.67522,
              0.73642,
              0.81142
            ],
            [
              0.37997,
              0.68137,
              0.72377,
              0.77117,
              0.82407,
              0.88557,
              0.95957
            ],
            [
              0.4799,
              0.8549,
              0.9071,
              0.9652,
              1.0297,
              1.1015,
              1.1816
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.19448,
              0.63189,
              0.71875,
              0.82299,
              0.94757,
              1.09697,
              1.27667
            ],
            [
              0.19843,
              0.6365,
              0.72338,
              0.82757,
              0.9522,
              1.10174,
              1.28134
            ],
            [
              0.20283,
              0.64184,
              0.72878,
              0.83307,
              0.95768,
              1.10712,
              1.28682
            ],
            [
              0.20943,
              0.64941,
              0.73647,
              0.84074,
              0.96544,
              1.11498,
              1.29468
            ],
            [
              0.2197,
              0.66076,
              0.74779,
              0.85216,
              0.97701,
              1.12661,
              1.30631
            ],
            [
              0.23566,
              0.67756,
              0.76484,
              0.86921,
              0.99412,
              1.14392,
              1.32382
            ],
            [
              0.26038,
              0.70276,
              0.79005,
              0.89463,
              1.01963,
              1.16953,
              1.34953
            ],
            [
              0.29825,
              0.74136,
              0.82808,
              0.93276,
              1.05786,
              1.20776,
              1.38806
            ],
            [
              0.35484,
              0.79715,
              0.88485,
              0.98935,
              1.11445,
              1.26445,
              1.44475
            ],
            [
              0.43801,
              0.87919,
              0.96679,
              1.07169,
              1.19699,
              1.34729,
              1.52759
            ],
            [
              0.55922,
              1.00122,
              1.08882,
              1.19362,
              1.31902,
              1.46812,
              1.64862
            ],
            [
              0.72737,
              1.17947,
              1.26687,
              1.37177,
              1.49707,
              1.64737,
              1.82787
            ],
            [
              0.9603,
              1.4474,
              1.5348,
              1.6397,
              1.7649,
              1.9151,
              2.0963
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.07548,
              0.30134,
              0.34696,
              0.40163,
              0.46748,
              0.54621,
              0.64114
            ],
            [
              0.07543,
              0.30135,
              0.34707,
              0.40166,
              0.46732,
              0.54647,
              0.64116
            ],
            [
              0.07541,
              0.3013,
              0.34685,
              0.4018,
              0.46756,
              0.54631,
              0.64108
            ],
            [
              0.07531,
              0.30127,
              0.34688,
              0.40183,
              0.46757,
              0.54632,
              0.64115
            ],
            [
              0.0749,
              0.30123,
              0.34689,
              0.40176,
              0.46741,
              0.54616,
              0.6412
            ],
            [
              0.07335,
              0.30124,
              0.3468,
              0.40186,
              0.46739,
              0.54642,
              0.64128
            ],
            [
              0.0736,
              0.30129,
              0.34687,
              0.40188,
              0.46738,
              0.54633,
              0.6412
            ],
            [
              0.07883,
              0.30123,
              0.34683,
              0.40162,
              0.46746,
              0.54647,
              0.64119
            ],
            [
              0.09144,
              0.30082,
              0.34661,
              0.40167,
              0.46742,
              0.54635,
              0.64113
            ],
            [
              0.10987,
              0.30668,
              0.34973,
              0.40278,
              0.46727,
              0.54617,
              0.64103
            ],
            [
              0.13623,
              0.32991,
              0.36887,
              0.41759,
              0.4774,
              0.5515,
              0.6428
            ],
            [
              0.1724,
              0.3831,
              0.4173,
              0.4601,
              0.5138,
              0.5809,
              0.6647
            ],
            [
              0.222,
              0.4686,
              0.5051,
              0.5471,
              0.5951,
              0.6542,
              0.7281
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.11399,
              0.67613,
              0.78797,
              0.92305,
              1.08379,
              1.27708,
              1.50918
            ],
            [
              0.11399,
              0.67591,
              0.78828,
              0.92271,
              1.08379,
              1.2766,
              1.50916
            ],
            [
              0.114,
              0.67623,
              0.78833,
              0.92299,
              1.08406,
              1.27703,
              1.50902
            ],
            [
              0.11401,
              0.67609,
              0.7883,
              0.92278,
              1.08379,
              1.27724,
              1.50922
            ],
            [
              0.11395,
              0.67583,
              0.78814,
              0.92284,
              1.08368,
              1.27709,
              1.50903
            ],
            [
              0.11405,
              0.67622,
              0.78795,
              0.92277,
              1.08398,
              1.27621,
              1.50814
            ],
            [
              0.11407,
              0.67622,
              0.78831,
              0.92288,
              1.08378,
              1.27694,
              1.50939
            ],
            [
              0.1141,
              0.67578,
              0.78822,
              0.92261,
              1.08381,
              1.27725,
              1.50788
            ],
            [
              0.11422,
              0.67595,
              0.78812,
              0.92292,
              1.08385,
              1.27698,
              1.50906
            ],
            [
              0.1153,
              0.67574,
              0.78811,
              0.9229,
              1.0838,
              1.2771,
              1.5092
            ],
            [
              0.1242,
              0.6762,
              0.7883,
              0.9228,
              1.0835,
              1.2771,
              1.5095
            ],
            [
              0.1448,
              0.6766,
              0.7884,
              0.9232,
              1.084,
              1.2775,
              1.509
            ],
            [
              0.175,
              0.6892,
              0.7961,
              0.9266,
              1.0847,
              1.2768,
              1.5092
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.09355,
              0.28028,
              0.31644,
              0.3597,
              0.41128,
              0.47311,
              0.54723
            ],
            [
              0.09685,
              0.28361,
              0.31975,
              0.36299,
              0.41464,
              0.47651,
              0.55063
            ],
            [
              0.10082,
              0.28758,
              0.32373,
              0.36695,
              0.41859,
              0.48039,
              0.55465
            ],
            [
              0.10665,
              0.29347,
              0.32961,
              0.37284,
              0.42446,
              0.4863,
              0.56054
            ],
            [
              0.11513,
              0.30199,
              0.33814,
              0.38136,
              0.433,
              0.49477,
              0.56895
            ],
            [
              0.12753,
              0.31453,
              0.35068,
              0.39397,
              0.4456,
              0.50747,
              0.58172
            ],
            [
              0.14604,
              0.33317,
              0.36935,
              0.41263,
              0.4643,
              0.52612,
              0.60031
            ],
            [
              0.17398,
              0.36116,
              0.39735,
              0.44065,
              0.49236,
              0.5542,
              0.62832
            ],
            [
              0.21369,
              0.40306,
              0.43932,
              0.48267,
              0.53439,
              0.59625,
              0.67045
            ],
            [
              0.26783,
              0.46586,
              0.50216,
              0.54556,
              0.59735,
              0.65929,
              0.73359
            ],
            [
              0.34015,
              0.55972,
              0.59612,
              0.63962,
              0.69162,
              0.75372,
              0.82822
            ],
            [
              0.43477,
              0.69217,
              0.73247,
              0.77887,
              0.83237,
              0.89467,
              0.96937
            ],
            [
              0.557,
              0.8713,
              0.9179,
              0.9708,
              1.031,
              1.0999,
              1.179
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.17189,
              0.52324,
              0.59319,
              0.67705,
              0.77736,
              0.8977,
              1.04237
            ],
            [
              0.1757,
              0.52745,
              0.59741,
              0.68128,
              0.78165,
              0.90204,
              1.04674
            ],
            [
              0.1802,
              0.53245,
              0.60244,
              0.68635,
              0.78667,
              0.90704,
              1.05172
            ],
            [
              0.18701,
              0.53997,
              0.60998,
              0.69397,
              0.79434,
              0.91466,
              1.05937
            ],
            [
              0.19766,
              0.55131,
              0.62137,
              0.70533,
              0.80579,
              0.92629,
              1.07101
            ],
            [
              0.21408,
              0.56832,
              0.63843,
              0.72246,
              0.82293,
              0.94342,
              1.08822
            ],
            [
              0.23908,
              0.59398,
              0.66426,
              0.74838,
              0.8489,
              0.96943,
              1.11423
            ],
            [
              0.2774,
              0.6324,
              0.70265,
              0.7868,
              0.88736,
              1.00796,
              1.15286
            ],
            [
              0.33471,
              0.68931,
              0.75965,
              0.84385,
              0.94455,
              1.06525,
              1.21025
            ],
            [
              0.41923,
              0.77349,
              0.84379,
              0.92779,
              1.02869,
              1.14939,
              1.29449
            ],
            [
              0.54212,
              0.89792,
              0.96822,
              1.05252,
              1.15332,
              1.27412,
              1.41922
            ],
            [
              0.71157,
              1.08367,
              1.15397,
              1.23827,
              1.33897,
              1.45987,
              1.60497
            ],
            [
              0.946,
              1.3619,
              1.4322,
              1.5165,
              1.6173,
              1.7381,
              1.8832
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.0627,
              0.29245,
              0.33857,
              0.39351,
              0.45925,
              0.53865,
              0.63351
            ],
            [
              0.06262,
              0.29263,
              0.33836,
              0.39339,
              0.45962,
              0.53853,
              0.6336
            ],
            [
              0.0627,
              0.29262,
              0.33845,
              0.39324,
              0.45909,
              0.5384,
              0.63393
            ],
            [
              0.06269,
              0.29261,
              0.33847,
              0.39329,
              0.45943,
              0.53869,
              0.63388
            ],
            [
              0.06264,
              0.29268,
              0.33836,
              0.39334,
              0.4591,
              0.53819,
              0.63332
            ],
            [
              0.06252,
              0.29269,
              0.33839,
              0.39343,
              0.45936,
              0.53853,
              0.63366
            ],
            [
              0.06212,
              0.29251,
              0.3383,
              0.39342,
              0.45943,
              0.53874,
              0.6339
            ],
            [
              0.06399,
              0.29233,
              0.33831,
              0.39334,
              0.45942,
              0.53874,
              0.63318
            ],
            [
              0.07021,
              0.29232,
              0.33842,
              0.39334,
              0.45932,
              0.53867,
              0.63353
            ],
            [
              0.08073,
              0.29556,
              0.34017,
              0.39416,
              0.45956,
              0.53815,
              0.63345
            ],
            [
              0.09746,
              0.30827,
              0.35078,
              0.40241,
              0.4652,
              0.5417,
              0.635
            ],
            [
              0.1217,
              0.3409,
              0.3798,
              0.4274,
              0.4861,
              0.5588,
              0.6473
            ],
            [
              0.1557,
              0.3991,
              0.4382,
              0.4845,
              0.5381,
              0.6044,
              0.6863
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.09836,
              0.54578,
              0.63478,
              0.74146,
              0.86841,
              1.0216,
              1.20568
            ],
            [
              0.09836,
              0.54567,
              0.63452,
              0.741,
              0.86943,
              1.0223,
              1.20662
            ],
            [
              0.09837,
              0.54577,
              0.6348,
              0.74143,
              0.86844,
              1.02162,
              1.20548
            ],
            [
              0.09847,
              0.54585,
              0.63508,
              0.7417,
              0.86943,
              1.02169,
              1.206
            ],
            [
              0.09851,
              0.54581,
              0.63483,
              0.74163,
              0.86944,
              1.02208,
              1.20645
            ],
            [
              0.09853,
              0.54589,
              0.63494,
              0.74159,
              0.86938,
              1.02239,
              1.20658
            ],
            [
              0.09847,
              0.54582,
              0.63464,
              0.74169,
              0.86842,
              1.02154,
              1.20576
            ],
            [
              0.09847,
              0.54589,
              0.63467,
              0.74159,
              0.86846,
              1.02161,
              1.20578
            ],
            [
              0.09859,
              0.5458,
              0.63492,
              0.74099,
              0.86941,
              1.02152,
              1.20581
            ],
            [
              0.10036,
              0.54577,
              0.63485,
              0.74112,
              0.8696,
              1.0214,
              1.2057
            ],
            [
              0.1115,
              0.5458,
              0.6348,
              0.7417,
              0.8686,
              1.0217,
              1.2064
            ],
            [
              0.1359,
              0.5474,
              0.6353,
              0.7418,
              0.8695,
              1.0217,
              1.2066
            ],
            [
              0.1712,
              0.5678,
              0.6493,
              0.75,
              0.8723,
              1.0225,
              1.2061
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.0767,
              0.2654,
              0.30162,
              0.34494,
              0.39649,
              0.45842,
              0.53257
            ],
            [
              0.07997,
              0.26867,
              0.30491,
              0.34817,
              0.39981,
              0.46159,
              0.53576
            ],
            [
              0.08391,
              0.27262,
              0.30886,
              0.35211,
              0.40377,
              0.4656,
              0.5397
            ],
            [
              0.08969,
              0.27842,
              0.31462,
              0.35791,
              0.4096,
              0.47143,
              0.54553
            ],
            [
              0.09815,
              0.28689,
              0.32309,
              0.36636,
              0.41799,
              0.47983,
              0.554
            ],
            [
              0.11064,
              0.2994,
              0.33555,
              0.37884,
              0.43051,
              0.49234,
              0.5665
            ],
            [
              0.12943,
              0.31793,
              0.35414,
              0.39748,
              0.4491,
              0.51097,
              0.58517
            ],
            [
              0.15718,
              0.34587,
              0.38211,
              0.42542,
              0.47713,
              0.53893,
              0.61316
            ],
            [
              0.19523,
              0.38774,
              0.42406,
              0.46746,
              0.51922,
              0.58099,
              0.65528
            ],
            [
              0.24676,
              0.4505,
              0.48684,
              0.53033,
              0.58212,
              0.64419,
              0.71849
            ],
            [
              0.31478,
              0.54422,
              0.58092,
              0.62442,
              0.67642,
              0.73852,
              0.81292
            ],
            [
              0.40327,
              0.67497,
              0.71597,
              0.76297,
              0.81687,
              0.87947,
              0.95417
            ],
            [
              0.5175,
              0.8513,
              0.8989,
              0.9528,
              1.0138,
              1.0834,
              1.1632
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.20253,
              0.66425,
              0.75624,
              0.86656,
              0.99847,
              1.15677,
              1.34697
            ],
            [
              0.20618,
              0.66846,
              0.76043,
              0.87083,
              1.00274,
              1.16114,
              1.35124
            ],
            [
              0.2105,
              0.6734,
              0.76543,
              0.8758,
              1.00772,
              1.16602,
              1.35632
            ],
            [
              0.21702,
              0.68093,
              0.77289,
              0.88336,
              1.01528,
              1.17358,
              1.36388
            ],
            [
              0.22737,
              0.69216,
              0.78421,
              0.89463,
              1.02671,
              1.18511,
              1.37561
            ],
            [
              0.24347,
              0.70899,
              0.80119,
              0.91163,
              1.04372,
              1.20222,
              1.39252
            ],
            [
              0.26807,
              0.73444,
              0.82682,
              0.93743,
              1.06963,
              1.22813,
              1.41853
            ],
            [
              0.30603,
              0.77265,
              0.86496,
              0.97556,
              1.10786,
              1.26646,
              1.45706
            ],
            [
              0.36256,
              0.82855,
              0.92095,
              1.03175,
              1.16415,
              1.32285,
              1.51365
            ],
            [
              0.44509,
              0.91049,
              1.00299,
              1.11359,
              1.24609,
              1.40489,
              1.59569
            ],
            [
              0.56492,
              1.03022,
              1.12262,
              1.23352,
              1.36592,
              1.52482,
              1.71572
            ],
            [
              0.73087,
              1.20687,
              1.29937,
              1.41017,
              1.54257,
              1.70157,
              1.89237
            ],
            [
              0.9614,
              1.4701,
              1.5625,
              1.6733,
              1.8058,
              1.9646,
              2.1556
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.05851,
              0.28709,
              0.33283,
              0.38764,
              0.453,
              0.53229,
              0.62728
            ],
            [
              0.05848,
              0.28687,
              0.33267,
              0.3875,
              0.45298,
              0.53211,
              0.62702
            ],
            [
              0.05848,
              0.28678,
              0.33268,
              0.38748,
              0.45346,
              0.53221,
              0.62712
            ],
            [
              0.05836,
              0.28695,
              0.33253,
              0.38739,
              0.45352,
              0.53222,
              0.62685
            ],
            [
              0.05823,
              0.28693,
              0.33262,
              0.38739,
              0.4532,
              0.53219,
              0.62689
            ],
            [
              0.05776,
              0.28704,
              0.33262,
              0.3875,
              0.45349,
              0.53233,
              0.627
            ],
            [
              0.0582,
              0.28697,
              0.33275,
              0.38766,
              0.45295,
              0.53233,
              0.62717
            ],
            [
              0.06126,
              0.28688,
              0.33273,
              0.3875,
              0.45334,
              0.53212,
              0.62708
            ],
            [
              0.06863,
              0.28667,
              0.33238,
              0.38765,
              0.45326,
              0.53227,
              0.62717
            ],
            [
              0.08026,
              0.29079,
              0.33501,
              0.38858,
              0.4536,
              0.53206,
              0.62718
            ],
            [
              0.09801,
              0.30507,
              0.34683,
              0.39803,
              0.4602,
              0.5358,
              0.6287
            ],
            [
              0.1231,
              0.34,
              0.3782,
              0.4246,
              0.4829,
              0.5546,
              0.6425
            ],
            [
              0.1576,
              0.3996,
              0.4382,
              0.4839,
              0.5373,
              0.6024,
              0.6829
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.12228,
              0.71775,
              0.83656,
              0.97924,
              1.14977,
              1.35411,
              1.59948
            ],
            [
              0.12219,
              0.71781,
              0.83659,
              0.97926,
              1.1497,
              1.35311,
              1.59993
            ],
            [
              0.12225,
              0.71776,
              0.83662,
              0.97916,
              1.14959,
              1.35385,
              1.60037
            ],
            [
              0.12241,
              0.71775,
              0.83679,
              0.97909,
              1.14982,
              1.35414,
              1.60011
            ],
            [
              0.12228,
              0.71775,
              0.8368,
              0.97934,
              1.14963,
              1.3541,
              1.59916
            ],
            [
              0.12236,
              0.71778,
              0.83658,
              0.97939,
              1.14987,
              1.35439,
              1.60007
            ],
            [
              0.12234,
              0.71782,
              0.83679,
              0.97937,
              1.14989,
              1.35425,
              1.60012
            ],
            [
              0.12236,
              0.7177,
              0.83678,
              0.97939,
              1.14988,
              1.35432,
              1.59983
            ],
            [
              0.12245,
              0.71776,
              0.83656,
              0.97942,
              1.14991,
              1.35426,
              1.59986
            ],
            [
              0.12344,
              0.71776,
              0.83669,
              0.9793,
              1.1499,
              1.3545,
              1.6001
            ],
            [
              0.1318,
              0.7178,
              0.8367,
              0.9793,
              1.1497,
              1.3546,
              1.6006
            ],
            [
              0.1517,
              0.7179,
              0.8364,
              0.9792,
              1.1497,
              1.3541,
              1.6004
            ],
            [
              0.1805,
              0.7301,
              0.8438,
              0.9825,
              1.1501,
              1.3545,
              1.6004
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.07854,
              0.26707,
              0.30328,
              0.34655,
              0.39818,
              0.45996,
              0.53414
            ],
            [
              0.08182,
              0.27037,
              0.30657,
              0.34985,
              0.40147,
              0.46326,
              0.53743
            ],
            [
              0.08575,
              0.27429,
              0.31048,
              0.35378,
              0.40542,
              0.46723,
              0.54134
            ],
            [
              0.09154,
              0.28012,
              0.31633,
              0.35961,
              0.41124,
              0.47307,
              0.54722
            ],
            [
              0.09998,
              0.28858,
              0.32477,
              0.36806,
              0.41968,
              0.48149,
              0.55569
            ],
            [
              0.11244,
              0.3011,
              0.33725,
              0.38055,
              0.43221,
              0.49403,
              0.56815
            ],
            [
              0.13119,
              0.31964,
              0.35584,
              0.39917,
              0.4508,
              0.51265,
              0.58684
            ],
            [
              0.15902,
              0.3476,
              0.3838,
              0.42713,
              0.47879,
              0.54067,
              0.61482
            ],
            [
              0.19725,
              0.38946,
              0.42579,
              0.46913,
              0.52084,
              0.5827,
              0.6569
            ],
            [
              0.24911,
              0.45221,
              0.48859,
              0.53203,
              0.5838,
              0.64569,
              0.72009
            ],
            [
              0.31766,
              0.54602,
              0.58272,
              0.62622,
              0.67812,
              0.74022,
              0.81462
            ],
            [
              0.40687,
              0.67697,
              0.71777,
              0.76477,
              0.81867,
              0.88117,
              0.95587
            ],
            [
              0.5221,
              0.8536,
              0.9011,
              0.9548,
              1.0157,
              1.0852,
              1.165
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.22857,
              0.66401,
              0.75049,
              0.8542,
              0.97821,
              1.12687,
              1.30567
            ],
            [
              0.23244,
              0.66824,
              0.75476,
              0.85849,
              0.98247,
              1.13114,
              1.30984
            ],
            [
              0.23703,
              0.67319,
              0.75972,
              0.86346,
              0.98752,
              1.13622,
              1.31492
            ],
            [
              0.2439,
              0.68068,
              0.76724,
              0.87099,
              0.99508,
              1.14377,
              1.32258
            ],
            [
              0.25446,
              0.69199,
              0.77857,
              0.88238,
              1.00641,
              1.15531,
              1.33411
            ],
            [
              0.27068,
              0.70893,
              0.7956,
              0.89947,
              1.02362,
              1.17242,
              1.35132
            ],
            [
              0.29562,
              0.7345,
              0.82134,
              0.92533,
              1.04953,
              1.19843,
              1.37743
            ],
            [
              0.33325,
              0.77273,
              0.85956,
              0.96356,
              1.08786,
              1.23686,
              1.41576
            ],
            [
              0.38981,
              0.82895,
              0.91585,
              1.01995,
              1.14435,
              1.29345,
              1.47255
            ],
            [
              0.47258,
              0.91129,
              0.99799,
              1.10219,
              1.22669,
              1.37589,
              1.55509
            ],
            [
              0.59352,
              1.03172,
              1.11872,
              1.22292,
              1.34742,
              1.49662,
              1.67592
            ],
            [
              0.76597,
              1.20997,
              1.29697,
              1.40117,
              1.52567,
              1.67497,
              1.85417
            ],
            [
              1.0048,
              1.476,
              1.5629,
              1.6671,
              1.7916,
              1.9409,
              2.1204
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.07485,
              0.30131,
              0.34684,
              0.40171,
              0.46741,
              0.54634,
              0.64111
            ],
            [
              0.07488,
              0.30124,
              0.34683,
              0.40178,
              0.46735,
              0.54622,
              0.64115
            ],
            [
              0.07483,
              0.30134,
              0.3469,
              0.40166,
              0.46743,
              0.54645,
              0.64116
            ],
            [
              0.07478,
              0.30126,
              0.347,
              0.40179,
              0.46746,
              0.54646,
              0.64125
            ],
            [
              0.07462,
              0.30124,
              0.34682,
              0.40168,
              0.46759,
              0.5463,
              0.64132
            ],
            [
              0.07416,
              0.30123,
              0.34685,
              0.4018,
              0.46738,
              0.54623,
              0.6412
            ],
            [
              0.07445,
              0.3013,
              0.34688,
              0.40174,
              0.4673,
              0.54614,
              0.64126
            ],
            [
              0.07732,
              0.30116,
              0.34696,
              0.40184,
              0.46739,
              0.54636,
              0.64107
            ],
            [
              0.08525,
              0.30106,
              0.34665,
              0.40187,
              0.4676,
              0.54632,
              0.64107
            ],
            [
              0.09829,
              0.30513,
              0.34924,
              0.40288,
              0.46741,
              0.54632,
              0.64115
            ],
            [
              0.11834,
              0.31948,
              0.36107,
              0.4122,
              0.4742,
              0.5502,
              0.6426
            ],
            [
              0.1474,
              0.3543,
              0.3923,
              0.4391,
              0.497,
              0.5687,
              0.6568
            ],
            [
              0.1877,
              0.4155,
              0.4535,
              0.4985,
              0.5514,
              0.6167,
              0.6976
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.13575,
              0.69733,
              0.80916,
              0.94309,
              1.10329,
              1.29548,
              1.5257
            ],
            [
              0.13584,
              0.69725,
              0.80907,
              0.94332,
              1.10316,
              1.29567,
              1.52646
            ],
            [
              0.13597,
              0.69739,
              0.80928,
              0.9434,
              1.10316,
              1.29461,
              1.52657
            ],
            [
              0.13596,
              0.69723,
              0.80921,
              0.94314,
              1.1032,
              1.29545,
              1.52656
            ],
            [
              0.1358,
              0.69728,
              0.80893,
              0.9431,
              1.10321,
              1.29561,
              1.52652
            ],
            [
              0.13585,
              0.69736,
              0.80912,
              0.94301,
              1.10337,
              1.29542,
              1.52656
            ],
            [
              0.13593,
              0.69739,
              0.8091,
              0.94306,
              1.10327,
              1.29541,
              1.52544
            ],
            [
              0.13586,
              0.69726,
              0.80912,
              0.94302,
              1.10337,
              1.29526,
              1.52653
            ],
            [
              0.13603,
              0.69757,
              0.80909,
              0.94307,
              1.10347,
              1.29531,
              1.52648
            ],
            [
              0.13642,
              0.69769,
              0.80953,
              0.9428,
              1.1033,
              1.2955,
              1.5263
            ],
            [
              0.1421,
              0.6979,
              0.8093,
              0.943,
              1.1031,
              1.2955,
              1.5267
            ],
            [
              0.161,
              0.6973,
              0.8093,
              0.9432,
              1.1036,
              1.2953,
              1.5265
            ],
            [
              0.1917,
              0.7086,
              0.8157,
              0.9457,
              1.1041,
              1.2952,
              1.5262
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.09866,
              0.2854,
              0.32154,
              0.3648,
              0.41645,
              0.47823,
              0.55235
            ],
            [
              0.10233,
              0.28903,
              0.32518,
              0.36847,
              0.42008,
              0.48189,
              0.55615
            ],
            [
              0.10657,
              0.29334,
              0.32951,
              0.37276,
              0.42438,
              0.48614,
              0.56043
            ],
            [
              0.11262,
              0.29944,
              0.33559,
              0.37881,
              0.4304,
              0.49232,
              0.56639
            ],
            [
              0.12129,
              0.30815,
              0.34433,
              0.38756,
              0.43916,
              0.50096,
              0.57525
            ],
            [
              0.13367,
              0.32069,
              0.35685,
              0.40012,
              0.45176,
              0.51361,
              0.5878
            ],
            [
              0.15152,
              0.33872,
              0.37489,
              0.41818,
              0.46981,
              0.53171,
              0.6058
            ],
            [
              0.17777,
              0.36499,
              0.4012,
              0.4445,
              0.49617,
              0.558,
              0.63216
            ],
            [
              0.21506,
              0.40373,
              0.43998,
              0.48333,
              0.53505,
              0.59691,
              0.67113
            ],
            [
              0.2661,
              0.4614,
              0.49769,
              0.54108,
              0.59288,
              0.65489,
              0.72909
            ],
            [
              0.33637,
              0.54732,
              0.58382,
              0.62732,
              0.67922,
              0.74122,
              0.81572
            ],
            [
              0.43197,
              0.66857,
              0.70817,
              0.75427,
              0.80777,
              0.87027,
              0.94477
            ],
            [
              0.5594,
              0.8355,
              0.8795,
              0.9304,
              0.989,
              1.0569,
              1.1357
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.18318,
              0.52205,
              0.58899,
              0.66923,
              0.76508,
              0.88006,
              1.01817
            ],
            [
              0.18682,
              0.5258,
              0.59272,
              0.67294,
              0.76885,
              0.8838,
              1.02194
            ],
            [
              0.19141,
              0.53052,
              0.59746,
              0.67769,
              0.7736,
              0.88856,
              1.02662
            ],
            [
              0.19844,
              0.53775,
              0.60472,
              0.68493,
              0.78083,
              0.8958,
              1.03398
            ],
            [
              0.20928,
              0.54885,
              0.61583,
              0.69611,
              0.79199,
              0.90699,
              1.04511
            ],
            [
              0.22582,
              0.5657,
              0.63269,
              0.71296,
              0.80891,
              0.92389,
              1.06202
            ],
            [
              0.25104,
              0.59113,
              0.65814,
              0.73843,
              0.83439,
              0.94933,
              1.08753
            ],
            [
              0.28856,
              0.62898,
              0.69602,
              0.77633,
              0.87236,
              0.98736,
              1.12546
            ],
            [
              0.34409,
              0.68461,
              0.75168,
              0.83205,
              0.92805,
              1.04325,
              1.18155
            ],
            [
              0.42593,
              0.76639,
              0.83309,
              0.91349,
              1.00949,
              1.12439,
              1.26249
            ],
            [
              0.54532,
              0.88702,
              0.95422,
              1.03462,
              1.13072,
              1.24592,
              1.38422
            ],
            [
              0.71067,
              1.06687,
              1.13407,
              1.21457,
              1.31067,
              1.42587,
              1.56427
            ],
            [
              0.9381,
              1.3359,
              1.4032,
              1.4838,
              1.58,
              1.6952,
              1.8337
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.06265,
              0.29263,
              0.33823,
              0.39366,
              0.45944,
              0.53825,
              0.63351
            ],
            [
              0.06267,
              0.29244,
              0.33857,
              0.39323,
              0.45928,
              0.53847,
              0.63363
            ],
            [
              0.06263,
              0.29264,
              0.33837,
              0.39342,
              0.45914,
              0.5382,
              0.63371
            ],
            [
              0.06268,
              0.29261,
              0.33836,
              0.39339,
              0.4592,
              0.53868,
              0.63349
            ],
            [
              0.06264,
              0.29257,
              0.33842,
              0.39334,
              0.45916,
              0.53832,
              0.6336
            ],
            [
              0.06262,
              0.29264,
              0.33845,
              0.3935,
              0.45943,
              0.53853,
              0.63361
            ],
            [
              0.0623,
              0.29259,
              0.3384,
              0.39362,
              0.45951,
              0.53852,
              0.63318
            ],
            [
              0.06328,
              0.29259,
              0.33839,
              0.39347,
              0.45957,
              0.53873,
              0.63345
            ],
            [
              0.06777,
              0.29235,
              0.33846,
              0.39341,
              0.45937,
              0.5387,
              0.63358
            ],
            [
              0.07524,
              0.29514,
              0.33991,
              0.39422,
              0.45942,
              0.53833,
              0.63363
            ],
            [
              0.08677,
              0.30503,
              0.34859,
              0.40111,
              0.4647,
              0.5413,
              0.6349
            ],
            [
              0.1052,
              0.3301,
              0.3711,
              0.421,
              0.4817,
              0.556,
              0.6465
            ],
            [
              0.1336,
              0.3716,
              0.4133,
              0.4634,
              0.522,
              0.5918,
              0.6771
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.10931,
              0.53754,
              0.6229,
              0.72448,
              0.84678,
              0.99319,
              1.16912
            ],
            [
              0.10933,
              0.53758,
              0.62259,
              0.72493,
              0.84696,
              0.99337,
              1.16949
            ],
            [
              0.1093,
              0.53749,
              0.62274,
              0.72486,
              0.84676,
              0.9934,
              1.16902
            ],
            [
              0.10933,
              0.53771,
              0.62247,
              0.72477,
              0.84697,
              0.99343,
              1.16938
            ],
            [
              0.10931,
              0.53757,
              0.62301,
              0.72454,
              0.84682,
              0.99331,
              1.16925
            ],
            [
              0.10928,
              0.53777,
              0.62259,
              0.72489,
              0.84705,
              0.99337,
              1.16928
            ],
            [
              0.10933,
              0.53758,
              0.62274,
              0.72493,
              0.84701,
              0.99341,
              1.16963
            ],
            [
              0.10935,
              0.53775,
              0.62299,
              0.72485,
              0.84679,
              0.9936,
              1.16957
            ],
            [
              0.10941,
              0.53741,
              0.62254,
              0.72456,
              0.84698,
              0.99344,
              1.16874
            ],
            [
              0.11078,
              0.53755,
              0.62269,
              0.72441,
              0.84687,
              0.9935,
              1.1697
            ],
            [
              0.1215,
              0.5374,
              0.6228,
              0.7248,
              0.8468,
              0.9929,
              1.1694
            ],
            [
              0.1459,
              0.5404,
              0.6236,
              0.7247,
              0.8468,
              0.9935,
              1.1695
            ],
            [
              0.1812,
              0.5636,
              0.6413,
              0.7372,
              0.8537,
              0.995,
              1.1692
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.08184,
              0.2705,
              0.30672,
              0.35,
              0.40162,
              0.46345,
              0.53764
            ],
            [
              0.08549,
              0.27408,
              0.31028,
              0.35363,
              0.40529,
              0.46707,
              0.54125
            ],
            [
              0.08968,
              0.27835,
              0.3146,
              0.35791,
              0.4095,
              0.47137,
              0.54551
            ],
            [
              0.09567,
              0.28436,
              0.32056,
              0.36385,
              0.4155,
              0.47735,
              0.55156
            ],
            [
              0.10428,
              0.29303,
              0.32924,
              0.37253,
              0.42421,
              0.48604,
              0.56025
            ],
            [
              0.1167,
              0.3055,
              0.34171,
              0.385,
              0.43666,
              0.49847,
              0.57272
            ],
            [
              0.13472,
              0.32342,
              0.35965,
              0.40297,
              0.4546,
              0.51644,
              0.59064
            ],
            [
              0.161,
              0.34968,
              0.38589,
              0.42926,
              0.48092,
              0.54276,
              0.61694
            ],
            [
              0.19706,
              0.3884,
              0.42474,
              0.46808,
              0.51986,
              0.5816,
              0.65584
            ],
            [
              0.24654,
              0.44606,
              0.48243,
              0.52584,
              0.57759,
              0.63969,
              0.71389
            ],
            [
              0.31428,
              0.53182,
              0.56862,
              0.61212,
              0.66392,
              0.72602,
              0.80032
            ],
            [
              0.40547,
              0.65177,
              0.69187,
              0.73847,
              0.79237,
              0.85517,
              0.92957
            ],
            [
              0.5265,
              0.8168,
              0.8615,
              0.913,
              0.9722,
              1.0406,
              1.12
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.22267,
              0.67361,
              0.76282,
              0.86975,
              0.99767,
              1.15097,
              1.33507
            ],
            [
              0.2261,
              0.67715,
              0.76639,
              0.87338,
              1.00114,
              1.15454,
              1.33874
            ],
            [
              0.23054,
              0.68181,
              0.77106,
              0.87803,
              1.00592,
              1.15922,
              1.34332
            ],
            [
              0.23741,
              0.6889,
              0.77816,
              0.88514,
              1.01297,
              1.16628,
              1.35048
            ],
            [
              0.24804,
              0.69992,
              0.7892,
              0.89623,
              1.02411,
              1.17741,
              1.36161
            ],
            [
              0.2644,
              0.71667,
              0.80596,
              0.913,
              1.04092,
              1.19422,
              1.37842
            ],
            [
              0.28941,
              0.74195,
              0.83129,
              0.93833,
              1.06623,
              1.21963,
              1.40383
            ],
            [
              0.32651,
              0.77952,
              0.86886,
              0.97596,
              1.10386,
              1.25726,
              1.44156
            ],
            [
              0.38107,
              0.83415,
              0.92355,
              1.03065,
              1.15865,
              1.31205,
              1.49665
            ],
            [
              0.46034,
              0.91349,
              1.00249,
              1.10959,
              1.23749,
              1.39079,
              1.57499
            ],
            [
              0.57552,
              1.02862,
              1.11812,
              1.22532,
              1.35352,
              1.50712,
              1.69142
            ],
            [
              0.73687,
              1.19847,
              1.28807,
              1.39537,
              1.52347,
              1.67707,
              1.86167
            ],
            [
              0.9594,
              1.4512,
              1.5408,
              1.6481,
              1.7764,
              1.9301,
              2.1147
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.05844,
              0.28694,
              0.33264,
              0.38735,
              0.45311,
              0.53213,
              0.62737
            ],
            [
              0.05838,
              0.28692,
              0.33249,
              0.38759,
              0.4533,
              0.53235,
              0.62736
            ],
            [
              0.05835,
              0.28685,
              0.33264,
              0.38745,
              0.45299,
              0.53246,
              0.62702
            ],
            [
              0.05829,
              0.28688,
              0.33246,
              0.38745,
              0.4532,
              0.53236,
              0.62745
            ],
            [
              0.05821,
              0.28675,
              0.33259,
              0.38728,
              0.45327,
              0.53221,
              0.62717
            ],
            [
              0.05794,
              0.28703,
              0.33275,
              0.38732,
              0.45338,
              0.53216,
              0.62696
            ],
            [
              0.05793,
              0.28686,
              0.33273,
              0.38755,
              0.45333,
              0.53234,
              0.62689
            ],
            [
              0.05992,
              0.28693,
              0.33266,
              0.38754,
              0.45293,
              0.5324,
              0.62689
            ],
            [
              0.06531,
              0.28683,
              0.33247,
              0.38767,
              0.45325,
              0.53199,
              0.6272
            ],
            [
              0.0733,
              0.28987,
              0.33471,
              0.38861,
              0.45364,
              0.53224,
              0.62714
            ],
            [
              0.0859,
              0.30101,
              0.34394,
              0.39635,
              0.45921,
              0.5361,
              0.6288
            ],
            [
              0.1058,
              0.3273,
              0.3681,
              0.4174,
              0.4776,
              0.5513,
              0.641
            ],
            [
              0.1355,
              0.3697,
              0.4117,
              0.4609,
              0.5193,
              0.5884,
              0.6734
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.13868,
              0.71718,
              0.83258,
              0.97067,
              1.13591,
              1.33409,
              1.5727
            ],
            [
              0.13874,
              0.71729,
              0.8323,
              0.97068,
              1.1359,
              1.33424,
              1.57244
            ],
            [
              0.13868,
              0.71722,
              0.8324,
              0.97068,
              1.13605,
              1.33393,
              1.57279
            ],
            [
              0.13884,
              0.71729,
              0.83248,
              0.97067,
              1.13565,
              1.33419,
              1.57238
            ],
            [
              0.1387,
              0.71719,
              0.83236,
              0.97073,
              1.13598,
              1.33406,
              1.57277
            ],
            [
              0.13885,
              0.71726,
              0.8326,
              0.97056,
              1.13589,
              1.33444,
              1.57277
            ],
            [
              0.13875,
              0.71729,
              0.83249,
              0.97067,
              1.13566,
              1.33418,
              1.57285
            ],
            [
              0.13872,
              0.71724,
              0.83243,
              0.9706,
              1.13591,
              1.33427,
              1.57267
            ],
            [
              0.13876,
              0.71731,
              0.83256,
              0.97052,
              1.13588,
              1.33419,
              1.57228
            ],
            [
              0.13928,
              0.71722,
              0.83254,
              0.9707,
              1.136,
              1.3338,
              1.5727
            ],
            [
              0.1467,
              0.7173,
              0.8324,
              0.9706,
              1.1359,
              1.3343,
              1.5721
            ],
            [
              0.1665,
              0.7175,
              0.8324,
              0.9706,
              1.1359,
              1.3343,
              1.5726
            ],
            [
              0.1953,
              0.7316,
              0.8419,
              0.9754,
              1.1375,
              1.3344,
              1.5726
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.08367,
              0.27219,
              0.3084,
              0.35167,
              0.4033,
              0.46513,
              0.53925
            ],
            [
              0.08726,
              0.27578,
              0.31197,
              0.35527,
              0.4069,
              0.46871,
              0.54292
            ],
            [
              0.09151,
              0.28005,
              0.31626,
              0.35954,
              0.41118,
              0.473,
              0.54713
            ],
            [
              0.0975,
              0.28607,
              0.32227,
              0.36555,
              0.41718,
              0.479,
              0.55314
            ],
            [
              0.10611,
              0.29474,
              0.33094,
              0.37423,
              0.42587,
              0.48769,
              0.56187
            ],
            [
              0.11851,
              0.3072,
              0.34341,
              0.3867,
              0.43833,
              0.50015,
              0.57435
            ],
            [
              0.13649,
              0.32514,
              0.36137,
              0.40465,
              0.45631,
              0.51813,
              0.59233
            ],
            [
              0.16282,
              0.35139,
              0.38761,
              0.43095,
              0.48259,
              0.54447,
              0.61862
            ],
            [
              0.19901,
              0.39011,
              0.42645,
              0.46976,
              0.52144,
              0.58331,
              0.65748
            ],
            [
              0.24869,
              0.4478,
              0.48414,
              0.52755,
              0.57926,
              0.64119,
              0.71549
            ],
            [
              0.31675,
              0.53362,
              0.57032,
              0.61382,
              0.66562,
              0.72762,
              0.80202
            ],
            [
              0.40847,
              0.65377,
              0.69377,
              0.74027,
              0.79417,
              0.85687,
              0.93137
            ],
            [
              0.5303,
              0.8189,
              0.8636,
              0.915,
              0.9741,
              1.0425,
              1.1218
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.24601,
              0.67009,
              0.75387,
              0.85424,
              0.97419,
              1.11797,
              1.29067
            ],
            [
              0.24952,
              0.67372,
              0.75746,
              0.85782,
              0.97784,
              1.12164,
              1.29444
            ],
            [
              0.25403,
              0.67836,
              0.76213,
              0.8625,
              0.98242,
              1.12622,
              1.29902
            ],
            [
              0.26106,
              0.68553,
              0.76931,
              0.86967,
              0.98967,
              1.13348,
              1.30628
            ],
            [
              0.2718,
              0.69659,
              0.78038,
              0.88077,
              1.00081,
              1.14461,
              1.31731
            ],
            [
              0.28826,
              0.71335,
              0.79717,
              0.8976,
              1.01762,
              1.16142,
              1.33422
            ],
            [
              0.31343,
              0.73871,
              0.82256,
              0.92303,
              1.04303,
              1.18683,
              1.35963
            ],
            [
              0.35053,
              0.77634,
              0.86016,
              0.96066,
              1.08076,
              1.22466,
              1.39736
            ],
            [
              0.40546,
              0.83115,
              0.91505,
              1.01555,
              1.13565,
              1.27975,
              1.45265
            ],
            [
              0.48492,
              0.91049,
              0.99439,
              1.09489,
              1.21489,
              1.35869,
              1.53129
            ],
            [
              0.60112,
              1.02692,
              1.11092,
              1.21152,
              1.33182,
              1.47582,
              1.64882
            ],
            [
              0.76747,
              1.19857,
              1.28257,
              1.38317,
              1.50347,
              1.64757,
              1.82067
            ],
            [
              0.9979,
              1.4542,
              1.5383,
              1.639,
              1.7593,
              1.9035,
              2.0766
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.07479,
              0.30131,
              0.34685,
              0.4018,
              0.46756,
              0.54635,
              0.64123
            ],
            [
              0.07478,
              0.30135,
              0.34685,
              0.40192,
              0.46758,
              0.54638,
              0.64092
            ],
            [
              0.07476,
              0.3012,
              0.34687,
              0.40167,
              0.46744,
              0.54628,
              0.64109
            ],
            [
              0.07472,
              0.30136,
              0.34688,
              0.40181,
              0.46739,
              0.54634,
              0.64119
            ],
            [
              0.07464,
              0.30129,
              0.34682,
              0.40178,
              0.46759,
              0.54617,
              0.64126
            ],
            [
              0.07437,
              0.30125,
              0.34698,
              0.40159,
              0.4676,
              0.54626,
              0.64113
            ],
            [
              0.07428,
              0.30134,
              0.34691,
              0.40196,
              0.46743,
              0.54631,
              0.64116
            ],
            [
              0.07614,
              0.30117,
              0.34682,
              0.40179,
              0.46743,
              0.54635,
              0.64107
            ],
            [
              0.08174,
              0.30106,
              0.3467,
              0.40169,
              0.46738,
              0.5463,
              0.64088
            ],
            [
              0.09098,
              0.30439,
              0.34878,
              0.40271,
              0.46766,
              0.5463,
              0.64102
            ],
            [
              0.10518,
              0.31564,
              0.3585,
              0.41054,
              0.47337,
              0.5498,
              0.6428
            ],
            [
              0.1275,
              0.3418,
              0.3821,
              0.4318,
              0.4919,
              0.5654,
              0.6551
            ],
            [
              0.161,
              0.3856,
              0.4269,
              0.4755,
              0.5334,
              0.6022,
              0.6876
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.14975,
              0.69444,
              0.80326,
              0.933,
              1.08802,
              1.27327,
              1.49736
            ],
            [
              0.14979,
              0.69499,
              0.80282,
              0.93237,
              1.08804,
              1.27377,
              1.49694
            ],
            [
              0.14978,
              0.69471,
              0.80312,
              0.93266,
              1.08779,
              1.27379,
              1.49735
            ],
            [
              0.14993,
              0.69502,
              0.80294,
              0.93327,
              1.08763,
              1.27341,
              1.49683
            ],
            [
              0.15,
              0.69509,
              0.80288,
              0.93312,
              1.08807,
              1.27352,
              1.49739
            ],
            [
              0.15001,
              0.69503,
              0.80349,
              0.93297,
              1.08785,
              1.27478,
              1.49736
            ],
            [
              0.14975,
              0.695,
              0.80295,
              0.93281,
              1.08805,
              1.2737,
              1.4974
            ],
            [
              0.14982,
              0.69508,
              0.80291,
              0.93267,
              1.08788,
              1.27392,
              1.4972
            ],
            [
              0.14981,
              0.69505,
              0.80295,
              0.93277,
              1.08806,
              1.27357,
              1.49711
            ],
            [
              0.15002,
              0.69502,
              0.80293,
              0.9331,
              1.0879,
              1.2743,
              1.4983
            ],
            [
              0.1553,
              0.695,
              0.8031,
              0.9325,
              1.0881,
              1.2735,
              1.4976
            ],
            [
              0.1744,
              0.6947,
              0.8033,
              0.933,
              1.0875,
              1.274,
              1.4968
            ],
            [
              0.2049,
              0.7087,
              0.8119,
              0.9376,
              1.089,
              1.2738,
              1.4972
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.03574,
              0.159,
              0.18348,
              0.21307,
              0.24823,
              0.29041,
              0.34145
            ],
            [
              0.03879,
              0.16234,
              0.18679,
              0.21634,
              0.25168,
              0.29388,
              0.34444
            ],
            [
              0.04247,
              0.16636,
              0.19092,
              0.22027,
              0.25557,
              0.29799,
              0.34876
            ],
            [
              0.04809,
              0.17228,
              0.19681,
              0.22642,
              0.26171,
              0.30402,
              0.35484
            ],
            [
              0.05672,
              0.18139,
              0.20585,
              0.23554,
              0.27071,
              0.31293,
              0.36366
            ],
            [
              0.06976,
              0.19491,
              0.21952,
              0.24892,
              0.28407,
              0.32655,
              0.37745
            ],
            [
              0.08654,
              0.21515,
              0.23955,
              0.26901,
              0.30457,
              0.347,
              0.39776
            ],
            [
              0.10788,
              0.24566,
              0.27022,
              0.29977,
              0.33491,
              0.37765,
              0.42849
            ],
            [
              0.13536,
              0.29163,
              0.31633,
              0.34586,
              0.38111,
              0.42347,
              0.47433
            ],
            [
              0.1703,
              0.36061,
              0.38502,
              0.41475,
              0.45002,
              0.49234,
              0.54325
            ],
            [
              0.21465,
              0.45382,
              0.48382,
              0.51632,
              0.55422,
              0.59562,
              0.64622
            ],
            [
              0.27067,
              0.57367,
              0.61097,
              0.65217,
              0.69647,
              0.74757,
              0.80247
            ],
            [
              0.3402,
              0.7273,
              0.7747,
              0.8258,
              0.882,
              0.9426,
              1.0129
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.07536,
              0.36533,
              0.42292,
              0.49245,
              0.5748,
              0.67333,
              0.79306
            ],
            [
              0.07782,
              0.3694,
              0.42716,
              0.49622,
              0.5789,
              0.67702,
              0.79621
            ],
            [
              0.08126,
              0.37374,
              0.43155,
              0.50006,
              0.58341,
              0.68208,
              0.80097
            ],
            [
              0.08721,
              0.38065,
              0.43839,
              0.5076,
              0.58983,
              0.68873,
              0.80871
            ],
            [
              0.09701,
              0.39097,
              0.4481,
              0.51785,
              0.60082,
              0.69911,
              0.8191
            ],
            [
              0.11253,
              0.40638,
              0.46397,
              0.5336,
              0.61667,
              0.71544,
              0.83476
            ],
            [
              0.13694,
              0.42982,
              0.48748,
              0.55725,
              0.6402,
              0.7401,
              0.85895
            ],
            [
              0.1743,
              0.46529,
              0.52449,
              0.59391,
              0.67666,
              0.77632,
              0.89456
            ],
            [
              0.22874,
              0.52108,
              0.57932,
              0.64865,
              0.73167,
              0.83055,
              0.94855
            ],
            [
              0.30196,
              0.60477,
              0.66239,
              0.73189,
              0.81449,
              0.91379,
              1.03349
            ],
            [
              0.40123,
              0.73132,
              0.78842,
              0.85692,
              0.94032,
              1.04002,
              1.15902
            ],
            [
              0.53617,
              0.92197,
              0.97887,
              1.04827,
              1.13017,
              1.22957,
              1.34867
            ],
            [
              0.7212,
              1.2079,
              1.2666,
              1.335,
              1.4167,
              1.5158,
              1.6344
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.02667,
              0.18556,
              0.21742,
              0.25557,
              0.30154,
              0.35618,
              0.42199
            ],
            [
              0.02667,
              0.18567,
              0.21735,
              0.25564,
              0.30123,
              0.35614,
              0.422
            ],
            [
              0.02666,
              0.18558,
              0.21741,
              0.25548,
              0.30135,
              0.35604,
              0.42203
            ],
            [
              0.02664,
              0.18566,
              0.21734,
              0.25557,
              0.30123,
              0.35601,
              0.42196
            ],
            [
              0.02716,
              0.18559,
              0.21739,
              0.25556,
              0.30152,
              0.35617,
              0.42207
            ],
            [
              0.0304,
              0.18557,
              0.21743,
              0.25567,
              0.30122,
              0.35618,
              0.42202
            ],
            [
              0.0375,
              0.18566,
              0.21738,
              0.25559,
              0.30133,
              0.35631,
              0.42209
            ],
            [
              0.04705,
              0.18572,
              0.21738,
              0.25576,
              0.30125,
              0.35612,
              0.42215
            ],
            [
              0.0602,
              0.19187,
              0.22112,
              0.25685,
              0.30151,
              0.35595,
              0.42204
            ],
            [
              0.07844,
              0.20993,
              0.23599,
              0.26866,
              0.3099,
              0.36016,
              0.42351
            ],
            [
              0.10338,
              0.24937,
              0.2716,
              0.30046,
              0.33579,
              0.38189,
              0.43888
            ],
            [
              0.1379,
              0.3107,
              0.3349,
              0.3624,
              0.3944,
              0.432,
              0.4824
            ],
            [
              0.1864,
              0.3932,
              0.4211,
              0.453,
              0.4886,
              0.5295,
              0.5727
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.06111,
              0.43976,
              0.5155,
              0.60776,
              0.7173,
              0.84827,
              1.00549
            ],
            [
              0.06127,
              0.44067,
              0.51642,
              0.6077,
              0.71668,
              0.84825,
              1.0055
            ],
            [
              0.06121,
              0.44069,
              0.51654,
              0.60809,
              0.71679,
              0.84828,
              1.00548
            ],
            [
              0.06124,
              0.44056,
              0.51647,
              0.60818,
              0.71726,
              0.84807,
              1.00532
            ],
            [
              0.06111,
              0.44059,
              0.51683,
              0.60755,
              0.71733,
              0.84813,
              1.00541
            ],
            [
              0.06108,
              0.44069,
              0.5169,
              0.60819,
              0.7173,
              0.84818,
              1.00555
            ],
            [
              0.06086,
              0.44047,
              0.51674,
              0.60767,
              0.71674,
              0.84832,
              1.00572
            ],
            [
              0.06524,
              0.44085,
              0.51598,
              0.60692,
              0.7169,
              0.84726,
              1.00568
            ],
            [
              0.07761,
              0.44089,
              0.51691,
              0.60775,
              0.7168,
              0.84848,
              1.00554
            ],
            [
              0.10042,
              0.44035,
              0.5162,
              0.60802,
              0.71723,
              0.84779,
              1.00507
            ],
            [
              0.13072,
              0.4427,
              0.5163,
              0.608,
              0.7172,
              0.8479,
              1.0056
            ],
            [
              0.1724,
              0.4634,
              0.5306,
              0.6145,
              0.7187,
              0.8476,
              1.0055
            ],
            [
              0.2287,
              0.5208,
              0.5787,
              0.6529,
              0.7465,
              0.8637,
              1.0119
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.03575,
              0.15905,
              0.18357,
              0.2129,
              0.24829,
              0.29059,
              0.34116
            ],
            [
              0.03882,
              0.16243,
              0.18695,
              0.21634,
              0.2517,
              0.29388,
              0.34461
            ],
            [
              0.04253,
              0.16636,
              0.1909,
              0.22046,
              0.25563,
              0.29774,
              0.34882
            ],
            [
              0.04817,
              0.17228,
              0.19701,
              0.22645,
              0.26166,
              0.30385,
              0.35501
            ],
            [
              0.05682,
              0.18147,
              0.20599,
              0.23564,
              0.27073,
              0.31313,
              0.364
            ],
            [
              0.06983,
              0.19505,
              0.21972,
              0.24919,
              0.28433,
              0.32673,
              0.37769
            ],
            [
              0.08661,
              0.21539,
              0.23981,
              0.26939,
              0.30466,
              0.34682,
              0.39772
            ],
            [
              0.10813,
              0.24588,
              0.27032,
              0.2997,
              0.33527,
              0.37779,
              0.42865
            ],
            [
              0.1355,
              0.29164,
              0.31606,
              0.34539,
              0.38129,
              0.4237,
              0.47458
            ],
            [
              0.17045,
              0.36084,
              0.38542,
              0.41468,
              0.44958,
              0.49254,
              0.54362
            ],
            [
              0.21483,
              0.45412,
              0.48422,
              0.51752,
              0.55412,
              0.59582,
              0.64732
            ],
            [
              0.27077,
              0.57367,
              0.61107,
              0.65207,
              0.69717,
              0.74687,
              0.80177
            ],
            [
              0.3402,
              0.7276,
              0.7744,
              0.8259,
              0.8814,
              0.9444,
              1.0126
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.0839,
              0.41573,
              0.48154,
              0.56034,
              0.65495,
              0.76802,
              0.90317
            ],
            [
              0.08588,
              0.4193,
              0.48518,
              0.56402,
              0.65816,
              0.77075,
              0.90778
            ],
            [
              0.08907,
              0.42359,
              0.48937,
              0.56829,
              0.663,
              0.77606,
              0.91124
            ],
            [
              0.09463,
              0.43,
              0.49617,
              0.57512,
              0.66927,
              0.7829,
              0.91841
            ],
            [
              0.10399,
              0.43966,
              0.50604,
              0.58512,
              0.67963,
              0.79243,
              0.92961
            ],
            [
              0.11905,
              0.45492,
              0.52145,
              0.60054,
              0.69563,
              0.80843,
              0.94552
            ],
            [
              0.14295,
              0.47824,
              0.54422,
              0.62374,
              0.71856,
              0.83274,
              0.96883
            ],
            [
              0.17978,
              0.51293,
              0.58018,
              0.65983,
              0.75445,
              0.86726,
              1.00516
            ],
            [
              0.23475,
              0.56692,
              0.63419,
              0.71311,
              0.80815,
              0.92175,
              1.05825
            ],
            [
              0.30893,
              0.64999,
              0.71559,
              0.79509,
              0.88989,
              1.00319,
              1.13989
            ],
            [
              0.40925,
              0.77432,
              0.84002,
              0.91792,
              1.01382,
              1.12702,
              1.26402
            ],
            [
              0.54557,
              0.96227,
              1.02727,
              1.10607,
              1.20077,
              1.31427,
              1.45047
            ],
            [
              0.7317,
              1.246,
              1.3112,
              1.389,
              1.4835,
              1.5963,
              1.7315
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.02664,
              0.1856,
              0.21748,
              0.25556,
              0.30132,
              0.35609,
              0.42195
            ],
            [
              0.02665,
              0.18573,
              0.21737,
              0.25561,
              0.30128,
              0.35622,
              0.42212
            ],
            [
              0.02664,
              0.18548,
              0.21742,
              0.25558,
              0.30143,
              0.35614,
              0.4221
            ],
            [
              0.02663,
              0.18556,
              0.21761,
              0.25581,
              0.30141,
              0.35598,
              0.422
            ],
            [
              0.02712,
              0.18547,
              0.2174,
              0.25558,
              0.30117,
              0.35619,
              0.42215
            ],
            [
              0.03035,
              0.18557,
              0.21743,
              0.25561,
              0.30114,
              0.35618,
              0.42197
            ],
            [
              0.03744,
              0.18562,
              0.21737,
              0.25558,
              0.30132,
              0.35632,
              0.42201
            ],
            [
              0.0469,
              0.18571,
              0.21738,
              0.2556,
              0.30129,
              0.35612,
              0.42233
            ],
            [
              0.06007,
              0.19153,
              0.22117,
              0.25691,
              0.30151,
              0.35595,
              0.42205
            ],
            [
              0.0782,
              0.20977,
              0.23573,
              0.26865,
              0.31004,
              0.36009,
              0.4234
            ],
            [
              0.10323,
              0.24913,
              0.27127,
              0.29954,
              0.33594,
              0.38144,
              0.43893
            ],
            [
              0.1378,
              0.3106,
              0.3348,
              0.3625,
              0.3938,
              0.4326,
              0.4828
            ],
            [
              0.1863,
              0.393,
              0.4212,
              0.4528,
              0.4892,
              0.5279,
              0.5729
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.06982,
              0.50055,
              0.58698,
              0.69068,
              0.81418,
              0.963,
              1.14168
            ],
            [
              0.06976,
              0.50062,
              0.58704,
              0.69072,
              0.81423,
              0.96294,
              1.14096
            ],
            [
              0.06977,
              0.50058,
              0.58661,
              0.69004,
              0.81416,
              0.96304,
              1.14149
            ],
            [
              0.0696,
              0.50057,
              0.58677,
              0.69038,
              0.81414,
              0.96304,
              1.14129
            ],
            [
              0.06973,
              0.50062,
              0.58685,
              0.69065,
              0.81462,
              0.96297,
              1.14078
            ],
            [
              0.0695,
              0.50074,
              0.58696,
              0.69044,
              0.81447,
              0.96266,
              1.14066
            ],
            [
              0.06905,
              0.50096,
              0.587,
              0.69019,
              0.81424,
              0.96316,
              1.14177
            ],
            [
              0.07199,
              0.50092,
              0.58661,
              0.69032,
              0.81459,
              0.96268,
              1.14074
            ],
            [
              0.0829,
              0.50082,
              0.58713,
              0.69045,
              0.81388,
              0.96307,
              1.14185
            ],
            [
              0.10563,
              0.49964,
              0.58645,
              0.69046,
              0.81443,
              0.96268,
              1.1414
            ],
            [
              0.13638,
              0.5009,
              0.5868,
              0.6904,
              0.8146,
              0.9621,
              1.1415
            ],
            [
              0.1785,
              0.5164,
              0.5955,
              0.6932,
              0.8142,
              0.9615,
              1.1409
            ],
            [
              0.236,
              0.567,
              0.6363,
              0.724,
              0.8343,
              0.9719,
              1.1428
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.03575,
              0.15905,
              0.18357,
              0.2129,
              0.24829,
              0.29061,
              0.34122
            ],
            [
              0.03881,
              0.16235,
              0.18695,
              0.21628,
              0.2517,
              0.29391,
              0.34454
            ],
            [
              0.04251,
              0.16639,
              0.19082,
              0.22045,
              0.25567,
              0.29777,
              0.34879
            ],
            [
              0.04816,
              0.17231,
              0.19697,
              0.22643,
              0.26164,
              0.30384,
              0.35496
            ],
            [
              0.05681,
              0.18147,
              0.20596,
              0.23564,
              0.27074,
              0.31311,
              0.36409
            ],
            [
              0.06981,
              0.19503,
              0.2197,
              0.24913,
              0.28431,
              0.32672,
              0.37767
            ],
            [
              0.08659,
              0.21536,
              0.23979,
              0.26934,
              0.30459,
              0.34674,
              0.39771
            ],
            [
              0.10811,
              0.24584,
              0.27028,
              0.29968,
              0.33525,
              0.37779,
              0.42864
            ],
            [
              0.13549,
              0.29161,
              0.31597,
              0.34594,
              0.38126,
              0.42367,
              0.47455
            ],
            [
              0.17043,
              0.3608,
              0.38533,
              0.41458,
              0.44946,
              0.49249,
              0.54357
            ],
            [
              0.21482,
              0.45402,
              0.48412,
              0.51742,
              0.55402,
              0.59572,
              0.64732
            ],
            [
              0.27067,
              0.57387,
              0.61107,
              0.65187,
              0.69687,
              0.74667,
              0.80297
            ],
            [
              0.3402,
              0.7275,
              0.7743,
              0.8259,
              0.8815,
              0.9442,
              1.0126
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.08275,
              0.40854,
              0.47309,
              0.55075,
              0.64267,
              0.7546,
              0.88834
            ],
            [
              0.08484,
              0.41228,
              0.47691,
              0.55443,
              0.64692,
              0.75775,
              0.89119
            ],
            [
              0.08806,
              0.4165,
              0.48109,
              0.55857,
              0.65099,
              0.76298,
              0.89652
            ],
            [
              0.09367,
              0.423,
              0.48806,
              0.56563,
              0.658,
              0.76933,
              0.90338
            ],
            [
              0.10307,
              0.43301,
              0.49781,
              0.57545,
              0.66872,
              0.77922,
              0.91319
            ],
            [
              0.11817,
              0.4481,
              0.51335,
              0.59109,
              0.68426,
              0.79517,
              0.92952
            ],
            [
              0.14213,
              0.47136,
              0.53644,
              0.61429,
              0.70731,
              0.8197,
              0.95333
            ],
            [
              0.17905,
              0.50626,
              0.57217,
              0.65049,
              0.74368,
              0.85476,
              0.98866
            ],
            [
              0.23398,
              0.56024,
              0.62645,
              0.70391,
              0.79725,
              0.90875,
              1.04285
            ],
            [
              0.30802,
              0.64339,
              0.70829,
              0.78589,
              0.87929,
              0.98999,
              1.12459
            ],
            [
              0.4082,
              0.76812,
              0.83282,
              0.90892,
              1.00342,
              1.11472,
              1.24902
            ],
            [
              0.54417,
              0.95657,
              1.02027,
              1.09777,
              1.19067,
              1.30237,
              1.43547
            ],
            [
              0.7303,
              1.2407,
              1.3048,
              1.3814,
              1.4741,
              1.5847,
              1.7178
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.02664,
              0.18561,
              0.21749,
              0.25555,
              0.30132,
              0.35607,
              0.42206
            ],
            [
              0.02665,
              0.18559,
              0.21741,
              0.2556,
              0.30127,
              0.35639,
              0.42208
            ],
            [
              0.02665,
              0.18559,
              0.2174,
              0.25559,
              0.3016,
              0.35603,
              0.42215
            ],
            [
              0.02663,
              0.18553,
              0.21742,
              0.25577,
              0.30136,
              0.35598,
              0.42204
            ],
            [
              0.02712,
              0.18552,
              0.21738,
              0.25557,
              0.30121,
              0.3562,
              0.42197
            ],
            [
              0.03036,
              0.18557,
              0.21743,
              0.25562,
              0.30116,
              0.35618,
              0.42199
            ],
            [
              0.03746,
              0.18558,
              0.21737,
              0.25559,
              0.30133,
              0.3563,
              0.422
            ],
            [
              0.04691,
              0.18571,
              0.21738,
              0.25575,
              0.3013,
              0.35613,
              0.42233
            ],
            [
              0.06009,
              0.19183,
              0.22119,
              0.25685,
              0.30151,
              0.35595,
              0.42205
            ],
            [
              0.0782,
              0.2098,
              0.23579,
              0.26868,
              0.31006,
              0.36014,
              0.42335
            ],
            [
              0.10321,
              0.2492,
              0.27128,
              0.29968,
              0.33602,
              0.38182,
              0.43898
            ],
            [
              0.1378,
              0.3104,
              0.3347,
              0.3627,
              0.394,
              0.4327,
              0.4821
            ],
            [
              0.1863,
              0.393,
              0.4212,
              0.4528,
              0.4891,
              0.528,
              0.5728
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.06853,
              0.4919,
              0.57664,
              0.67885,
              0.80048,
              0.94603,
              1.12226
            ],
            [
              0.06857,
              0.49195,
              0.57671,
              0.67888,
              0.80057,
              0.94663,
              1.12203
            ],
            [
              0.06846,
              0.49194,
              0.57627,
              0.67848,
              0.80027,
              0.94582,
              1.12222
            ],
            [
              0.06838,
              0.49196,
              0.57703,
              0.67893,
              0.80025,
              0.94622,
              1.12221
            ],
            [
              0.0685,
              0.49236,
              0.5766,
              0.67821,
              0.80054,
              0.94634,
              1.12222
            ],
            [
              0.06834,
              0.49209,
              0.57669,
              0.67882,
              0.80068,
              0.94665,
              1.12159
            ],
            [
              0.06778,
              0.49195,
              0.57724,
              0.67834,
              0.79986,
              0.94649,
              1.12233
            ],
            [
              0.07105,
              0.49231,
              0.57678,
              0.67832,
              0.80075,
              0.94655,
              1.12189
            ],
            [
              0.08215,
              0.49211,
              0.57707,
              0.6787,
              0.79998,
              0.94644,
              1.12247
            ],
            [
              0.10489,
              0.49181,
              0.57619,
              0.67798,
              0.80041,
              0.94633,
              1.12164
            ],
            [
              0.13564,
              0.4924,
              0.5769,
              0.6783,
              0.8005,
              0.9465,
              1.1217
            ],
            [
              0.1779,
              0.509,
              0.586,
              0.682,
              0.8002,
              0.9467,
              1.1223
            ],
            [
              0.235,
              0.5605,
              0.6281,
              0.7136,
              0.8215,
              0.9564,
              1.1241
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.0358,
              0.15904,
              0.18365,
              0.21311,
              0.24809,
              0.29061,
              0.34116
            ],
            [
              0.03887,
              0.16245,
              0.18686,
              0.2165,
              0.25154,
              0.29401,
              0.34483
            ],
            [
              0.04262,
              0.16653,
              0.19095,
              0.22058,
              0.25562,
              0.29812,
              0.34882
            ],
            [
              0.0483,
              0.17261,
              0.19706,
              0.22667,
              0.26187,
              0.30405,
              0.35508
            ],
            [
              0.05699,
              0.18172,
              0.20624,
              0.2357,
              0.27099,
              0.31333,
              0.364
            ],
            [
              0.07008,
              0.19535,
              0.21989,
              0.24928,
              0.28463,
              0.3269,
              0.37765
            ],
            [
              0.08697,
              0.21572,
              0.24023,
              0.26979,
              0.30518,
              0.34736,
              0.39831
            ],
            [
              0.10852,
              0.24627,
              0.27081,
              0.30026,
              0.33564,
              0.37816,
              0.42901
            ],
            [
              0.13581,
              0.29232,
              0.3168,
              0.34606,
              0.38171,
              0.42414,
              0.47502
            ],
            [
              0.17085,
              0.36136,
              0.38613,
              0.4155,
              0.45017,
              0.49313,
              0.5441
            ],
            [
              0.21519,
              0.45472,
              0.48512,
              0.51822,
              0.55502,
              0.59632,
              0.64802
            ],
            [
              0.27097,
              0.57407,
              0.61217,
              0.65377,
              0.69877,
              0.74867,
              0.80367
            ],
            [
              0.3404,
              0.7284,
              0.7752,
              0.8269,
              0.8833,
              0.9453,
              1.0132
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.10727,
              0.56286,
              0.65292,
              0.76145,
              0.89101,
              1.04557,
              1.23367
            ],
            [
              0.10838,
              0.56619,
              0.65643,
              0.76475,
              0.89437,
              1.04954,
              1.23594
            ],
            [
              0.11062,
              0.56992,
              0.65997,
              0.76877,
              0.89871,
              1.05392,
              1.24102
            ],
            [
              0.11507,
              0.5759,
              0.66648,
              0.77529,
              0.90485,
              1.06068,
              1.24698
            ],
            [
              0.12325,
              0.58495,
              0.6754,
              0.78455,
              0.91424,
              1.06941,
              1.25651
            ],
            [
              0.13716,
              0.59898,
              0.69013,
              0.79919,
              0.92892,
              1.08402,
              1.27212
            ],
            [
              0.15979,
              0.6209,
              0.71205,
              0.82071,
              0.95093,
              1.10763,
              1.29523
            ],
            [
              0.19521,
              0.65416,
              0.74561,
              0.85496,
              0.98536,
              1.14136,
              1.32836
            ],
            [
              0.25002,
              0.70629,
              0.79725,
              0.90635,
              1.03635,
              1.19235,
              1.38095
            ],
            [
              0.32708,
              0.78339,
              0.87529,
              0.98419,
              1.11419,
              1.27069,
              1.45799
            ],
            [
              0.43044,
              0.90422,
              0.99412,
              1.10362,
              1.23362,
              1.39012,
              1.57772
            ],
            [
              0.57027,
              1.08537,
              1.17527,
              1.28337,
              1.41427,
              1.56937,
              1.75727
            ],
            [
              0.7601,
              1.3584,
              1.4486,
              1.5572,
              1.6863,
              1.8419,
              2.0278
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.02659,
              0.18558,
              0.2174,
              0.25564,
              0.30131,
              0.35639,
              0.42205
            ],
            [
              0.0266,
              0.18556,
              0.2174,
              0.25576,
              0.30127,
              0.35613,
              0.42227
            ],
            [
              0.02661,
              0.18568,
              0.21737,
              0.25572,
              0.30127,
              0.35646,
              0.42183
            ],
            [
              0.0266,
              0.1856,
              0.2174,
              0.25562,
              0.30121,
              0.35607,
              0.42209
            ],
            [
              0.02706,
              0.18566,
              0.21739,
              0.25561,
              0.30131,
              0.35643,
              0.42195
            ],
            [
              0.03021,
              0.18587,
              0.21731,
              0.2556,
              0.30131,
              0.35614,
              0.42205
            ],
            [
              0.03723,
              0.18558,
              0.21736,
              0.25558,
              0.30158,
              0.35599,
              0.42207
            ],
            [
              0.04656,
              0.18566,
              0.21738,
              0.25572,
              0.30129,
              0.35612,
              0.42229
            ],
            [
              0.05987,
              0.19165,
              0.221,
              0.25678,
              0.30146,
              0.35594,
              0.42204
            ],
            [
              0.0778,
              0.20942,
              0.23533,
              0.26823,
              0.30986,
              0.36007,
              0.42344
            ],
            [
              0.10282,
              0.24852,
              0.27051,
              0.29903,
              0.33534,
              0.38154,
              0.43893
            ],
            [
              0.1375,
              0.3103,
              0.3339,
              0.361,
              0.3925,
              0.4312,
              0.4816
            ],
            [
              0.1861,
              0.3922,
              0.4204,
              0.452,
              0.4873,
              0.5273,
              0.5725
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.09559,
              0.67852,
              0.79473,
              0.93419,
              1.10139,
              1.3043,
              1.54507
            ],
            [
              0.09553,
              0.67803,
              0.79444,
              0.93415,
              1.10397,
              1.30186,
              1.54595
            ],
            [
              0.09531,
              0.67792,
              0.7945,
              0.93452,
              1.10197,
              1.30192,
              1.54636
            ],
            [
              0.09494,
              0.67865,
              0.79517,
              0.93491,
              1.10133,
              1.30252,
              1.54613
            ],
            [
              0.09475,
              0.67802,
              0.79478,
              0.93486,
              1.10138,
              1.30185,
              1.5461
            ],
            [
              0.0941,
              0.67829,
              0.795,
              0.9351,
              1.10135,
              1.30185,
              1.54646
            ],
            [
              0.0932,
              0.67846,
              0.7952,
              0.93413,
              1.10364,
              1.30383,
              1.54465
            ],
            [
              0.09307,
              0.67806,
              0.79454,
              0.93463,
              1.10222,
              1.30183,
              1.54591
            ],
            [
              0.10048,
              0.67798,
              0.79455,
              0.93519,
              1.10134,
              1.30185,
              1.54536
            ],
            [
              0.12027,
              0.67933,
              0.79451,
              0.93419,
              1.10162,
              1.3034,
              1.5431
            ],
            [
              0.15256,
              0.6788,
              0.7958,
              0.934,
              1.1041,
              1.3036,
              1.5433
            ],
            [
              0.1963,
              0.6821,
              0.7955,
              0.935,
              1.1033,
              1.3033,
              1.5427
            ],
            [
              0.2562,
              0.7159,
              0.8188,
              0.947,
              1.1063,
              1.3033,
              1.5429
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.03586,
              0.15924,
              0.18355,
              0.213,
              0.2484,
              0.29075,
              0.34127
            ],
            [
              0.03893,
              0.1624,
              0.18692,
              0.2165,
              0.2519,
              0.29409,
              0.34494
            ],
            [
              0.04265,
              0.16639,
              0.19101,
              0.22068,
              0.25561,
              0.29788,
              0.34884
            ],
            [
              0.04831,
              0.17239,
              0.19714,
              0.22667,
              0.26171,
              0.30405,
              0.35503
            ],
            [
              0.05696,
              0.18152,
              0.20613,
              0.23586,
              0.27077,
              0.31319,
              0.36397
            ],
            [
              0.06997,
              0.19517,
              0.21993,
              0.24919,
              0.28436,
              0.32678,
              0.37768
            ],
            [
              0.08678,
              0.21539,
              0.23989,
              0.26948,
              0.30486,
              0.34695,
              0.39795
            ],
            [
              0.10834,
              0.2459,
              0.27045,
              0.2999,
              0.33542,
              0.37805,
              0.42889
            ],
            [
              0.13576,
              0.29177,
              0.31619,
              0.34545,
              0.38142,
              0.42391,
              0.47468
            ],
            [
              0.17077,
              0.36102,
              0.38564,
              0.41492,
              0.44983,
              0.49255,
              0.54368
            ],
            [
              0.21523,
              0.45422,
              0.48442,
              0.51782,
              0.55452,
              0.59632,
              0.64632
            ],
            [
              0.27127,
              0.57387,
              0.61127,
              0.65247,
              0.69777,
              0.74757,
              0.80247
            ],
            [
              0.3409,
              0.7278,
              0.7746,
              0.826,
              0.8813,
              0.9447,
              1.0126
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.11591,
              0.45293,
              0.51963,
              0.59971,
              0.69532,
              0.81013,
              0.94793
            ],
            [
              0.1187,
              0.45659,
              0.52329,
              0.60328,
              0.69896,
              0.81376,
              0.95164
            ],
            [
              0.12215,
              0.46087,
              0.52767,
              0.60774,
              0.70346,
              0.81832,
              0.9562
            ],
            [
              0.12779,
              0.46753,
              0.53436,
              0.61452,
              0.7103,
              0.82496,
              0.963
            ],
            [
              0.13708,
              0.47741,
              0.54433,
              0.62449,
              0.72046,
              0.83535,
              0.97331
            ],
            [
              0.15163,
              0.49276,
              0.55978,
              0.64031,
              0.73629,
              0.85122,
              0.98892
            ],
            [
              0.1749,
              0.51587,
              0.58298,
              0.66332,
              0.75992,
              0.87508,
              1.01333
            ],
            [
              0.21098,
              0.55162,
              0.61884,
              0.69942,
              0.79544,
              0.91076,
              1.04916
            ],
            [
              0.26636,
              0.60556,
              0.67278,
              0.75302,
              0.84905,
              0.96385,
              1.10285
            ],
            [
              0.34909,
              0.68729,
              0.75429,
              0.83469,
              0.93079,
              1.04579,
              1.18399
            ],
            [
              0.46062,
              0.81162,
              0.87792,
              0.95862,
              1.05492,
              1.17012,
              1.30832
            ],
            [
              0.61287,
              0.99927,
              1.06497,
              1.14597,
              1.24197,
              1.35697,
              1.49487
            ],
            [
              0.8185,
              1.2832,
              1.349,
              1.4289,
              1.5244,
              1.6389,
              1.7763
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.03534,
              0.19624,
              0.22782,
              0.26594,
              0.31152,
              0.36623,
              0.43235
            ],
            [
              0.03536,
              0.19608,
              0.22781,
              0.26601,
              0.31156,
              0.36626,
              0.43225
            ],
            [
              0.03537,
              0.19607,
              0.22787,
              0.26602,
              0.31146,
              0.36627,
              0.43216
            ],
            [
              0.03534,
              0.1961,
              0.22791,
              0.26605,
              0.31159,
              0.36626,
              0.43207
            ],
            [
              0.03582,
              0.19616,
              0.22795,
              0.26607,
              0.31147,
              0.36625,
              0.43203
            ],
            [
              0.03907,
              0.19616,
              0.22789,
              0.26592,
              0.31148,
              0.36626,
              0.4321
            ],
            [
              0.04708,
              0.19608,
              0.22785,
              0.26594,
              0.31161,
              0.36627,
              0.43201
            ],
            [
              0.05941,
              0.1964,
              0.22784,
              0.26609,
              0.31158,
              0.36626,
              0.43234
            ],
            [
              0.07616,
              0.20227,
              0.23135,
              0.2674,
              0.31181,
              0.36627,
              0.43213
            ],
            [
              0.09918,
              0.22038,
              0.24637,
              0.27913,
              0.31986,
              0.37047,
              0.43336
            ],
            [
              0.13062,
              0.25988,
              0.28189,
              0.3101,
              0.3459,
              0.39154,
              0.44897
            ],
            [
              0.1739,
              0.3233,
              0.3466,
              0.3731,
              0.404,
              0.4427,
              0.4927
            ],
            [
              0.2342,
              0.4084,
              0.4355,
              0.4661,
              0.5015,
              0.539,
              0.5833
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.08845,
              0.52601,
              0.61314,
              0.71846,
              0.84333,
              0.99399,
              1.17438
            ],
            [
              0.0884,
              0.5261,
              0.6135,
              0.71828,
              0.84331,
              0.9938,
              1.17469
            ],
            [
              0.08844,
              0.52613,
              0.61343,
              0.71823,
              0.84327,
              0.99384,
              1.17441
            ],
            [
              0.08845,
              0.52605,
              0.61299,
              0.71813,
              0.84353,
              0.99378,
              1.1745
            ],
            [
              0.08841,
              0.52597,
              0.61355,
              0.71852,
              0.84368,
              0.99382,
              1.17451
            ],
            [
              0.08832,
              0.52578,
              0.61358,
              0.71814,
              0.8439,
              0.9939,
              1.17435
            ],
            [
              0.08824,
              0.52591,
              0.61347,
              0.71809,
              0.84392,
              0.99392,
              1.17442
            ],
            [
              0.08762,
              0.52593,
              0.61307,
              0.71843,
              0.8437,
              0.99404,
              1.17431
            ],
            [
              0.09227,
              0.52577,
              0.61355,
              0.71819,
              0.84369,
              0.99457,
              1.1749
            ],
            [
              0.10796,
              0.52595,
              0.61345,
              0.71819,
              0.84368,
              0.99391,
              1.17523
            ],
            [
              0.13847,
              0.5257,
              0.6129,
              0.7181,
              0.8438,
              0.9941,
              1.1753
            ],
            [
              0.1785,
              0.537,
              0.6189,
              0.7195,
              0.8438,
              0.9939,
              1.1753
            ],
            [
              0.2343,
              0.5814,
              0.6542,
              0.7454,
              0.8592,
              1.0006,
              1.1754
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.03591,
              0.15902,
              0.18374,
              0.21301,
              0.24843,
              0.2908,
              0.34127
            ],
            [
              0.03899,
              0.16243,
              0.18697,
              0.21671,
              0.25161,
              0.29416,
              0.34506
            ],
            [
              0.04274,
              0.1665,
              0.19116,
              0.22048,
              0.25584,
              0.29838,
              0.34907
            ],
            [
              0.04842,
              0.17259,
              0.19715,
              0.22689,
              0.26188,
              0.30444,
              0.3553
            ],
            [
              0.05713,
              0.18195,
              0.20625,
              0.23588,
              0.2713,
              0.3132,
              0.36429
            ],
            [
              0.07025,
              0.19552,
              0.21991,
              0.2494,
              0.28487,
              0.32717,
              0.37774
            ],
            [
              0.08716,
              0.21576,
              0.24036,
              0.26985,
              0.3053,
              0.34725,
              0.39828
            ],
            [
              0.10875,
              0.24631,
              0.2709,
              0.30043,
              0.3357,
              0.37813,
              0.42926
            ],
            [
              0.13609,
              0.29238,
              0.31689,
              0.34608,
              0.38189,
              0.42436,
              0.47467
            ],
            [
              0.17119,
              0.36154,
              0.38628,
              0.41563,
              0.45026,
              0.49324,
              0.54416
            ],
            [
              0.21561,
              0.45472,
              0.48532,
              0.51842,
              0.55512,
              0.59662,
              0.64802
            ],
            [
              0.27157,
              0.57447,
              0.61247,
              0.65387,
              0.69887,
              0.74887,
              0.80387
            ],
            [
              0.3411,
              0.7287,
              0.7757,
              0.8272,
              0.8837,
              0.9456,
              1.0136
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.15304,
              0.61777,
              0.70986,
              0.82022,
              0.95236,
              1.11067,
              1.30087
            ],
            [
              0.15508,
              0.62112,
              0.71325,
              0.82373,
              0.95581,
              1.11414,
              1.30454
            ],
            [
              0.15776,
              0.62498,
              0.71718,
              0.8277,
              0.9599,
              1.11832,
              1.30892
            ],
            [
              0.16232,
              0.63084,
              0.7234,
              0.83401,
              0.9662,
              1.12468,
              1.31498
            ],
            [
              0.17044,
              0.64017,
              0.73252,
              0.84328,
              0.97561,
              1.13411,
              1.32471
            ],
            [
              0.18352,
              0.65444,
              0.74712,
              0.85802,
              0.99042,
              1.14912,
              1.33982
            ],
            [
              0.20527,
              0.67622,
              0.76893,
              0.87983,
              1.01293,
              1.17183,
              1.36253
            ],
            [
              0.23959,
              0.71006,
              0.80286,
              0.91406,
              1.04696,
              1.20606,
              1.39706
            ],
            [
              0.29279,
              0.76155,
              0.85435,
              0.96515,
              1.09825,
              1.25765,
              1.44895
            ],
            [
              0.37463,
              0.83899,
              0.93219,
              1.04329,
              1.17599,
              1.33489,
              1.52569
            ],
            [
              0.49072,
              0.95912,
              1.05082,
              1.16292,
              1.29572,
              1.45472,
              1.64532
            ],
            [
              0.64797,
              1.13987,
              1.23087,
              1.34327,
              1.47577,
              1.63457,
              1.82507
            ],
            [
              0.8591,
              1.4139,
              1.5059,
              1.6162,
              1.7482,
              1.9063,
              2.0962
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.03528,
              0.19609,
              0.22791,
              0.26588,
              0.31154,
              0.36631,
              0.43209
            ],
            [
              0.0353,
              0.19614,
              0.22789,
              0.2661,
              0.31149,
              0.36625,
              0.43206
            ],
            [
              0.03531,
              0.19616,
              0.22785,
              0.26603,
              0.31158,
              0.36638,
              0.43233
            ],
            [
              0.03529,
              0.19614,
              0.2279,
              0.26598,
              0.31151,
              0.36631,
              0.43237
            ],
            [
              0.03577,
              0.19623,
              0.22785,
              0.26598,
              0.31159,
              0.36618,
              0.43211
            ],
            [
              0.03894,
              0.1962,
              0.22788,
              0.26608,
              0.31164,
              0.3663,
              0.43204
            ],
            [
              0.04673,
              0.19609,
              0.22787,
              0.26593,
              0.31163,
              0.36621,
              0.43213
            ],
            [
              0.05907,
              0.19636,
              0.22784,
              0.2661,
              0.31153,
              0.36627,
              0.43234
            ],
            [
              0.07586,
              0.202,
              0.23118,
              0.26729,
              0.31176,
              0.36627,
              0.43213
            ],
            [
              0.09874,
              0.22006,
              0.24603,
              0.27876,
              0.31975,
              0.37029,
              0.43327
            ],
            [
              0.13019,
              0.25951,
              0.28113,
              0.30961,
              0.34551,
              0.3913,
              0.44877
            ],
            [
              0.1735,
              0.3228,
              0.3456,
              0.3719,
              0.403,
              0.4416,
              0.4918
            ],
            [
              0.234,
              0.4076,
              0.4344,
              0.465,
              0.4992,
              0.5384,
              0.5827
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.12216,
              0.7178,
              0.83631,
              0.97914,
              1.14931,
              1.35403,
              1.60029
            ],
            [
              0.12214,
              0.71742,
              0.83665,
              0.97911,
              1.14953,
              1.35416,
              1.59994
            ],
            [
              0.12212,
              0.71786,
              0.83669,
              0.9792,
              1.14956,
              1.35404,
              1.59874
            ],
            [
              0.12202,
              0.71783,
              0.83661,
              0.97897,
              1.14955,
              1.35393,
              1.60032
            ],
            [
              0.12222,
              0.71768,
              0.83668,
              0.97925,
              1.14953,
              1.35403,
              1.59993
            ],
            [
              0.12174,
              0.71789,
              0.83666,
              0.97923,
              1.14968,
              1.35403,
              1.59953
            ],
            [
              0.12152,
              0.71785,
              0.8367,
              0.97922,
              1.14964,
              1.35411,
              1.60016
            ],
            [
              0.1208,
              0.71768,
              0.83659,
              0.97914,
              1.14984,
              1.3543,
              1.59997
            ],
            [
              0.1209,
              0.71786,
              0.83646,
              0.97924,
              1.14968,
              1.35422,
              1.59999
            ],
            [
              0.13096,
              0.71769,
              0.83655,
              0.97917,
              1.1494,
              1.3545,
              1.6002
            ],
            [
              0.15934,
              0.7178,
              0.8368,
              0.9794,
              1.1498,
              1.3542,
              1.6005
            ],
            [
              0.2007,
              0.7186,
              0.8361,
              0.9793,
              1.15,
              1.3546,
              1.6004
            ],
            [
              0.2589,
              0.7451,
              0.8526,
              0.9865,
              1.1511,
              1.3543,
              1.6005
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.03591,
              0.15903,
              0.18375,
              0.21301,
              0.24846,
              0.29082,
              0.34126
            ],
            [
              0.03898,
              0.16243,
              0.18697,
              0.21671,
              0.25168,
              0.29416,
              0.34505
            ],
            [
              0.04272,
              0.1665,
              0.19108,
              0.22081,
              0.25571,
              0.29836,
              0.34902
            ],
            [
              0.04842,
              0.17259,
              0.19717,
              0.22671,
              0.26216,
              0.30416,
              0.35487
            ],
            [
              0.05712,
              0.18167,
              0.20624,
              0.23598,
              0.27129,
              0.31322,
              0.36421
            ],
            [
              0.07023,
              0.19549,
              0.21989,
              0.24937,
              0.28484,
              0.32717,
              0.37783
            ],
            [
              0.08713,
              0.21573,
              0.24032,
              0.26985,
              0.30528,
              0.34723,
              0.39821
            ],
            [
              0.10871,
              0.24627,
              0.27087,
              0.3004,
              0.33568,
              0.37812,
              0.42924
            ],
            [
              0.13605,
              0.29235,
              0.31686,
              0.34603,
              0.38183,
              0.42431,
              0.4746
            ],
            [
              0.17114,
              0.36149,
              0.38624,
              0.41559,
              0.45025,
              0.49332,
              0.54416
            ],
            [
              0.21556,
              0.45452,
              0.48522,
              0.51842,
              0.55512,
              0.59662,
              0.64802
            ],
            [
              0.27137,
              0.57437,
              0.61237,
              0.65387,
              0.69887,
              0.74877,
              0.80387
            ],
            [
              0.3411,
              0.7286,
              0.7754,
              0.8271,
              0.8835,
              0.9455,
              1.0134
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.18182,
              0.6358,
              0.72515,
              0.83227,
              0.96027,
              1.11357,
              1.29777
            ],
            [
              0.18422,
              0.6392,
              0.72858,
              0.8357,
              0.96364,
              1.11704,
              1.30134
            ],
            [
              0.18746,
              0.64316,
              0.73269,
              0.83978,
              0.96788,
              1.12132,
              1.30562
            ],
            [
              0.1927,
              0.64919,
              0.73877,
              0.84606,
              0.97428,
              1.12757,
              1.31198
            ],
            [
              0.20102,
              0.65852,
              0.74827,
              0.85563,
              0.98371,
              1.13731,
              1.32181
            ],
            [
              0.21469,
              0.6731,
              0.76304,
              0.87051,
              0.99872,
              1.15252,
              1.33712
            ],
            [
              0.23662,
              0.6952,
              0.78504,
              0.89303,
              1.02153,
              1.17543,
              1.35993
            ],
            [
              0.27057,
              0.7293,
              0.81932,
              0.92706,
              1.05586,
              1.20986,
              1.39466
            ],
            [
              0.32329,
              0.78095,
              0.87085,
              0.97845,
              1.10755,
              1.26185,
              1.44685
            ],
            [
              0.40429,
              0.85919,
              0.94999,
              1.05749,
              1.18559,
              1.33939,
              1.52399
            ],
            [
              0.52712,
              0.97922,
              1.06952,
              1.17732,
              1.30582,
              1.45972,
              1.64602
            ],
            [
              0.69427,
              1.16037,
              1.25077,
              1.35837,
              1.48677,
              1.64037,
              1.82467
            ],
            [
              0.9209,
              1.4361,
              1.5253,
              1.6323,
              1.7602,
              1.9133,
              2.097
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.03558,
              0.20417,
              0.23673,
              0.2754,
              0.32142,
              0.37643,
              0.4423
            ],
            [
              0.03559,
              0.20416,
              0.23669,
              0.27549,
              0.32145,
              0.37641,
              0.44234
            ],
            [
              0.03561,
              0.20417,
              0.23671,
              0.27549,
              0.32139,
              0.37641,
              0.44231
            ],
            [
              0.0356,
              0.20417,
              0.23676,
              0.27547,
              0.32148,
              0.37642,
              0.44232
            ],
            [
              0.03607,
              0.20417,
              0.23673,
              0.27551,
              0.32148,
              0.37631,
              0.44239
            ],
            [
              0.03923,
              0.2042,
              0.23671,
              0.27545,
              0.32149,
              0.37638,
              0.44235
            ],
            [
              0.04715,
              0.20417,
              0.23676,
              0.27545,
              0.3215,
              0.37629,
              0.44237
            ],
            [
              0.06033,
              0.20435,
              0.23675,
              0.27547,
              0.3214,
              0.37647,
              0.44235
            ],
            [
              0.0787,
              0.2101,
              0.24008,
              0.27681,
              0.32163,
              0.3764,
              0.44233
            ],
            [
              0.10543,
              0.22816,
              0.25492,
              0.28827,
              0.32965,
              0.38035,
              0.44359
            ],
            [
              0.14503,
              0.26774,
              0.29014,
              0.31911,
              0.35538,
              0.40149,
              0.45868
            ],
            [
              0.1981,
              0.3333,
              0.3557,
              0.3817,
              0.4127,
              0.4518,
              0.5019
            ],
            [
              0.2688,
              0.421,
              0.4474,
              0.477,
              0.5107,
              0.5491,
              0.593
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.13878,
              0.7174,
              0.83246,
              0.97074,
              1.13597,
              1.3342,
              1.57232
            ],
            [
              0.1387,
              0.71716,
              0.8325,
              0.97075,
              1.13604,
              1.33443,
              1.57212
            ],
            [
              0.1387,
              0.71737,
              0.83257,
              0.97072,
              1.13587,
              1.33407,
              1.57247
            ],
            [
              0.13875,
              0.71751,
              0.83277,
              0.97074,
              1.13586,
              1.33416,
              1.57257
            ],
            [
              0.13871,
              0.71752,
              0.83246,
              0.97053,
              1.13603,
              1.33422,
              1.57217
            ],
            [
              0.13864,
              0.71725,
              0.83254,
              0.97073,
              1.136,
              1.33403,
              1.57213
            ],
            [
              0.13858,
              0.71746,
              0.83244,
              0.97069,
              1.13577,
              1.33421,
              1.57255
            ],
            [
              0.13841,
              0.71729,
              0.8325,
              0.97065,
              1.13613,
              1.33434,
              1.57252
            ],
            [
              0.13686,
              0.7173,
              0.83276,
              0.97079,
              1.13606,
              1.33421,
              1.57232
            ],
            [
              0.14109,
              0.71731,
              0.83267,
              0.97053,
              1.1361,
              1.3343,
              1.5728
            ],
            [
              0.16114,
              0.7175,
              0.8326,
              0.9704,
              1.1361,
              1.3343,
              1.5728
            ],
            [
              0.2024,
              0.7175,
              0.8322,
              0.9707,
              1.1364,
              1.3345,
              1.5726
            ],
            [
              0.2579,
              0.7397,
              0.8455,
              0.9764,
              1.1368,
              1.3343,
              1.5724
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.04171,
              0.16475,
              0.1894,
              0.21891,
              0.25396,
              0.29641,
              0.34732
            ],
            [
              0.04526,
              0.16857,
              0.19309,
              0.22267,
              0.2579,
              0.29992,
              0.35108
            ],
            [
              0.0493,
              0.17304,
              0.19753,
              0.22688,
              0.26231,
              0.30466,
              0.35538
            ],
            [
              0.05512,
              0.17916,
              0.2038,
              0.23322,
              0.26837,
              0.31083,
              0.36177
            ],
            [
              0.06365,
              0.18811,
              0.21273,
              0.24211,
              0.27732,
              0.31985,
              0.37074
            ],
            [
              0.0762,
              0.20124,
              0.22582,
              0.25518,
              0.29067,
              0.33303,
              0.38376
            ],
            [
              0.09331,
              0.22061,
              0.24521,
              0.27467,
              0.31011,
              0.35244,
              0.40326
            ],
            [
              0.11651,
              0.24962,
              0.27426,
              0.30381,
              0.33927,
              0.38151,
              0.43261
            ],
            [
              0.14761,
              0.29278,
              0.3176,
              0.34732,
              0.38271,
              0.42508,
              0.4762
            ],
            [
              0.1887,
              0.35725,
              0.38259,
              0.41237,
              0.44788,
              0.49033,
              0.5416
            ],
            [
              0.24247,
              0.44652,
              0.47512,
              0.50782,
              0.54512,
              0.58802,
              0.63932
            ],
            [
              0.31247,
              0.56737,
              0.60087,
              0.63847,
              0.68097,
              0.72907,
              0.78407
            ],
            [
              0.4029,
              0.7295,
              0.7703,
              0.8154,
              0.8655,
              0.9214,
              0.9844
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.09105,
              0.36221,
              0.41609,
              0.48067,
              0.55797,
              0.65067,
              0.76216
            ],
            [
              0.09392,
              0.3656,
              0.41947,
              0.48412,
              0.56144,
              0.65417,
              0.76574
            ],
            [
              0.09775,
              0.36987,
              0.4238,
              0.48852,
              0.56587,
              0.65854,
              0.77014
            ],
            [
              0.1039,
              0.3765,
              0.43054,
              0.49524,
              0.57264,
              0.66551,
              0.77687
            ],
            [
              0.11368,
              0.38676,
              0.44081,
              0.50558,
              0.58294,
              0.67572,
              0.78724
            ],
            [
              0.12902,
              0.40247,
              0.45649,
              0.52127,
              0.59872,
              0.69153,
              0.80289
            ],
            [
              0.15279,
              0.42617,
              0.48028,
              0.54497,
              0.62242,
              0.71518,
              0.82647
            ],
            [
              0.18907,
              0.46159,
              0.51568,
              0.58041,
              0.65766,
              0.75184,
              0.86336
            ],
            [
              0.24428,
              0.51647,
              0.5706,
              0.6344,
              0.71249,
              0.80465,
              0.91745
            ],
            [
              0.32046,
              0.59842,
              0.65189,
              0.71739,
              0.79489,
              0.88779,
              0.99909
            ],
            [
              0.42254,
              0.72252,
              0.77602,
              0.84072,
              0.91832,
              1.01132,
              1.12312
            ],
            [
              0.56087,
              0.90907,
              0.96327,
              1.02727,
              1.10467,
              1.19747,
              1.30887
            ],
            [
              0.7475,
              1.1871,
              1.2431,
              1.3074,
              1.3845,
              1.4769,
              1.5881
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.02666,
              0.1855,
              0.21739,
              0.25556,
              0.30122,
              0.35621,
              0.42192
            ],
            [
              0.02666,
              0.18555,
              0.21743,
              0.25555,
              0.30125,
              0.3561,
              0.42207
            ],
            [
              0.02666,
              0.18557,
              0.21749,
              0.25559,
              0.30132,
              0.35602,
              0.42206
            ],
            [
              0.02667,
              0.18561,
              0.21739,
              0.25582,
              0.30133,
              0.35616,
              0.42195
            ],
            [
              0.02673,
              0.1856,
              0.21741,
              0.25551,
              0.30131,
              0.35613,
              0.42199
            ],
            [
              0.02821,
              0.18571,
              0.21738,
              0.25559,
              0.30131,
              0.35609,
              0.42231
            ],
            [
              0.03227,
              0.18585,
              0.21729,
              0.25559,
              0.30129,
              0.35623,
              0.42209
            ],
            [
              0.03823,
              0.18597,
              0.21725,
              0.25559,
              0.30142,
              0.35608,
              0.42206
            ],
            [
              0.04744,
              0.18955,
              0.21951,
              0.25698,
              0.30143,
              0.35611,
              0.42182
            ],
            [
              0.06093,
              0.20018,
              0.22871,
              0.26377,
              0.30645,
              0.35904,
              0.42292
            ],
            [
              0.08004,
              0.22511,
              0.25069,
              0.28257,
              0.32224,
              0.37207,
              0.43327
            ],
            [
              0.1067,
              0.2662,
              0.2922,
              0.3233,
              0.3592,
              0.4036,
              0.4595
            ],
            [
              0.1443,
              0.3258,
              0.3534,
              0.3853,
              0.4225,
              0.4668,
              0.5191
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.07031,
              0.42671,
              0.49776,
              0.58341,
              0.6857,
              0.80798,
              0.9546
            ],
            [
              0.07041,
              0.42671,
              0.49753,
              0.58293,
              0.68539,
              0.8078,
              0.95541
            ],
            [
              0.07026,
              0.42671,
              0.49793,
              0.58337,
              0.68512,
              0.80805,
              0.95502
            ],
            [
              0.07038,
              0.42666,
              0.49794,
              0.58338,
              0.68499,
              0.80776,
              0.95498
            ],
            [
              0.07037,
              0.42654,
              0.49794,
              0.58309,
              0.6856,
              0.80799,
              0.9549
            ],
            [
              0.07027,
              0.42663,
              0.49781,
              0.58325,
              0.68535,
              0.80816,
              0.95528
            ],
            [
              0.07003,
              0.42641,
              0.49795,
              0.58298,
              0.68561,
              0.80806,
              0.95519
            ],
            [
              0.07152,
              0.42662,
              0.49795,
              0.58291,
              0.68519,
              0.80802,
              0.95542
            ],
            [
              0.08052,
              0.42659,
              0.49792,
              0.58343,
              0.68557,
              0.80833,
              0.95547
            ],
            [
              0.10116,
              0.42676,
              0.49784,
              0.58288,
              0.68518,
              0.80786,
              0.95556
            ],
            [
              0.13049,
              0.4297,
              0.4981,
              0.583,
              0.685,
              0.8076,
              0.9555
            ],
            [
              0.1699,
              0.4532,
              0.5152,
              0.5928,
              0.6896,
              0.808,
              0.9558
            ],
            [
              0.224,
              0.515,
              0.5694,
              0.6375,
              0.7235,
              0.8312,
              0.9665
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.04175,
              0.16489,
              0.18935,
              0.21887,
              0.25417,
              0.29629,
              0.34717
            ],
            [
              0.04529,
              0.16867,
              0.1933,
              0.2227,
              0.25782,
              0.30033,
              0.35104
            ],
            [
              0.04935,
              0.17308,
              0.19757,
              0.22697,
              0.26237,
              0.30463,
              0.3555
            ],
            [
              0.05519,
              0.17928,
              0.20386,
              0.23317,
              0.2686,
              0.31095,
              0.36157
            ],
            [
              0.06374,
              0.18815,
              0.21285,
              0.24228,
              0.27745,
              0.31983,
              0.37086
            ],
            [
              0.07633,
              0.20139,
              0.22594,
              0.25533,
              0.29073,
              0.33318,
              0.3838
            ],
            [
              0.09347,
              0.2208,
              0.24546,
              0.27486,
              0.31033,
              0.35259,
              0.40342
            ],
            [
              0.11669,
              0.24984,
              0.27442,
              0.30401,
              0.33947,
              0.3817,
              0.43282
            ],
            [
              0.14778,
              0.29303,
              0.31783,
              0.34761,
              0.38295,
              0.42537,
              0.47651
            ],
            [
              0.18878,
              0.3575,
              0.38283,
              0.41261,
              0.44813,
              0.49059,
              0.54185
            ],
            [
              0.24253,
              0.44682,
              0.47542,
              0.50802,
              0.54532,
              0.58832,
              0.63952
            ],
            [
              0.31257,
              0.56787,
              0.60117,
              0.63877,
              0.68117,
              0.72937,
              0.78437
            ],
            [
              0.4029,
              0.7298,
              0.7705,
              0.8157,
              0.8658,
              0.9217,
              0.9847
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.10281,
              0.41557,
              0.47775,
              0.55231,
              0.64139,
              0.74834,
              0.87696
            ],
            [
              0.10535,
              0.41875,
              0.48086,
              0.55552,
              0.64474,
              0.7517,
              0.8803
            ],
            [
              0.10889,
              0.42287,
              0.48511,
              0.55973,
              0.64895,
              0.75602,
              0.88456
            ],
            [
              0.11464,
              0.42929,
              0.49156,
              0.56629,
              0.65553,
              0.76257,
              0.89124
            ],
            [
              0.12411,
              0.43929,
              0.50165,
              0.57636,
              0.66561,
              0.77269,
              0.90144
            ],
            [
              0.13898,
              0.45458,
              0.51696,
              0.5917,
              0.68108,
              0.78818,
              0.91684
            ],
            [
              0.16221,
              0.47788,
              0.54025,
              0.61501,
              0.70435,
              0.81132,
              0.94063
            ],
            [
              0.19782,
              0.51265,
              0.57503,
              0.64976,
              0.74014,
              0.84746,
              0.97636
            ],
            [
              0.2523,
              0.5657,
              0.62811,
              0.70279,
              0.79255,
              0.90055,
              1.02955
            ],
            [
              0.32996,
              0.64609,
              0.70789,
              0.78429,
              0.87379,
              0.98089,
              1.10939
            ],
            [
              0.43357,
              0.76892,
              0.83072,
              0.90562,
              0.99512,
              1.10252,
              1.23132
            ],
            [
              0.57357,
              0.95237,
              1.01437,
              1.08917,
              1.17837,
              1.28547,
              1.41397
            ],
            [
              0.7621,
              1.2291,
              1.2904,
              1.3647,
              1.4535,
              1.5603,
              1.6886
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.02664,
              0.18559,
              0.21727,
              0.25562,
              0.30128,
              0.35601,
              0.42215
            ],
            [
              0.02666,
              0.1856,
              0.21739,
              0.25564,
              0.30132,
              0.35606,
              0.42247
            ],
            [
              0.02666,
              0.18558,
              0.21742,
              0.25562,
              0.30125,
              0.3561,
              0.42197
            ],
            [
              0.02666,
              0.18558,
              0.21759,
              0.25559,
              0.30131,
              0.35604,
              0.4222
            ],
            [
              0.0267,
              0.18557,
              0.21741,
              0.25563,
              0.30132,
              0.3562,
              0.42194
            ],
            [
              0.02817,
              0.18568,
              0.21736,
              0.25559,
              0.30132,
              0.35608,
              0.42187
            ],
            [
              0.03221,
              0.18583,
              0.21742,
              0.25557,
              0.3013,
              0.35604,
              0.42209
            ],
            [
              0.03813,
              0.18579,
              0.21735,
              0.25558,
              0.30127,
              0.35613,
              0.42205
            ],
            [
              0.04735,
              0.18943,
              0.21947,
              0.25699,
              0.3014,
              0.35611,
              0.42224
            ],
            [
              0.06088,
              0.20007,
              0.22864,
              0.26349,
              0.3064,
              0.35896,
              0.42285
            ],
            [
              0.07997,
              0.22493,
              0.25067,
              0.28239,
              0.32208,
              0.37203,
              0.43326
            ],
            [
              0.1067,
              0.2658,
              0.2921,
              0.3231,
              0.3591,
              0.4035,
              0.4594
            ],
            [
              0.1442,
              0.3256,
              0.3531,
              0.3851,
              0.4223,
              0.4665,
              0.5189
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.08114,
              0.48946,
              0.57097,
              0.66884,
              0.78562,
              0.926,
              1.09498
            ],
            [
              0.08107,
              0.48944,
              0.57087,
              0.66885,
              0.78558,
              0.92616,
              1.09514
            ],
            [
              0.08109,
              0.48928,
              0.571,
              0.66848,
              0.78519,
              0.92586,
              1.09481
            ],
            [
              0.08113,
              0.48923,
              0.57083,
              0.66886,
              0.78536,
              0.92606,
              1.09419
            ],
            [
              0.08099,
              0.48943,
              0.57085,
              0.66878,
              0.78586,
              0.9256,
              1.09437
            ],
            [
              0.08088,
              0.4894,
              0.57103,
              0.66843,
              0.78589,
              0.92597,
              1.09456
            ],
            [
              0.08071,
              0.48938,
              0.57083,
              0.66881,
              0.78583,
              0.92571,
              1.09481
            ],
            [
              0.08103,
              0.4894,
              0.57087,
              0.66844,
              0.78582,
              0.92588,
              1.09509
            ],
            [
              0.08822,
              0.48938,
              0.57092,
              0.66875,
              0.78582,
              0.92623,
              1.09454
            ],
            [
              0.10762,
              0.4891,
              0.57089,
              0.66882,
              0.78575,
              0.92593,
              1.09515
            ],
            [
              0.1376,
              0.4901,
              0.5706,
              0.6683,
              0.7859,
              0.9264,
              1.0947
            ],
            [
              0.1776,
              0.5081,
              0.5818,
              0.6733,
              0.7867,
              0.926,
              1.0952
            ],
            [
              0.2327,
              0.5625,
              0.6278,
              0.7097,
              0.8117,
              0.9404,
              1.0999
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.04175,
              0.16488,
              0.18937,
              0.21881,
              0.25418,
              0.29636,
              0.34709
            ],
            [
              0.04529,
              0.16866,
              0.1933,
              0.22268,
              0.25784,
              0.30032,
              0.35109
            ],
            [
              0.04934,
              0.173,
              0.19761,
              0.22692,
              0.26232,
              0.30468,
              0.35528
            ],
            [
              0.05519,
              0.17927,
              0.20386,
              0.23317,
              0.26859,
              0.31096,
              0.36168
            ],
            [
              0.06373,
              0.18816,
              0.21284,
              0.2422,
              0.27749,
              0.31996,
              0.37085
            ],
            [
              0.07631,
              0.20138,
              0.22593,
              0.25531,
              0.2908,
              0.33316,
              0.38378
            ],
            [
              0.09345,
              0.22077,
              0.24544,
              0.27482,
              0.31031,
              0.35257,
              0.4034
            ],
            [
              0.11667,
              0.24981,
              0.27439,
              0.30406,
              0.33945,
              0.38167,
              0.4328
            ],
            [
              0.14776,
              0.293,
              0.31781,
              0.34759,
              0.38292,
              0.42549,
              0.47648
            ],
            [
              0.18883,
              0.35747,
              0.3828,
              0.41258,
              0.4481,
              0.49056,
              0.54182
            ],
            [
              0.24257,
              0.44682,
              0.47532,
              0.50802,
              0.54532,
              0.58822,
              0.63952
            ],
            [
              0.31257,
              0.56777,
              0.60107,
              0.63877,
              0.68117,
              0.72937,
              0.78437
            ],
            [
              0.4029,
              0.7297,
              0.7705,
              0.8157,
              0.8657,
              0.9217,
              0.9846
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.10126,
              0.40808,
              0.4691,
              0.54231,
              0.62973,
              0.73474,
              0.86084
            ],
            [
              0.10384,
              0.41134,
              0.47238,
              0.54556,
              0.6331,
              0.73808,
              0.86441
            ],
            [
              0.1074,
              0.41548,
              0.47648,
              0.54978,
              0.63732,
              0.74233,
              0.86857
            ],
            [
              0.11321,
              0.42201,
              0.48313,
              0.55636,
              0.64394,
              0.74891,
              0.87521
            ],
            [
              0.12274,
              0.43196,
              0.49318,
              0.56644,
              0.65403,
              0.75913,
              0.8853
            ],
            [
              0.13767,
              0.44731,
              0.5085,
              0.58188,
              0.66953,
              0.77459,
              0.90069
            ],
            [
              0.16097,
              0.47067,
              0.53188,
              0.6052,
              0.69289,
              0.79786,
              0.92473
            ],
            [
              0.19668,
              0.50556,
              0.56675,
              0.64008,
              0.72879,
              0.83409,
              0.96046
            ],
            [
              0.25128,
              0.55873,
              0.61997,
              0.69322,
              0.78135,
              0.88725,
              1.01385
            ],
            [
              0.32875,
              0.63939,
              0.70009,
              0.77499,
              0.86269,
              0.96779,
              1.09389
            ],
            [
              0.43215,
              0.76242,
              0.82312,
              0.89662,
              0.98442,
              1.08972,
              1.21622
            ],
            [
              0.57197,
              0.94637,
              1.00707,
              1.08057,
              1.16807,
              1.27317,
              1.39937
            ],
            [
              0.7602,
              1.2234,
              1.2839,
              1.3567,
              1.4439,
              1.5486,
              1.6746
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.02664,
              0.18557,
              0.21739,
              0.25563,
              0.30126,
              0.35633,
              0.42213
            ],
            [
              0.02666,
              0.1856,
              0.2174,
              0.25565,
              0.30132,
              0.35608,
              0.42204
            ],
            [
              0.02666,
              0.1856,
              0.21758,
              0.25557,
              0.30131,
              0.35604,
              0.42214
            ],
            [
              0.02666,
              0.18559,
              0.21761,
              0.25557,
              0.30132,
              0.35602,
              0.4221
            ],
            [
              0.0267,
              0.18559,
              0.21741,
              0.25551,
              0.30135,
              0.35605,
              0.42194
            ],
            [
              0.02818,
              0.18568,
              0.21736,
              0.25558,
              0.3013,
              0.35609,
              0.42187
            ],
            [
              0.03221,
              0.18585,
              0.21742,
              0.25558,
              0.3013,
              0.35604,
              0.42209
            ],
            [
              0.03814,
              0.18579,
              0.21735,
              0.25595,
              0.30132,
              0.35613,
              0.42205
            ],
            [
              0.04736,
              0.18945,
              0.21948,
              0.25701,
              0.30141,
              0.35624,
              0.42225
            ],
            [
              0.06085,
              0.2001,
              0.22865,
              0.26349,
              0.3064,
              0.359,
              0.42288
            ],
            [
              0.07995,
              0.22498,
              0.25072,
              0.28244,
              0.32212,
              0.37197,
              0.4332
            ],
            [
              0.1067,
              0.2657,
              0.2922,
              0.3231,
              0.3591,
              0.4034,
              0.4594
            ],
            [
              0.1442,
              0.3256,
              0.3532,
              0.3851,
              0.4223,
              0.4666,
              0.519
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.07959,
              0.48041,
              0.56033,
              0.65675,
              0.77112,
              0.90888,
              1.07524
            ],
            [
              0.07957,
              0.48062,
              0.56057,
              0.65626,
              0.7718,
              0.9089,
              1.07464
            ],
            [
              0.07963,
              0.48057,
              0.56047,
              0.6568,
              0.7713,
              0.90939,
              1.07462
            ],
            [
              0.0795,
              0.48057,
              0.56066,
              0.65683,
              0.77177,
              0.90971,
              1.07515
            ],
            [
              0.07955,
              0.48049,
              0.56071,
              0.65663,
              0.77125,
              0.90944,
              1.07519
            ],
            [
              0.07938,
              0.48052,
              0.56045,
              0.65689,
              0.77105,
              0.90963,
              1.07557
            ],
            [
              0.07925,
              0.48042,
              0.5606,
              0.65646,
              0.77183,
              0.90939,
              1.07525
            ],
            [
              0.07962,
              0.4806,
              0.56058,
              0.65677,
              0.77152,
              0.90983,
              1.07505
            ],
            [
              0.08708,
              0.48062,
              0.56051,
              0.65684,
              0.77153,
              0.90974,
              1.07527
            ],
            [
              0.10679,
              0.48041,
              0.56058,
              0.65688,
              0.77159,
              0.90972,
              1.07542
            ],
            [
              0.13659,
              0.4814,
              0.5605,
              0.6567,
              0.7717,
              0.9097,
              1.0751
            ],
            [
              0.1765,
              0.5002,
              0.5725,
              0.662,
              0.7729,
              0.9098,
              1.0753
            ],
            [
              0.2315,
              0.5557,
              0.6196,
              0.6996,
              0.7995,
              0.9248,
              1.0812
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.04181,
              0.16488,
              0.1894,
              0.21884,
              0.25414,
              0.29632,
              0.3473
            ],
            [
              0.0453,
              0.16877,
              0.19327,
              0.22282,
              0.25784,
              0.30036,
              0.3511
            ],
            [
              0.04946,
              0.17307,
              0.1978,
              0.22732,
              0.26235,
              0.30475,
              0.35529
            ],
            [
              0.05537,
              0.17938,
              0.20402,
              0.23353,
              0.26867,
              0.31109,
              0.36174
            ],
            [
              0.06395,
              0.18847,
              0.21307,
              0.24255,
              0.2778,
              0.32004,
              0.37096
            ],
            [
              0.07659,
              0.20166,
              0.22622,
              0.25571,
              0.29111,
              0.33337,
              0.38408
            ],
            [
              0.0938,
              0.22118,
              0.24578,
              0.27529,
              0.31067,
              0.353,
              0.40375
            ],
            [
              0.11708,
              0.2503,
              0.27487,
              0.30449,
              0.3399,
              0.38214,
              0.43326
            ],
            [
              0.14822,
              0.29357,
              0.31839,
              0.34815,
              0.3835,
              0.42595,
              0.47694
            ],
            [
              0.18923,
              0.35808,
              0.38334,
              0.41313,
              0.44872,
              0.49135,
              0.54241
            ],
            [
              0.24295,
              0.44752,
              0.47612,
              0.50872,
              0.54592,
              0.58892,
              0.64012
            ],
            [
              0.31277,
              0.56857,
              0.60207,
              0.63947,
              0.68187,
              0.72997,
              0.78497
            ],
            [
              0.4031,
              0.7305,
              0.7713,
              0.8164,
              0.8665,
              0.9224,
              0.9854
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.1358,
              0.57232,
              0.65921,
              0.76336,
              0.88789,
              1.03727,
              1.21687
            ],
            [
              0.13771,
              0.57518,
              0.66206,
              0.76619,
              0.89084,
              1.04024,
              1.21994
            ],
            [
              0.14052,
              0.57883,
              0.66572,
              0.76999,
              0.89471,
              1.04422,
              1.22382
            ],
            [
              0.14539,
              0.58474,
              0.6717,
              0.77599,
              0.90065,
              1.05018,
              1.22998
            ],
            [
              0.15368,
              0.59395,
              0.681,
              0.78533,
              0.91007,
              1.05971,
              1.23941
            ],
            [
              0.16731,
              0.60829,
              0.69547,
              0.79983,
              0.92465,
              1.07432,
              1.25422
            ],
            [
              0.18926,
              0.6304,
              0.71756,
              0.822,
              0.94673,
              1.09693,
              1.27683
            ],
            [
              0.22318,
              0.66353,
              0.75075,
              0.85626,
              0.98116,
              1.13096,
              1.31096
            ],
            [
              0.2754,
              0.71432,
              0.80155,
              0.90585,
              1.03185,
              1.18185,
              1.36195
            ],
            [
              0.35496,
              0.79119,
              0.87959,
              0.98409,
              1.10899,
              1.25869,
              1.43829
            ],
            [
              0.46282,
              0.90882,
              0.99532,
              1.10062,
              1.22572,
              1.37562,
              1.55562
            ],
            [
              0.60777,
              1.08507,
              1.17237,
              1.27677,
              1.40167,
              1.55117,
              1.73097
            ],
            [
              0.8018,
              1.3522,
              1.4388,
              1.5412,
              1.6656,
              1.8149,
              1.9945
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.02661,
              0.18581,
              0.21729,
              0.25559,
              0.30151,
              0.35596,
              0.42207
            ],
            [
              0.02661,
              0.18555,
              0.21741,
              0.25577,
              0.30129,
              0.35616,
              0.42202
            ],
            [
              0.02662,
              0.1855,
              0.2174,
              0.25584,
              0.30128,
              0.35644,
              0.42205
            ],
            [
              0.02662,
              0.18553,
              0.21741,
              0.25581,
              0.3013,
              0.35615,
              0.4219
            ],
            [
              0.02667,
              0.18566,
              0.21745,
              0.25563,
              0.30144,
              0.3561,
              0.42211
            ],
            [
              0.02811,
              0.18571,
              0.21728,
              0.2556,
              0.30158,
              0.35609,
              0.42201
            ],
            [
              0.03204,
              0.18584,
              0.21729,
              0.25559,
              0.30129,
              0.35626,
              0.42193
            ],
            [
              0.03798,
              0.18594,
              0.21732,
              0.25558,
              0.30125,
              0.35612,
              0.42205
            ],
            [
              0.0471,
              0.18936,
              0.2194,
              0.25695,
              0.30127,
              0.35611,
              0.4218
            ],
            [
              0.06057,
              0.19984,
              0.22846,
              0.26363,
              0.3063,
              0.35943,
              0.42285
            ],
            [
              0.07966,
              0.2245,
              0.25023,
              0.282,
              0.32196,
              0.37186,
              0.43313
            ],
            [
              0.1064,
              0.2654,
              0.2915,
              0.3226,
              0.3588,
              0.4032,
              0.4591
            ],
            [
              0.144,
              0.325,
              0.3525,
              0.3845,
              0.4217,
              0.4661,
              0.5185
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.11368,
              0.67605,
              0.78837,
              0.92286,
              1.08363,
              1.27667,
              1.50877
            ],
            [
              0.11366,
              0.67621,
              0.78843,
              0.92283,
              1.08356,
              1.27701,
              1.50906
            ],
            [
              0.11358,
              0.67619,
              0.78809,
              0.9229,
              1.08365,
              1.27594,
              1.50872
            ],
            [
              0.11352,
              0.67617,
              0.78825,
              0.92274,
              1.08359,
              1.27661,
              1.5088
            ],
            [
              0.11342,
              0.67617,
              0.78848,
              0.92239,
              1.08361,
              1.27666,
              1.50911
            ],
            [
              0.11313,
              0.6762,
              0.78801,
              0.92288,
              1.08382,
              1.27654,
              1.50883
            ],
            [
              0.1126,
              0.676,
              0.7883,
              0.92282,
              1.08371,
              1.27687,
              1.50858
            ],
            [
              0.11121,
              0.6762,
              0.78837,
              0.9231,
              1.08389,
              1.27667,
              1.50883
            ],
            [
              0.11383,
              0.67623,
              0.78855,
              0.92296,
              1.08372,
              1.27662,
              1.50887
            ],
            [
              0.12758,
              0.67623,
              0.78838,
              0.92301,
              1.08392,
              1.2765,
              1.5089
            ],
            [
              0.15793,
              0.6758,
              0.7881,
              0.9229,
              1.084,
              1.2772,
              1.5091
            ],
            [
              0.1994,
              0.6803,
              0.7887,
              0.9226,
              1.0839,
              1.2771,
              1.5091
            ],
            [
              0.2575,
              0.7157,
              0.8146,
              0.9379,
              1.0899,
              1.2775,
              1.5091
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.04183,
              0.16506,
              0.18934,
              0.21894,
              0.25438,
              0.29625,
              0.34718
            ],
            [
              0.04538,
              0.16878,
              0.19348,
              0.22264,
              0.25794,
              0.30048,
              0.35119
            ],
            [
              0.04945,
              0.17325,
              0.19783,
              0.22732,
              0.26231,
              0.30466,
              0.3557
            ],
            [
              0.05528,
              0.17939,
              0.2038,
              0.23328,
              0.26863,
              0.31119,
              0.36175
            ],
            [
              0.06382,
              0.18826,
              0.21302,
              0.24234,
              0.27753,
              0.31986,
              0.371
            ],
            [
              0.07643,
              0.20132,
              0.22592,
              0.25539,
              0.29101,
              0.33331,
              0.38393
            ],
            [
              0.09359,
              0.22092,
              0.2454,
              0.2749,
              0.31045,
              0.35253,
              0.40347
            ],
            [
              0.11682,
              0.24983,
              0.27443,
              0.30417,
              0.33963,
              0.38179,
              0.43294
            ],
            [
              0.14795,
              0.29313,
              0.31787,
              0.34755,
              0.38291,
              0.42537,
              0.47672
            ],
            [
              0.18899,
              0.35762,
              0.38294,
              0.41271,
              0.44827,
              0.49065,
              0.5419
            ],
            [
              0.2428,
              0.44692,
              0.47552,
              0.50822,
              0.54542,
              0.58842,
              0.63962
            ],
            [
              0.31287,
              0.56797,
              0.60127,
              0.63887,
              0.68137,
              0.72947,
              0.78447
            ],
            [
              0.4034,
              0.7299,
              0.7707,
              0.8158,
              0.8659,
              0.9218,
              0.9848
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.13006,
              0.44242,
              0.50437,
              0.57853,
              0.66731,
              0.7737,
              0.90165
            ],
            [
              0.13284,
              0.44563,
              0.50759,
              0.58186,
              0.67065,
              0.77706,
              0.90511
            ],
            [
              0.13661,
              0.44983,
              0.5118,
              0.58607,
              0.67487,
              0.78135,
              0.90927
            ],
            [
              0.14259,
              0.45632,
              0.51833,
              0.59267,
              0.68149,
              0.78797,
              0.91594
            ],
            [
              0.15213,
              0.46636,
              0.52842,
              0.60268,
              0.69157,
              0.7981,
              0.92612
            ],
            [
              0.16719,
              0.4817,
              0.54378,
              0.61821,
              0.70705,
              0.8136,
              0.94142
            ],
            [
              0.19037,
              0.50506,
              0.56716,
              0.64153,
              0.73037,
              0.83742,
              0.96553
            ],
            [
              0.22571,
              0.53991,
              0.60195,
              0.67737,
              0.76636,
              0.87306,
              1.00116
            ],
            [
              0.2795,
              0.59308,
              0.65515,
              0.72941,
              0.81865,
              0.92625,
              1.05455
            ],
            [
              0.36155,
              0.67329,
              0.73669,
              0.81119,
              0.90019,
              1.00659,
              1.13439
            ],
            [
              0.47462,
              0.79622,
              0.85742,
              0.93272,
              1.02192,
              1.12852,
              1.25662
            ],
            [
              0.62577,
              0.97947,
              1.04207,
              1.11647,
              1.20527,
              1.31177,
              1.43957
            ],
            [
              0.8308,
              1.2568,
              1.3183,
              1.3922,
              1.4807,
              1.5869,
              1.7147
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.03536,
              0.19623,
              0.2278,
              0.26603,
              0.31155,
              0.36618,
              0.43221
            ],
            [
              0.03537,
              0.19622,
              0.22786,
              0.26599,
              0.3116,
              0.36637,
              0.43193
            ],
            [
              0.03538,
              0.19617,
              0.22791,
              0.26604,
              0.3116,
              0.36625,
              0.4323
            ],
            [
              0.03537,
              0.19619,
              0.22784,
              0.26593,
              0.31159,
              0.3662,
              0.43203
            ],
            [
              0.03544,
              0.19622,
              0.22789,
              0.26611,
              0.31153,
              0.36629,
              0.43205
            ],
            [
              0.03692,
              0.19615,
              0.22782,
              0.26603,
              0.3116,
              0.36639,
              0.43219
            ],
            [
              0.04103,
              0.19611,
              0.22783,
              0.266,
              0.3116,
              0.36619,
              0.43216
            ],
            [
              0.04918,
              0.19625,
              0.22783,
              0.26599,
              0.31153,
              0.36641,
              0.43214
            ],
            [
              0.0605,
              0.19996,
              0.23014,
              0.26707,
              0.31173,
              0.36625,
              0.43218
            ],
            [
              0.07685,
              0.21084,
              0.23916,
              0.2742,
              0.31684,
              0.36916,
              0.43355
            ],
            [
              0.09998,
              0.23543,
              0.26107,
              0.29309,
              0.33268,
              0.38213,
              0.44286
            ],
            [
              0.1324,
              0.2777,
              0.3033,
              0.3336,
              0.3692,
              0.4138,
              0.4699
            ],
            [
              0.1779,
              0.3394,
              0.3659,
              0.397,
              0.4338,
              0.4773,
              0.5288
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.09675,
              0.50403,
              0.58527,
              0.6828,
              0.79879,
              0.93892,
              1.10688
            ],
            [
              0.09659,
              0.50427,
              0.58545,
              0.68273,
              0.7987,
              0.93892,
              1.10687
            ],
            [
              0.09668,
              0.504,
              0.58533,
              0.68239,
              0.79938,
              0.93873,
              1.10668
            ],
            [
              0.09678,
              0.50427,
              0.58544,
              0.68286,
              0.79921,
              0.93851,
              1.10673
            ],
            [
              0.09679,
              0.50417,
              0.58523,
              0.68283,
              0.79875,
              0.9388,
              1.10699
            ],
            [
              0.09657,
              0.50405,
              0.58546,
              0.68269,
              0.79928,
              0.93894,
              1.10704
            ],
            [
              0.09645,
              0.5041,
              0.58536,
              0.68292,
              0.79911,
              0.93842,
              1.10635
            ],
            [
              0.09614,
              0.50416,
              0.58523,
              0.68242,
              0.79941,
              0.93886,
              1.10694
            ],
            [
              0.09854,
              0.50386,
              0.58537,
              0.68254,
              0.79942,
              0.9389,
              1.10625
            ],
            [
              0.11178,
              0.50404,
              0.58553,
              0.68272,
              0.79908,
              0.93907,
              1.10703
            ],
            [
              0.14078,
              0.504,
              0.5855,
              0.6828,
              0.7993,
              0.9391,
              1.1071
            ],
            [
              0.1813,
              0.5184,
              0.5932,
              0.6857,
              0.7996,
              0.9389,
              1.107
            ],
            [
              0.2352,
              0.5681,
              0.6346,
              0.7175,
              0.8214,
              0.9504,
              1.11
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.04189,
              0.16484,
              0.18936,
              0.21894,
              0.25432,
              0.29628,
              0.34731
            ],
            [
              0.04545,
              0.16873,
              0.1934,
              0.223,
              0.25797,
              0.30016,
              0.35125
            ],
            [
              0.04954,
              0.17351,
              0.19773,
              0.22712,
              0.26232,
              0.30476,
              0.35579
            ],
            [
              0.05545,
              0.17938,
              0.20413,
              0.23372,
              0.26877,
              0.31129,
              0.3619
            ],
            [
              0.06402,
              0.18842,
              0.21301,
              0.24275,
              0.27796,
              0.32018,
              0.37096
            ],
            [
              0.07668,
              0.20161,
              0.22619,
              0.25579,
              0.2913,
              0.33353,
              0.38422
            ],
            [
              0.09391,
              0.22131,
              0.24574,
              0.27538,
              0.31075,
              0.35317,
              0.40388
            ],
            [
              0.11721,
              0.25031,
              0.27487,
              0.30444,
              0.34006,
              0.38222,
              0.43338
            ],
            [
              0.14838,
              0.29367,
              0.31842,
              0.3481,
              0.38343,
              0.42592,
              0.47709
            ],
            [
              0.18943,
              0.35819,
              0.38344,
              0.41322,
              0.44886,
              0.49129,
              0.54247
            ],
            [
              0.2432,
              0.44762,
              0.47622,
              0.50882,
              0.54602,
              0.58902,
              0.64022
            ],
            [
              0.31307,
              0.56877,
              0.60217,
              0.63957,
              0.68197,
              0.73017,
              0.78507
            ],
            [
              0.4036,
              0.7307,
              0.7714,
              0.8166,
              0.8666,
              0.9226,
              0.9855
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.17471,
              0.61079,
              0.69731,
              0.80101,
              0.92501,
              1.07377,
              1.25247
            ],
            [
              0.17696,
              0.61362,
              0.70017,
              0.80392,
              0.92798,
              1.07674,
              1.25554
            ],
            [
              0.18005,
              0.61732,
              0.70389,
              0.8077,
              0.93187,
              1.08062,
              1.25932
            ],
            [
              0.18524,
              0.6233,
              0.70996,
              0.81378,
              0.93786,
              1.08668,
              1.26548
            ],
            [
              0.19376,
              0.63255,
              0.71923,
              0.82312,
              0.94731,
              1.09621,
              1.27511
            ],
            [
              0.20749,
              0.64702,
              0.73378,
              0.83771,
              0.96192,
              1.11082,
              1.29002
            ],
            [
              0.22918,
              0.66918,
              0.75595,
              0.85988,
              0.98453,
              1.13353,
              1.31253
            ],
            [
              0.2629,
              0.70237,
              0.78929,
              0.89426,
              1.01866,
              1.16766,
              1.34676
            ],
            [
              0.3146,
              0.75325,
              0.83995,
              0.94375,
              1.06945,
              1.21865,
              1.39785
            ],
            [
              0.39321,
              0.83139,
              0.91819,
              1.02229,
              1.14659,
              1.29539,
              1.47409
            ],
            [
              0.51082,
              0.94762,
              1.03482,
              1.13912,
              1.26352,
              1.41272,
              1.59182
            ],
            [
              0.66787,
              1.12337,
              1.21137,
              1.31537,
              1.43957,
              1.58847,
              1.76727
            ],
            [
              0.8797,
              1.3917,
              1.4764,
              1.5799,
              1.7038,
              1.8525,
              2.0312
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.03529,
              0.19616,
              0.22785,
              0.2661,
              0.31161,
              0.36621,
              0.43213
            ],
            [
              0.03532,
              0.19609,
              0.22792,
              0.26611,
              0.31156,
              0.36623,
              0.43202
            ],
            [
              0.03531,
              0.19625,
              0.22786,
              0.26587,
              0.31151,
              0.36636,
              0.43211
            ],
            [
              0.03532,
              0.19616,
              0.22789,
              0.26599,
              0.3116,
              0.36634,
              0.43211
            ],
            [
              0.0354,
              0.19609,
              0.22784,
              0.2661,
              0.31155,
              0.3662,
              0.43217
            ],
            [
              0.03684,
              0.19611,
              0.22785,
              0.26608,
              0.31161,
              0.3662,
              0.43219
            ],
            [
              0.0409,
              0.19617,
              0.22782,
              0.26607,
              0.31159,
              0.36625,
              0.43209
            ],
            [
              0.04896,
              0.19621,
              0.22782,
              0.26588,
              0.31153,
              0.3664,
              0.43214
            ],
            [
              0.06021,
              0.1998,
              0.23005,
              0.26702,
              0.3117,
              0.36618,
              0.43235
            ],
            [
              0.07652,
              0.21062,
              0.23899,
              0.27392,
              0.31674,
              0.36923,
              0.43345
            ],
            [
              0.09964,
              0.23501,
              0.26073,
              0.29281,
              0.33257,
              0.38197,
              0.44274
            ],
            [
              0.1322,
              0.2771,
              0.3027,
              0.3332,
              0.3688,
              0.4137,
              0.4696
            ],
            [
              0.1777,
              0.3388,
              0.3652,
              0.3964,
              0.4332,
              0.4765,
              0.5283
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.13586,
              0.69749,
              0.80918,
              0.94302,
              1.10318,
              1.29476,
              1.52553
            ],
            [
              0.13585,
              0.69775,
              0.8092,
              0.94302,
              1.10319,
              1.29548,
              1.52649
            ],
            [
              0.13582,
              0.69765,
              0.80874,
              0.943,
              1.10346,
              1.29483,
              1.5264
            ],
            [
              0.13592,
              0.69751,
              0.80914,
              0.94299,
              1.10306,
              1.29553,
              1.52647
            ],
            [
              0.13578,
              0.69764,
              0.80878,
              0.94299,
              1.10314,
              1.29525,
              1.52615
            ],
            [
              0.13568,
              0.6973,
              0.80918,
              0.94314,
              1.10309,
              1.29543,
              1.52544
            ],
            [
              0.13541,
              0.69752,
              0.80913,
              0.94336,
              1.10303,
              1.29476,
              1.5266
            ],
            [
              0.13492,
              0.69747,
              0.80935,
              0.94309,
              1.10318,
              1.29539,
              1.52643
            ],
            [
              0.13382,
              0.69741,
              0.80937,
              0.94321,
              1.10327,
              1.29559,
              1.52668
            ],
            [
              0.14082,
              0.69745,
              0.80916,
              0.9431,
              1.10359,
              1.2953,
              1.5263
            ],
            [
              0.16452,
              0.6974,
              0.8091,
              0.9432,
              1.1035,
              1.2957,
              1.5256
            ],
            [
              0.2066,
              0.6995,
              0.8087,
              0.943,
              1.1034,
              1.2957,
              1.5262
            ],
            [
              0.2631,
              0.729,
              0.8298,
              0.9542,
              1.1072,
              1.2956,
              1.5264
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.04188,
              0.16484,
              0.18936,
              0.21894,
              0.25432,
              0.29627,
              0.34728
            ],
            [
              0.04545,
              0.16872,
              0.19339,
              0.22301,
              0.25795,
              0.30052,
              0.35128
            ],
            [
              0.04955,
              0.17347,
              0.19771,
              0.22751,
              0.26261,
              0.30466,
              0.35536
            ],
            [
              0.05543,
              0.17936,
              0.20411,
              0.23372,
              0.26871,
              0.31129,
              0.36197
            ],
            [
              0.064,
              0.18841,
              0.21324,
              0.24271,
              0.27797,
              0.3202,
              0.37088
            ],
            [
              0.07666,
              0.20158,
              0.22617,
              0.25575,
              0.29129,
              0.33352,
              0.38422
            ],
            [
              0.09388,
              0.2213,
              0.24571,
              0.27535,
              0.31078,
              0.35312,
              0.40385
            ],
            [
              0.11717,
              0.25027,
              0.27484,
              0.30454,
              0.34003,
              0.38219,
              0.43337
            ],
            [
              0.14833,
              0.29364,
              0.31838,
              0.34807,
              0.38338,
              0.42596,
              0.47705
            ],
            [
              0.18939,
              0.35814,
              0.3834,
              0.41319,
              0.44868,
              0.49124,
              0.54249
            ],
            [
              0.24316,
              0.44752,
              0.47612,
              0.50872,
              0.54602,
              0.58892,
              0.64012
            ],
            [
              0.31307,
              0.56867,
              0.60207,
              0.63957,
              0.68197,
              0.73007,
              0.78507
            ],
            [
              0.4035,
              0.7306,
              0.7713,
              0.8165,
              0.8666,
              0.9225,
              0.9854
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.20071,
              0.62564,
              0.70941,
              0.80981,
              0.92979,
              1.07357,
              1.24637
            ],
            [
              0.20312,
              0.62854,
              0.71236,
              0.81278,
              0.93281,
              1.07674,
              1.24944
            ],
            [
              0.20642,
              0.6323,
              0.71619,
              0.81666,
              0.93672,
              1.08062,
              1.25342
            ],
            [
              0.21185,
              0.63836,
              0.72225,
              0.82274,
              0.94281,
              1.08678,
              1.25948
            ],
            [
              0.22071,
              0.64775,
              0.73169,
              0.83224,
              0.95241,
              1.09641,
              1.26921
            ],
            [
              0.23477,
              0.66237,
              0.74636,
              0.84695,
              0.96702,
              1.11132,
              1.28422
            ],
            [
              0.25668,
              0.6847,
              0.76869,
              0.86928,
              0.98993,
              1.13403,
              1.30693
            ],
            [
              0.29035,
              0.71819,
              0.80319,
              0.90386,
              1.02416,
              1.16826,
              1.34136
            ],
            [
              0.34236,
              0.76935,
              0.85325,
              0.95495,
              1.07535,
              1.21955,
              1.39285
            ],
            [
              0.42085,
              0.84789,
              0.93209,
              1.03269,
              1.15289,
              1.29669,
              1.46919
            ],
            [
              0.54062,
              0.96422,
              1.04942,
              1.15022,
              1.27052,
              1.41472,
              1.58772
            ],
            [
              0.70777,
              1.14267,
              1.22667,
              1.32727,
              1.44737,
              1.59137,
              1.76407
            ],
            [
              0.9303,
              1.4093,
              1.4929,
              1.5931,
              1.7129,
              1.8568,
              2.0295
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.0356,
              0.20415,
              0.23672,
              0.27547,
              0.32147,
              0.3763,
              0.44236
            ],
            [
              0.03561,
              0.20416,
              0.23677,
              0.2755,
              0.32145,
              0.37647,
              0.44232
            ],
            [
              0.03562,
              0.20423,
              0.23672,
              0.27548,
              0.32146,
              0.37641,
              0.44222
            ],
            [
              0.03563,
              0.20414,
              0.23677,
              0.27551,
              0.32147,
              0.37644,
              0.44231
            ],
            [
              0.03569,
              0.20418,
              0.23677,
              0.27549,
              0.32142,
              0.37638,
              0.44239
            ],
            [
              0.03714,
              0.20418,
              0.23671,
              0.27546,
              0.32149,
              0.37642,
              0.44234
            ],
            [
              0.04124,
              0.20421,
              0.23671,
              0.27545,
              0.32148,
              0.37643,
              0.44231
            ],
            [
              0.04989,
              0.20429,
              0.23671,
              0.27546,
              0.32145,
              0.37637,
              0.44239
            ],
            [
              0.06207,
              0.20784,
              0.23892,
              0.27643,
              0.32159,
              0.37639,
              0.44234
            ],
            [
              0.08024,
              0.21865,
              0.24788,
              0.28346,
              0.32666,
              0.37918,
              0.4434
            ],
            [
              0.10747,
              0.24331,
              0.26961,
              0.30229,
              0.34244,
              0.39193,
              0.4529
            ],
            [
              0.1476,
              0.287,
              0.3126,
              0.3429,
              0.3787,
              0.4236,
              0.4797
            ],
            [
              0.2018,
              0.3507,
              0.3769,
              0.4078,
              0.4442,
              0.4873,
              0.5386
            ]
          ]
        },
        "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.00973,
            0.01168,
            0.01402,
            0.01682,
            0.02018,
            0.02422
          ],
          "values": [
            [
              0.14976,
              0.69502,
              0.80298,
              0.93261,
              1.08755,
              1.27354,
              1.49707
            ],
            [
              0.14982,
              0.69477,
              0.8028,
              0.93262,
              1.08746,
              1.27385,
              1.49707
            ],
            [
              0.14994,
              0.69468,
              0.80347,
              0.93252,
              1.08782,
              1.27367,
              1.49744
            ],
            [
              0.14996,
              0.69466,
              0.80296,
              0.93249,
              1.08771,
              1.2738,
              1.49703
            ],
            [
              0.14982,
              0.6944,
              0.80335,
              0.93272,
              1.08769,
              1.27386,
              1.49675
            ],
            [
              0.14998,
              0.6945,
              0.80309,
              0.93243,
              1.08789,
              1.27381,
              1.49723
            ],
            [
              0.14971,
              0.69458,
              0.80277,
              0.93309,
              1.08792,
              1.27368,
              1.4973
            ],
            [
              0.14961,
              0.69461,
              0.80342,
              0.93262,
              1.08773,
              1.27335,
              1.49802
            ],
            [
              0.14877,
              0.69502,
              0.80316,
              0.933,
              1.08797,
              1.27356,
              1.49722
            ],
            [
              0.15088,
              0.69503,
              0.8033,
              0.93296,
              1.08805,
              1.274,
              1.4969
            ],
            [
              0.16875,
              0.6946,
              0.8031,
              0.9326,
              1.088,
              1.2738,
              1.4973
            ],
            [
              0.2085,
              0.6958,
              0.8029,
              0.9327,
              1.0876,
              1.2738,
              1.4974
            ],
            [
              0.265,
              0.7225,
              0.821,
              0.9418,
              1.0906,
              1.2736,
              1.4973
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}