{
  "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",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00207,
    "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.00344,
          0.00348,
          0.003,
          0.00297,
          0.00295,
          0.00297,
          0.00296,
          0.00296,
          0.00296,
          0.0032,
          0.00325,
          0.00358,
          0.00351
        ]
      },
      "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.00192,
          0.00163,
          0.00159,
          0.00159,
          0.0016,
          0.00158,
          0.00159,
          0.0016,
          0.00161,
          0.00176,
          0.00176,
          0.0019,
          0.00189
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00179,
    "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.00368,
          0.00314,
          0.00294,
          0.00294,
          0.00295,
          0.00297,
          0.00292,
          0.00291,
          0.00291,
          0.00316,
          0.00316,
          0.00346,
          0.00347
        ]
      },
      "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.00191,
          0.002,
          0.00165,
          0.00165,
          0.00158,
          0.00164,
          0.00165,
          0.00164,
          0.00166,
          0.00181,
          0.00181,
          0.00195,
          0.00195
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00161,
    "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.0038,
          0.0036,
          0.00322,
          0.00311,
          0.00305,
          0.003,
          0.00295,
          0.00294,
          0.00295,
          0.00319,
          0.00319,
          0.00356,
          0.00356
        ]
      },
      "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.00321,
          0.00229,
          0.00186,
          0.00165,
          0.00166,
          0.0017,
          0.00171,
          0.00171,
          0.00172,
          0.00187,
          0.00188,
          0.00203,
          0.002
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00227,
    "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.00215,
          0.00207,
          0.00178,
          0.00175,
          0.00181,
          0.00183,
          0.00181,
          0.00181,
          0.00183,
          0.002,
          0.002,
          0.00222,
          0.00216
        ]
      },
      "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.00358,
          0.00357,
          0.00292,
          0.00306,
          0.00296,
          0.00304,
          0.00298,
          0.00299,
          0.00298,
          0.00324,
          0.00323,
          0.00348,
          0.00348
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B2": {
    "capacitance": 0.002,
    "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.00172,
          0.00195,
          0.00153,
          0.00156,
          0.0015,
          0.00158,
          0.00157,
          0.00156,
          0.00158,
          0.00172,
          0.00172,
          0.00185,
          0.00184
        ]
      },
      "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.00409,
          0.0036,
          0.00317,
          0.00307,
          0.00307,
          0.00309,
          0.00305,
          0.00304,
          0.00305,
          0.0033,
          0.0033,
          0.00366,
          0.00357
        ]
      }
    },
    "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.00235,
              -0.00459,
              -0.00597,
              -0.00764,
              -0.00963,
              -0.01203,
              -0.01491
            ],
            [
              0.00235,
              -0.00458,
              -0.00596,
              -0.00762,
              -0.00962,
              -0.01201,
              -0.01489
            ],
            [
              0.00237,
              -0.00457,
              -0.00595,
              -0.00761,
              -0.00961,
              -0.012,
              -0.01488
            ],
            [
              0.00238,
              -0.00456,
              -0.00594,
              -0.00761,
              -0.0096,
              -0.012,
              -0.01488
            ],
            [
              0.00241,
              -0.00455,
              -0.00593,
              -0.00759,
              -0.00959,
              -0.01198,
              -0.01486
            ],
            [
              0.00243,
              -0.00452,
              -0.00591,
              -0.00757,
              -0.00957,
              -0.01196,
              -0.01484
            ],
            [
              0.00247,
              -0.0045,
              -0.00589,
              -0.00755,
              -0.00955,
              -0.01194,
              -0.01483
            ],
            [
              0.00252,
              -0.00448,
              -0.00586,
              -0.00753,
              -0.00953,
              -0.01192,
              -0.01481
            ],
            [
              0.00257,
              -0.00445,
              -0.00584,
              -0.0075,
              -0.0095,
              -0.0119,
              -0.01479
            ],
            [
              0.00262,
              -0.00441,
              -0.0058,
              -0.00747,
              -0.00948,
              -0.01188,
              -0.01476
            ],
            [
              0.00266,
              -0.00438,
              -0.00577,
              -0.00744,
              -0.00945,
              -0.01185,
              -0.01474
            ],
            [
              0.0027,
              -0.00434,
              -0.00574,
              -0.00741,
              -0.00942,
              -0.01182,
              -0.01471
            ],
            [
              0.00271,
              -0.0043,
              -0.0057,
              -0.00737,
              -0.00938,
              -0.01179,
              -0.01468
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.01121,
              0.01814,
              0.01952,
              0.02116,
              0.02314,
              0.0255,
              0.02835
            ],
            [
              0.01119,
              0.01816,
              0.01953,
              0.02118,
              0.02316,
              0.02553,
              0.02837
            ],
            [
              0.01116,
              0.01816,
              0.01953,
              0.02118,
              0.02315,
              0.02552,
              0.02838
            ],
            [
              0.01112,
              0.01815,
              0.01953,
              0.02118,
              0.02316,
              0.02552,
              0.02838
            ],
            [
              0.01107,
              0.01813,
              0.01951,
              0.02116,
              0.02314,
              0.02553,
              0.02837
            ],
            [
              0.01102,
              0.01811,
              0.01948,
              0.02114,
              0.02313,
              0.02551,
              0.02837
            ],
            [
              0.01096,
              0.01806,
              0.01944,
              0.02111,
              0.0231,
              0.02548,
              0.02835
            ],
            [
              0.01092,
              0.01801,
              0.0194,
              0.02106,
              0.02306,
              0.02545,
              0.02831
            ],
            [
              0.01088,
              0.01796,
              0.01934,
              0.02101,
              0.02301,
              0.02539,
              0.02827
            ],
            [
              0.01085,
              0.01789,
              0.01928,
              0.02095,
              0.02295,
              0.02534,
              0.02822
            ],
            [
              0.01082,
              0.01783,
              0.01922,
              0.02087,
              0.02288,
              0.02526,
              0.02814
            ],
            [
              0.01083,
              0.01778,
              0.01917,
              0.02083,
              0.02282,
              0.02521,
              0.02808
            ],
            [
              0.01083,
              0.01775,
              0.01913,
              0.02079,
              0.02278,
              0.02516,
              0.02803
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.00234,
              -0.0046,
              -0.00598,
              -0.00764,
              -0.00964,
              -0.01203,
              -0.01491
            ],
            [
              0.00234,
              -0.0046,
              -0.00598,
              -0.00764,
              -0.00964,
              -0.01203,
              -0.01491
            ],
            [
              0.00235,
              -0.00458,
              -0.00596,
              -0.00763,
              -0.00962,
              -0.01202,
              -0.0149
            ],
            [
              0.00237,
              -0.00456,
              -0.00595,
              -0.00761,
              -0.0096,
              -0.012,
              -0.01488
            ],
            [
              0.00238,
              -0.00455,
              -0.00593,
              -0.0076,
              -0.0096,
              -0.01199,
              -0.01487
            ],
            [
              0.00241,
              -0.00454,
              -0.00592,
              -0.00758,
              -0.00958,
              -0.01197,
              -0.01485
            ],
            [
              0.00243,
              -0.00452,
              -0.0059,
              -0.00757,
              -0.00956,
              -0.01196,
              -0.01484
            ],
            [
              0.00247,
              -0.0045,
              -0.00588,
              -0.00755,
              -0.00955,
              -0.01194,
              -0.01482
            ],
            [
              0.0025,
              -0.00448,
              -0.00586,
              -0.00753,
              -0.00953,
              -0.01193,
              -0.01481
            ],
            [
              0.00255,
              -0.00445,
              -0.00584,
              -0.00751,
              -0.00951,
              -0.0119,
              -0.01479
            ],
            [
              0.00259,
              -0.00442,
              -0.00581,
              -0.00748,
              -0.00949,
              -0.01189,
              -0.01477
            ],
            [
              0.00263,
              -0.00439,
              -0.00578,
              -0.00745,
              -0.00946,
              -0.01186,
              -0.01475
            ],
            [
              0.00265,
              -0.00436,
              -0.00575,
              -0.00743,
              -0.00943,
              -0.01183,
              -0.01472
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.01269,
              0.01956,
              0.02092,
              0.02257,
              0.02454,
              0.0269,
              0.02974
            ],
            [
              0.01267,
              0.01955,
              0.02092,
              0.02256,
              0.02454,
              0.0269,
              0.02974
            ],
            [
              0.01265,
              0.01954,
              0.0209,
              0.02255,
              0.02452,
              0.02688,
              0.02973
            ],
            [
              0.01261,
              0.01952,
              0.02089,
              0.02254,
              0.02451,
              0.02688,
              0.02972
            ],
            [
              0.01257,
              0.01951,
              0.02087,
              0.02252,
              0.02449,
              0.02687,
              0.02972
            ],
            [
              0.01252,
              0.01948,
              0.02085,
              0.0225,
              0.02448,
              0.02685,
              0.02971
            ],
            [
              0.01248,
              0.01945,
              0.02083,
              0.02247,
              0.02445,
              0.02682,
              0.02969
            ],
            [
              0.01244,
              0.01942,
              0.0208,
              0.02245,
              0.02443,
              0.0268,
              0.02966
            ],
            [
              0.0124,
              0.01938,
              0.02076,
              0.02241,
              0.0244,
              0.02677,
              0.02963
            ],
            [
              0.01236,
              0.01934,
              0.02072,
              0.02238,
              0.02437,
              0.02674,
              0.0296
            ],
            [
              0.01234,
              0.0193,
              0.02068,
              0.02233,
              0.02432,
              0.02669,
              0.02956
            ],
            [
              0.01233,
              0.01927,
              0.02064,
              0.0223,
              0.02429,
              0.02666,
              0.02952
            ],
            [
              0.01234,
              0.01924,
              0.02061,
              0.02226,
              0.02425,
              0.02662,
              0.02947
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.00229,
              -0.00464,
              -0.00603,
              -0.00769,
              -0.00968,
              -0.01208,
              -0.01496
            ],
            [
              0.00229,
              -0.00464,
              -0.00603,
              -0.00769,
              -0.00968,
              -0.01208,
              -0.01496
            ],
            [
              0.00232,
              -0.00462,
              -0.006,
              -0.00767,
              -0.00966,
              -0.01206,
              -0.01494
            ],
            [
              0.00233,
              -0.00461,
              -0.00599,
              -0.00765,
              -0.00965,
              -0.01204,
              -0.01492
            ],
            [
              0.00234,
              -0.0046,
              -0.00598,
              -0.00764,
              -0.00964,
              -0.01204,
              -0.01492
            ],
            [
              0.00236,
              -0.00458,
              -0.00596,
              -0.00763,
              -0.00962,
              -0.01202,
              -0.0149
            ],
            [
              0.00239,
              -0.00456,
              -0.00595,
              -0.00761,
              -0.00961,
              -0.012,
              -0.01488
            ],
            [
              0.00242,
              -0.00454,
              -0.00593,
              -0.00759,
              -0.00959,
              -0.01199,
              -0.01487
            ],
            [
              0.00246,
              -0.00452,
              -0.00591,
              -0.00757,
              -0.00957,
              -0.01197,
              -0.01485
            ],
            [
              0.00251,
              -0.00449,
              -0.00588,
              -0.00755,
              -0.00955,
              -0.01195,
              -0.01483
            ],
            [
              0.00255,
              -0.00447,
              -0.00585,
              -0.00752,
              -0.00953,
              -0.01193,
              -0.01481
            ],
            [
              0.00258,
              -0.00443,
              -0.00582,
              -0.00749,
              -0.0095,
              -0.0119,
              -0.01479
            ],
            [
              0.00261,
              -0.0044,
              -0.00579,
              -0.00747,
              -0.00947,
              -0.01187,
              -0.01476
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.0138,
              0.02069,
              0.02205,
              0.02369,
              0.02567,
              0.02804,
              0.03088
            ],
            [
              0.01378,
              0.02066,
              0.02202,
              0.02366,
              0.02563,
              0.028,
              0.03085
            ],
            [
              0.01376,
              0.02065,
              0.022,
              0.02365,
              0.02563,
              0.02799,
              0.03084
            ],
            [
              0.01374,
              0.02063,
              0.02199,
              0.02363,
              0.0256,
              0.02797,
              0.03083
            ],
            [
              0.01372,
              0.02061,
              0.02198,
              0.02362,
              0.02559,
              0.02796,
              0.03081
            ],
            [
              0.01369,
              0.02059,
              0.02196,
              0.0236,
              0.02557,
              0.02794,
              0.03078
            ],
            [
              0.01366,
              0.02058,
              0.02194,
              0.02358,
              0.02556,
              0.02793,
              0.03078
            ],
            [
              0.01364,
              0.02056,
              0.02193,
              0.02357,
              0.02555,
              0.02792,
              0.03078
            ],
            [
              0.01361,
              0.02054,
              0.02191,
              0.02356,
              0.02554,
              0.02791,
              0.03077
            ],
            [
              0.01359,
              0.02052,
              0.0219,
              0.02355,
              0.02553,
              0.0279,
              0.03075
            ],
            [
              0.01357,
              0.0205,
              0.02187,
              0.02352,
              0.0255,
              0.02788,
              0.03072
            ],
            [
              0.01356,
              0.02048,
              0.02185,
              0.02351,
              0.02548,
              0.02785,
              0.03071
            ],
            [
              0.01357,
              0.02046,
              0.02183,
              0.02348,
              0.02545,
              0.02783,
              0.03069
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.00087,
              -0.00615,
              -0.00753,
              -0.0092,
              -0.0112,
              -0.0136,
              -0.01648
            ],
            [
              0.0009,
              -0.00614,
              -0.00753,
              -0.0092,
              -0.0112,
              -0.0136,
              -0.01648
            ],
            [
              0.00093,
              -0.00614,
              -0.00753,
              -0.0092,
              -0.0112,
              -0.0136,
              -0.01648
            ],
            [
              0.00097,
              -0.00614,
              -0.00753,
              -0.0092,
              -0.0112,
              -0.0136,
              -0.01648
            ],
            [
              0.00102,
              -0.00613,
              -0.00752,
              -0.00919,
              -0.01119,
              -0.01359,
              -0.01648
            ],
            [
              0.00108,
              -0.00611,
              -0.0075,
              -0.00918,
              -0.01118,
              -0.01358,
              -0.01647
            ],
            [
              0.00114,
              -0.00608,
              -0.00748,
              -0.00916,
              -0.01117,
              -0.01357,
              -0.01646
            ],
            [
              0.0012,
              -0.00605,
              -0.00745,
              -0.00913,
              -0.01114,
              -0.01355,
              -0.01644
            ],
            [
              0.00126,
              -0.006,
              -0.00741,
              -0.00909,
              -0.01111,
              -0.01352,
              -0.01642
            ],
            [
              0.00131,
              -0.00594,
              -0.00735,
              -0.00904,
              -0.01106,
              -0.01348,
              -0.01638
            ],
            [
              0.00133,
              -0.00588,
              -0.0073,
              -0.00898,
              -0.01101,
              -0.01343,
              -0.01633
            ],
            [
              0.00134,
              -0.00582,
              -0.00723,
              -0.00892,
              -0.01094,
              -0.01337,
              -0.01628
            ],
            [
              0.0013,
              -0.00577,
              -0.00716,
              -0.00886,
              -0.01088,
              -0.01331,
              -0.01622
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.00641,
              0.01344,
              0.01482,
              0.01648,
              0.01846,
              0.02083,
              0.02369
            ],
            [
              0.00636,
              0.01344,
              0.01481,
              0.01647,
              0.01845,
              0.02082,
              0.02367
            ],
            [
              0.00631,
              0.01343,
              0.01481,
              0.01646,
              0.01844,
              0.02083,
              0.02366
            ],
            [
              0.00624,
              0.0134,
              0.01479,
              0.01645,
              0.01844,
              0.02082,
              0.02367
            ],
            [
              0.00617,
              0.01338,
              0.01476,
              0.01643,
              0.01841,
              0.02079,
              0.02366
            ],
            [
              0.0061,
              0.01332,
              0.01471,
              0.01638,
              0.01838,
              0.02076,
              0.02362
            ],
            [
              0.00604,
              0.01324,
              0.01464,
              0.01632,
              0.01832,
              0.02071,
              0.02358
            ],
            [
              0.00598,
              0.01316,
              0.01456,
              0.01623,
              0.01825,
              0.02064,
              0.02353
            ],
            [
              0.00594,
              0.01307,
              0.01447,
              0.01614,
              0.01815,
              0.02054,
              0.02344
            ],
            [
              0.00592,
              0.013,
              0.0144,
              0.01607,
              0.01807,
              0.02047,
              0.02334
            ],
            [
              0.00592,
              0.01293,
              0.01432,
              0.01599,
              0.01799,
              0.02039,
              0.02325
            ],
            [
              0.00593,
              0.01287,
              0.01426,
              0.01592,
              0.0179,
              0.02028,
              0.02317
            ],
            [
              0.00596,
              0.01285,
              0.01422,
              0.01587,
              0.01786,
              0.02023,
              0.02311
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.00077,
              -0.00624,
              -0.00763,
              -0.00929,
              -0.01129,
              -0.01369,
              -0.01657
            ],
            [
              0.00079,
              -0.00624,
              -0.00763,
              -0.0093,
              -0.01129,
              -0.01369,
              -0.01657
            ],
            [
              0.00081,
              -0.00624,
              -0.00763,
              -0.0093,
              -0.0113,
              -0.01369,
              -0.01658
            ],
            [
              0.00084,
              -0.00625,
              -0.00764,
              -0.00931,
              -0.0113,
              -0.0137,
              -0.01658
            ],
            [
              0.00088,
              -0.00623,
              -0.00763,
              -0.0093,
              -0.0113,
              -0.0137,
              -0.01658
            ],
            [
              0.00093,
              -0.00622,
              -0.00761,
              -0.00929,
              -0.01129,
              -0.01369,
              -0.01658
            ],
            [
              0.00099,
              -0.0062,
              -0.00759,
              -0.00927,
              -0.01128,
              -0.01368,
              -0.01657
            ],
            [
              0.00105,
              -0.00617,
              -0.00756,
              -0.00924,
              -0.01125,
              -0.01366,
              -0.01655
            ],
            [
              0.00111,
              -0.00612,
              -0.00753,
              -0.00921,
              -0.01122,
              -0.01363,
              -0.01653
            ],
            [
              0.00116,
              -0.00607,
              -0.00747,
              -0.00916,
              -0.01118,
              -0.01359,
              -0.01649
            ],
            [
              0.0012,
              -0.006,
              -0.00741,
              -0.0091,
              -0.01113,
              -0.01355,
              -0.01645
            ],
            [
              0.00123,
              -0.00593,
              -0.00734,
              -0.00904,
              -0.01106,
              -0.01348,
              -0.01639
            ],
            [
              0.00124,
              -0.00587,
              -0.00728,
              -0.00897,
              -0.011,
              -0.01342,
              -0.01633
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.00762,
              0.01454,
              0.01591,
              0.01756,
              0.01953,
              0.02191,
              0.02474
            ],
            [
              0.00758,
              0.01453,
              0.0159,
              0.01756,
              0.01953,
              0.0219,
              0.02472
            ],
            [
              0.00754,
              0.01451,
              0.01587,
              0.01753,
              0.0195,
              0.02188,
              0.02472
            ],
            [
              0.00749,
              0.01448,
              0.01586,
              0.01752,
              0.01949,
              0.02186,
              0.02471
            ],
            [
              0.00744,
              0.01446,
              0.01583,
              0.01749,
              0.01947,
              0.02184,
              0.02469
            ],
            [
              0.00738,
              0.01442,
              0.0158,
              0.01746,
              0.01944,
              0.02182,
              0.02467
            ],
            [
              0.00733,
              0.01438,
              0.01576,
              0.01742,
              0.01941,
              0.02178,
              0.02465
            ],
            [
              0.00727,
              0.01432,
              0.01571,
              0.01737,
              0.01936,
              0.02175,
              0.02461
            ],
            [
              0.00723,
              0.01427,
              0.01565,
              0.01731,
              0.0193,
              0.02169,
              0.02456
            ],
            [
              0.0072,
              0.01421,
              0.0156,
              0.01726,
              0.01923,
              0.02162,
              0.02448
            ],
            [
              0.00719,
              0.01417,
              0.01555,
              0.0172,
              0.01918,
              0.02157,
              0.02443
            ],
            [
              0.00722,
              0.01413,
              0.01549,
              0.01716,
              0.01913,
              0.0215,
              0.02436
            ],
            [
              0.00723,
              0.01409,
              0.01547,
              0.01713,
              0.0191,
              0.02147,
              0.02432
            ]
          ]
        },
        "when": "(!A1&B1) | (!A2&B1) | (!A3&B1)"
      }
    ],
    "max_capacitance": 0.01349,
    "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.09516,
              0.24778,
              0.27686,
              0.31168,
              0.35325,
              0.40289,
              0.46243
            ],
            [
              0.0977,
              0.25037,
              0.27944,
              0.31425,
              0.35583,
              0.40551,
              0.46502
            ],
            [
              0.10087,
              0.25362,
              0.28267,
              0.31747,
              0.35906,
              0.40871,
              0.46828
            ],
            [
              0.10579,
              0.25857,
              0.28765,
              0.32247,
              0.36403,
              0.41369,
              0.47328
            ],
            [
              0.11324,
              0.26614,
              0.29523,
              0.33005,
              0.37165,
              0.42131,
              0.48083
            ],
            [
              0.12443,
              0.27759,
              0.30668,
              0.34153,
              0.38314,
              0.43278,
              0.49235
            ],
            [
              0.14153,
              0.29487,
              0.324,
              0.35885,
              0.40047,
              0.45014,
              0.50972
            ],
            [
              0.16816,
              0.32103,
              0.35013,
              0.38498,
              0.42661,
              0.47627,
              0.53583
            ],
            [
              0.207,
              0.36015,
              0.38918,
              0.42424,
              0.466,
              0.51571,
              0.57531
            ],
            [
              0.25423,
              0.41972,
              0.4488,
              0.48362,
              0.52521,
              0.57479,
              0.63419
            ],
            [
              0.31102,
              0.50842,
              0.53862,
              0.57322,
              0.61472,
              0.66422,
              0.72372
            ],
            [
              0.37887,
              0.62237,
              0.65897,
              0.70047,
              0.74717,
              0.79967,
              0.85917
            ],
            [
              0.4576,
              0.7599,
              0.8051,
              0.856,
              0.9132,
              0.9772,
              1.0489
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.19042,
              0.49677,
              0.55669,
              0.6294,
              0.71585,
              0.82004,
              0.94507
            ],
            [
              0.19304,
              0.50075,
              0.56148,
              0.63352,
              0.72042,
              0.82451,
              0.94972
            ],
            [
              0.19619,
              0.50605,
              0.56576,
              0.63918,
              0.72514,
              0.82931,
              0.95457
            ],
            [
              0.20128,
              0.51211,
              0.57317,
              0.64497,
              0.73201,
              0.83759,
              0.96279
            ],
            [
              0.20965,
              0.52163,
              0.58286,
              0.65473,
              0.74241,
              0.84786,
              0.97281
            ],
            [
              0.22279,
              0.53626,
              0.59628,
              0.66944,
              0.75643,
              0.86276,
              0.98852
            ],
            [
              0.24384,
              0.55748,
              0.6178,
              0.69134,
              0.77832,
              0.88474,
              1.01003
            ],
            [
              0.27646,
              0.58938,
              0.65085,
              0.72337,
              0.811,
              0.91576,
              1.04336
            ],
            [
              0.32515,
              0.63733,
              0.6985,
              0.77175,
              0.85925,
              0.96395,
              1.09005
            ],
            [
              0.39597,
              0.70649,
              0.76769,
              0.84089,
              0.92929,
              1.03379,
              1.16009
            ],
            [
              0.49032,
              0.80972,
              0.87072,
              0.94392,
              1.03202,
              1.13682,
              1.26302
            ],
            [
              0.61187,
              0.96377,
              1.02427,
              1.09737,
              1.18517,
              1.29027,
              1.41677
            ],
            [
              0.7668,
              1.189,
              1.2535,
              1.3272,
              1.4148,
              1.5198,
              1.646
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.08917,
              0.27734,
              0.31495,
              0.35982,
              0.4137,
              0.47794,
              0.55582
            ],
            [
              0.08922,
              0.27762,
              0.31484,
              0.35959,
              0.41369,
              0.47815,
              0.55554
            ],
            [
              0.08927,
              0.27771,
              0.31493,
              0.35947,
              0.41364,
              0.47773,
              0.55573
            ],
            [
              0.08935,
              0.27771,
              0.31501,
              0.3599,
              0.41356,
              0.4781,
              0.55565
            ],
            [
              0.08935,
              0.27771,
              0.31504,
              0.35985,
              0.4137,
              0.47822,
              0.55546
            ],
            [
              0.08872,
              0.2777,
              0.315,
              0.35987,
              0.41368,
              0.47821,
              0.55581
            ],
            [
              0.08724,
              0.27767,
              0.31496,
              0.35986,
              0.41367,
              0.47814,
              0.55583
            ],
            [
              0.0905,
              0.2776,
              0.31477,
              0.3598,
              0.41371,
              0.47816,
              0.5556
            ],
            [
              0.10293,
              0.27752,
              0.31445,
              0.35954,
              0.41366,
              0.47809,
              0.55586
            ],
            [
              0.12184,
              0.28709,
              0.32156,
              0.36368,
              0.41539,
              0.47826,
              0.55551
            ],
            [
              0.15022,
              0.31815,
              0.34846,
              0.38684,
              0.43399,
              0.49216,
              0.5641
            ],
            [
              0.19,
              0.3784,
              0.408,
              0.4422,
              0.4836,
              0.5358,
              0.6007
            ],
            [
              0.2439,
              0.4654,
              0.4985,
              0.5364,
              0.5797,
              0.6291,
              0.6871
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.12382,
              0.52382,
              0.60349,
              0.69867,
              0.8135,
              0.95028,
              1.11529
            ],
            [
              0.12385,
              0.52414,
              0.60297,
              0.69904,
              0.81326,
              0.95024,
              1.11508
            ],
            [
              0.1239,
              0.52441,
              0.60337,
              0.69887,
              0.81339,
              0.95042,
              1.11536
            ],
            [
              0.12387,
              0.52382,
              0.60389,
              0.69891,
              0.81318,
              0.94923,
              1.11498
            ],
            [
              0.12384,
              0.52382,
              0.60395,
              0.69887,
              0.81305,
              0.9503,
              1.11493
            ],
            [
              0.12406,
              0.52437,
              0.60344,
              0.69871,
              0.81348,
              0.9511,
              1.11605
            ],
            [
              0.12411,
              0.52397,
              0.60349,
              0.69851,
              0.8135,
              0.95084,
              1.11456
            ],
            [
              0.12427,
              0.52377,
              0.60331,
              0.69898,
              0.81337,
              0.95055,
              1.11434
            ],
            [
              0.12473,
              0.52464,
              0.6032,
              0.69815,
              0.81314,
              0.95019,
              1.11513
            ],
            [
              0.13083,
              0.52368,
              0.60297,
              0.69873,
              0.81255,
              0.95019,
              1.1151
            ],
            [
              0.15291,
              0.5247,
              0.6041,
              0.6982,
              0.813,
              0.95,
              1.1149
            ],
            [
              0.1913,
              0.5397,
              0.6132,
              0.7043,
              0.8142,
              0.9509,
              1.1136
            ],
            [
              0.2459,
              0.5872,
              0.6549,
              0.739,
              0.8424,
              0.9692,
              1.1246
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.07503,
              0.23052,
              0.25975,
              0.29471,
              0.33642,
              0.38617,
              0.44583
            ],
            [
              0.07757,
              0.23307,
              0.2623,
              0.29726,
              0.33897,
              0.38875,
              0.4484
            ],
            [
              0.0807,
              0.23624,
              0.26547,
              0.30043,
              0.34214,
              0.39191,
              0.45155
            ],
            [
              0.08549,
              0.24116,
              0.27037,
              0.30534,
              0.34707,
              0.39682,
              0.45648
            ],
            [
              0.09298,
              0.24864,
              0.27788,
              0.31283,
              0.35456,
              0.40432,
              0.46396
            ],
            [
              0.10441,
              0.26,
              0.28923,
              0.32419,
              0.36593,
              0.41569,
              0.47534
            ],
            [
              0.12224,
              0.27717,
              0.30645,
              0.3414,
              0.38314,
              0.4329,
              0.4927
            ],
            [
              0.15031,
              0.30317,
              0.33238,
              0.36731,
              0.40923,
              0.45906,
              0.51874
            ],
            [
              0.18558,
              0.34266,
              0.37189,
              0.40686,
              0.4486,
              0.49835,
              0.55798
            ],
            [
              0.22834,
              0.40246,
              0.4315,
              0.46637,
              0.50807,
              0.55783,
              0.61748
            ],
            [
              0.2795,
              0.49052,
              0.52152,
              0.55672,
              0.59792,
              0.64742,
              0.70692
            ],
            [
              0.33967,
              0.59917,
              0.63717,
              0.67987,
              0.72767,
              0.78117,
              0.84127
            ],
            [
              0.4083,
              0.7326,
              0.7795,
              0.8321,
              0.8909,
              0.9563,
              1.0293
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.21881,
              0.61494,
              0.69276,
              0.78614,
              0.89965,
              1.03487,
              1.19687
            ],
            [
              0.22122,
              0.61961,
              0.69813,
              0.79203,
              0.9044,
              1.03884,
              1.20004
            ],
            [
              0.22397,
              0.62369,
              0.70222,
              0.7963,
              0.90918,
              1.04352,
              1.20582
            ],
            [
              0.22862,
              0.63077,
              0.70937,
              0.80309,
              0.91619,
              1.05158,
              1.21358
            ],
            [
              0.23625,
              0.64023,
              0.7182,
              0.81241,
              0.92594,
              1.06091,
              1.22251
            ],
            [
              0.24892,
              0.65396,
              0.73173,
              0.82661,
              0.94012,
              1.07542,
              1.23812
            ],
            [
              0.26941,
              0.67471,
              0.75306,
              0.84748,
              0.96153,
              1.09733,
              1.25983
            ],
            [
              0.3014,
              0.70575,
              0.78493,
              0.87936,
              0.99376,
              1.12946,
              1.29146
            ],
            [
              0.34906,
              0.75209,
              0.83165,
              0.92655,
              1.03945,
              1.17635,
              1.33955
            ],
            [
              0.41769,
              0.81879,
              0.89799,
              0.99309,
              1.10739,
              1.24359,
              1.40649
            ],
            [
              0.51012,
              0.91562,
              0.99412,
              1.08992,
              1.20352,
              1.33892,
              1.50352
            ],
            [
              0.62827,
              1.05837,
              1.13667,
              1.23167,
              1.34507,
              1.48147,
              1.64497
            ],
            [
              0.7801,
              1.2692,
              1.3482,
              1.4428,
              1.556,
              1.6917,
              1.8553
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.08287,
              0.26985,
              0.30695,
              0.35162,
              0.4052,
              0.46941,
              0.54679
            ],
            [
              0.08277,
              0.26959,
              0.30661,
              0.35155,
              0.4051,
              0.46928,
              0.54635
            ],
            [
              0.08274,
              0.2696,
              0.30654,
              0.35112,
              0.40505,
              0.46949,
              0.54689
            ],
            [
              0.0823,
              0.26973,
              0.30689,
              0.35109,
              0.40521,
              0.46951,
              0.54689
            ],
            [
              0.08118,
              0.26969,
              0.30685,
              0.35147,
              0.405,
              0.46955,
              0.54684
            ],
            [
              0.07917,
              0.26963,
              0.30678,
              0.35143,
              0.40517,
              0.4695,
              0.54681
            ],
            [
              0.07945,
              0.26947,
              0.30671,
              0.35139,
              0.4051,
              0.46949,
              0.54683
            ],
            [
              0.08561,
              0.26899,
              0.30648,
              0.35137,
              0.40485,
              0.46951,
              0.54682
            ],
            [
              0.09942,
              0.26941,
              0.30613,
              0.3506,
              0.40478,
              0.46936,
              0.54668
            ],
            [
              0.1189,
              0.28147,
              0.31497,
              0.35652,
              0.40703,
              0.47001,
              0.54655
            ],
            [
              0.14752,
              0.3144,
              0.34452,
              0.38133,
              0.42763,
              0.48553,
              0.55646
            ],
            [
              0.1873,
              0.3773,
              0.4068,
              0.4406,
              0.4817,
              0.5325,
              0.596
            ],
            [
              0.2417,
              0.4639,
              0.4968,
              0.5346,
              0.5777,
              0.6271,
              0.6843
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.14036,
              0.66321,
              0.76745,
              0.89249,
              1.04259,
              1.22124,
              1.43526
            ],
            [
              0.14054,
              0.66327,
              0.76633,
              0.89152,
              1.04116,
              1.22146,
              1.43753
            ],
            [
              0.14054,
              0.66337,
              0.76716,
              0.892,
              1.04072,
              1.22174,
              1.43743
            ],
            [
              0.14062,
              0.66356,
              0.76796,
              0.89277,
              1.04181,
              1.21917,
              1.43553
            ],
            [
              0.14074,
              0.66381,
              0.76773,
              0.89269,
              1.04092,
              1.22045,
              1.43749
            ],
            [
              0.1409,
              0.66412,
              0.76752,
              0.89262,
              1.04219,
              1.22139,
              1.4372
            ],
            [
              0.14093,
              0.66412,
              0.76738,
              0.89252,
              1.04227,
              1.21904,
              1.4366
            ],
            [
              0.14119,
              0.66312,
              0.76707,
              0.89259,
              1.04226,
              1.22069,
              1.43755
            ],
            [
              0.14165,
              0.66398,
              0.76619,
              0.89079,
              1.04222,
              1.21948,
              1.43548
            ],
            [
              0.14606,
              0.66334,
              0.76575,
              0.89269,
              1.0399,
              1.2191,
              1.4372
            ],
            [
              0.16418,
              0.6633,
              0.7675,
              0.8914,
              1.0402,
              1.22,
              1.4366
            ],
            [
              0.1953,
              0.6715,
              0.7705,
              0.8931,
              1.0419,
              1.2192,
              1.4366
            ],
            [
              0.2391,
              0.7075,
              0.8018,
              0.9169,
              1.0567,
              1.2296,
              1.439
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.07687,
              0.2321,
              0.26129,
              0.29622,
              0.33794,
              0.38772,
              0.44734
            ],
            [
              0.07942,
              0.23461,
              0.26383,
              0.29877,
              0.34047,
              0.39025,
              0.4499
            ],
            [
              0.08253,
              0.23777,
              0.26698,
              0.30193,
              0.34365,
              0.39341,
              0.45305
            ],
            [
              0.0873,
              0.24266,
              0.27192,
              0.30685,
              0.34856,
              0.39833,
              0.45796
            ],
            [
              0.09478,
              0.25014,
              0.2794,
              0.31436,
              0.35606,
              0.40582,
              0.46549
            ],
            [
              0.10617,
              0.2615,
              0.29074,
              0.32572,
              0.36742,
              0.4172,
              0.47688
            ],
            [
              0.12391,
              0.27869,
              0.30797,
              0.34297,
              0.38465,
              0.43442,
              0.49423
            ],
            [
              0.15199,
              0.30471,
              0.33397,
              0.36887,
              0.41063,
              0.46056,
              0.52025
            ],
            [
              0.18764,
              0.34406,
              0.37342,
              0.40837,
              0.45011,
              0.49992,
              0.55955
            ],
            [
              0.2309,
              0.40393,
              0.433,
              0.46786,
              0.50953,
              0.55935,
              0.61899
            ],
            [
              0.28271,
              0.49212,
              0.52312,
              0.55822,
              0.59942,
              0.64892,
              0.70842
            ],
            [
              0.34367,
              0.60107,
              0.63887,
              0.68147,
              0.72917,
              0.78257,
              0.84257
            ],
            [
              0.4134,
              0.7352,
              0.7819,
              0.8344,
              0.893,
              0.9582,
              1.0312
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.27858,
              0.67317,
              0.7507,
              0.84394,
              0.95564,
              1.08947,
              1.25037
            ],
            [
              0.28192,
              0.67765,
              0.75525,
              0.84849,
              0.96026,
              1.09414,
              1.25504
            ],
            [
              0.28559,
              0.68231,
              0.75999,
              0.8533,
              0.96515,
              1.09912,
              1.26012
            ],
            [
              0.29093,
              0.6889,
              0.7667,
              0.86011,
              0.97208,
              1.10608,
              1.26718
            ],
            [
              0.29909,
              0.69839,
              0.77627,
              0.86988,
              0.98191,
              1.11611,
              1.27731
            ],
            [
              0.31176,
              0.7124,
              0.79047,
              0.88423,
              0.99642,
              1.13072,
              1.29212
            ],
            [
              0.33186,
              0.73351,
              0.81175,
              0.90573,
              1.01813,
              1.15263,
              1.31413
            ],
            [
              0.3632,
              0.76511,
              0.84346,
              0.93756,
              1.05026,
              1.18496,
              1.34666
            ],
            [
              0.41013,
              0.81125,
              0.88985,
              0.98405,
              1.09685,
              1.23185,
              1.39375
            ],
            [
              0.47817,
              0.87789,
              0.95649,
              1.05079,
              1.16379,
              1.29879,
              1.46099
            ],
            [
              0.57592,
              0.97462,
              1.05312,
              1.14732,
              1.26032,
              1.39532,
              1.55762
            ],
            [
              0.70527,
              1.11697,
              1.19517,
              1.28927,
              1.40197,
              1.53697,
              1.69917
            ],
            [
              0.8729,
              1.3281,
              1.4063,
              1.5002,
              1.6128,
              1.7476,
              1.9097
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.11178,
              0.29467,
              0.33168,
              0.37617,
              0.42955,
              0.49353,
              0.57069
            ],
            [
              0.11172,
              0.29455,
              0.33155,
              0.37592,
              0.42958,
              0.49344,
              0.57059
            ],
            [
              0.11161,
              0.29458,
              0.33146,
              0.37593,
              0.42957,
              0.49376,
              0.5709
            ],
            [
              0.11123,
              0.29449,
              0.33157,
              0.37619,
              0.42943,
              0.49396,
              0.57059
            ],
            [
              0.11026,
              0.29451,
              0.33144,
              0.37615,
              0.42935,
              0.49361,
              0.57069
            ],
            [
              0.10807,
              0.29444,
              0.33152,
              0.37611,
              0.4295,
              0.4937,
              0.57086
            ],
            [
              0.1083,
              0.29432,
              0.33136,
              0.37584,
              0.42925,
              0.49367,
              0.57093
            ],
            [
              0.11418,
              0.29398,
              0.33131,
              0.3757,
              0.42933,
              0.49386,
              0.57076
            ],
            [
              0.12911,
              0.29449,
              0.3309,
              0.37538,
              0.42927,
              0.49328,
              0.57068
            ],
            [
              0.15315,
              0.30634,
              0.33995,
              0.38104,
              0.43226,
              0.49386,
              0.57092
            ],
            [
              0.18767,
              0.3395,
              0.3692,
              0.40653,
              0.4523,
              0.50945,
              0.5805
            ],
            [
              0.2364,
              0.4046,
              0.4324,
              0.4655,
              0.5061,
              0.5567,
              0.6205
            ],
            [
              0.3032,
              0.4957,
              0.5269,
              0.5629,
              0.6045,
              0.6521,
              0.7085
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.1798,
              0.7025,
              0.80564,
              0.93055,
              1.07953,
              1.25802,
              1.47209
            ],
            [
              0.17999,
              0.70293,
              0.80633,
              0.93039,
              1.07909,
              1.2572,
              1.47141
            ],
            [
              0.17993,
              0.70272,
              0.80611,
              0.92949,
              1.07924,
              1.25671,
              1.47294
            ],
            [
              0.17994,
              0.7029,
              0.80631,
              0.9304,
              1.07883,
              1.25695,
              1.47121
            ],
            [
              0.1798,
              0.70278,
              0.8055,
              0.93045,
              1.07945,
              1.2575,
              1.47074
            ],
            [
              0.17975,
              0.70223,
              0.8051,
              0.93051,
              1.07867,
              1.25644,
              1.47222
            ],
            [
              0.18006,
              0.70265,
              0.80533,
              0.93053,
              1.07953,
              1.25763,
              1.47087
            ],
            [
              0.17989,
              0.70287,
              0.80572,
              0.93054,
              1.07962,
              1.25763,
              1.47126
            ],
            [
              0.18003,
              0.70222,
              0.80631,
              0.92953,
              1.07855,
              1.25823,
              1.47234
            ],
            [
              0.18121,
              0.70207,
              0.80624,
              0.93034,
              1.0795,
              1.2572,
              1.4719
            ],
            [
              0.1929,
              0.7029,
              0.8062,
              0.9293,
              1.0796,
              1.2568,
              1.4728
            ],
            [
              0.2238,
              0.7077,
              0.8074,
              0.9309,
              1.0795,
              1.2581,
              1.4729
            ],
            [
              0.2687,
              0.7389,
              0.8342,
              0.9499,
              1.0919,
              1.2644,
              1.4743
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.11379,
              0.26643,
              0.29551,
              0.3303,
              0.37187,
              0.42154,
              0.48109
            ],
            [
              0.11667,
              0.26932,
              0.29839,
              0.3332,
              0.37477,
              0.42443,
              0.48399
            ],
            [
              0.12026,
              0.27294,
              0.30199,
              0.33681,
              0.37837,
              0.42804,
              0.48759
            ],
            [
              0.12571,
              0.27838,
              0.30747,
              0.34226,
              0.38386,
              0.43351,
              0.49306
            ],
            [
              0.13361,
              0.28638,
              0.31545,
              0.35026,
              0.39184,
              0.4415,
              0.50106
            ],
            [
              0.14489,
              0.29778,
              0.32686,
              0.36169,
              0.40327,
              0.45293,
              0.51248
            ],
            [
              0.16132,
              0.31438,
              0.3435,
              0.37832,
              0.41993,
              0.46962,
              0.52916
            ],
            [
              0.18611,
              0.33904,
              0.36816,
              0.40303,
              0.44466,
              0.49437,
              0.55396
            ],
            [
              0.22142,
              0.37585,
              0.40502,
              0.43996,
              0.48164,
              0.53139,
              0.59102
            ],
            [
              0.26829,
              0.43105,
              0.46024,
              0.4952,
              0.53696,
              0.58679,
              0.64649
            ],
            [
              0.32923,
              0.51192,
              0.54242,
              0.57792,
              0.61982,
              0.66972,
              0.72952
            ],
            [
              0.40527,
              0.61997,
              0.65437,
              0.69407,
              0.73977,
              0.79257,
              0.85367
            ],
            [
              0.4969,
              0.76,
              0.8004,
              0.8464,
              0.8989,
              0.9587,
              1.0273
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.23895,
              0.54733,
              0.60807,
              0.68106,
              0.7686,
              0.8735,
              0.99967
            ],
            [
              0.24204,
              0.55087,
              0.61162,
              0.6847,
              0.77226,
              0.87713,
              1.00324
            ],
            [
              0.24566,
              0.55504,
              0.61584,
              0.68893,
              0.77654,
              0.88141,
              1.00762
            ],
            [
              0.2512,
              0.56139,
              0.62223,
              0.69537,
              0.78299,
              0.88797,
              1.01418
            ],
            [
              0.25973,
              0.57092,
              0.63179,
              0.705,
              0.79271,
              0.89774,
              1.02411
            ],
            [
              0.2731,
              0.5853,
              0.64631,
              0.71968,
              0.80748,
              0.9126,
              1.03892
            ],
            [
              0.29408,
              0.60702,
              0.66813,
              0.74155,
              0.82946,
              0.93473,
              1.06103
            ],
            [
              0.32653,
              0.63976,
              0.70096,
              0.77447,
              0.86256,
              0.96776,
              1.09436
            ],
            [
              0.37465,
              0.68767,
              0.74897,
              0.82255,
              0.91065,
              1.01615,
              1.14285
            ],
            [
              0.44499,
              0.75739,
              0.81879,
              0.89239,
              0.98059,
              1.08609,
              1.21289
            ],
            [
              0.54602,
              0.85982,
              0.92112,
              0.99482,
              1.08292,
              1.18852,
              1.31542
            ],
            [
              0.67877,
              1.01207,
              1.07327,
              1.14687,
              1.23507,
              1.34067,
              1.46747
            ],
            [
              0.8503,
              1.2383,
              1.3007,
              1.3744,
              1.4625,
              1.568,
              1.6949
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.08889,
              0.27767,
              0.31505,
              0.35985,
              0.41364,
              0.47829,
              0.55586
            ],
            [
              0.08894,
              0.27749,
              0.31495,
              0.35987,
              0.4132,
              0.47811,
              0.55594
            ],
            [
              0.08894,
              0.27771,
              0.31497,
              0.35987,
              0.41335,
              0.47829,
              0.5559
            ],
            [
              0.08897,
              0.2774,
              0.31497,
              0.35977,
              0.41373,
              0.47821,
              0.55588
            ],
            [
              0.08892,
              0.27772,
              0.31502,
              0.35992,
              0.41369,
              0.47827,
              0.55593
            ],
            [
              0.08866,
              0.27773,
              0.31505,
              0.35991,
              0.41369,
              0.47815,
              0.55522
            ],
            [
              0.08821,
              0.27767,
              0.31497,
              0.35959,
              0.41368,
              0.47799,
              0.55585
            ],
            [
              0.09034,
              0.27758,
              0.31492,
              0.35979,
              0.41363,
              0.47825,
              0.55543
            ],
            [
              0.09752,
              0.27793,
              0.31474,
              0.35971,
              0.4136,
              0.47819,
              0.55554
            ],
            [
              0.11129,
              0.28437,
              0.31987,
              0.36277,
              0.41536,
              0.47861,
              0.55578
            ],
            [
              0.13281,
              0.3031,
              0.33642,
              0.37725,
              0.42725,
              0.48784,
              0.5619
            ],
            [
              0.1652,
              0.3441,
              0.3759,
              0.4131,
              0.4596,
              0.5155,
              0.5854
            ],
            [
              0.212,
              0.409,
              0.4416,
              0.4804,
              0.5258,
              0.5791,
              0.6423
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.15906,
              0.56377,
              0.64387,
              0.7409,
              0.8559,
              0.99439,
              1.16083
            ],
            [
              0.15902,
              0.5646,
              0.64429,
              0.73967,
              0.85618,
              0.99437,
              1.16047
            ],
            [
              0.15905,
              0.56454,
              0.64405,
              0.74042,
              0.85528,
              0.99433,
              1.16064
            ],
            [
              0.1589,
              0.5638,
              0.64472,
              0.74043,
              0.85623,
              0.99435,
              1.16071
            ],
            [
              0.15905,
              0.56441,
              0.64457,
              0.74031,
              0.85578,
              0.99384,
              1.16085
            ],
            [
              0.15894,
              0.56369,
              0.644,
              0.73996,
              0.85594,
              0.99312,
              1.16076
            ],
            [
              0.15908,
              0.56401,
              0.64426,
              0.7398,
              0.85587,
              0.99314,
              1.16035
            ],
            [
              0.15929,
              0.56421,
              0.64476,
              0.74097,
              0.85571,
              0.99437,
              1.16052
            ],
            [
              0.15934,
              0.56458,
              0.64407,
              0.73971,
              0.85602,
              0.99452,
              1.15942
            ],
            [
              0.16127,
              0.56428,
              0.6438,
              0.74059,
              0.85507,
              0.99469,
              1.1601
            ],
            [
              0.1766,
              0.5643,
              0.6445,
              0.7409,
              0.8563,
              0.9945,
              1.1608
            ],
            [
              0.2133,
              0.5746,
              0.6508,
              0.7441,
              0.8567,
              0.9937,
              1.1608
            ],
            [
              0.2683,
              0.617,
              0.6876,
              0.7734,
              0.88,
              1.0089,
              1.1684
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.09399,
              0.24915,
              0.27838,
              0.31332,
              0.35503,
              0.4048,
              0.46444
            ],
            [
              0.09685,
              0.25201,
              0.28122,
              0.31619,
              0.35789,
              0.40768,
              0.46734
            ],
            [
              0.1004,
              0.25553,
              0.28476,
              0.31972,
              0.36143,
              0.41123,
              0.47086
            ],
            [
              0.10582,
              0.26093,
              0.29017,
              0.32514,
              0.36684,
              0.41659,
              0.47626
            ],
            [
              0.11367,
              0.26883,
              0.29808,
              0.33302,
              0.37474,
              0.4245,
              0.48414
            ],
            [
              0.12502,
              0.28014,
              0.30938,
              0.34435,
              0.38607,
              0.43585,
              0.49549
            ],
            [
              0.1418,
              0.29665,
              0.3259,
              0.36088,
              0.40263,
              0.4524,
              0.51213
            ],
            [
              0.16685,
              0.32127,
              0.35056,
              0.38555,
              0.42731,
              0.47714,
              0.53684
            ],
            [
              0.20026,
              0.35816,
              0.38743,
              0.42246,
              0.46424,
              0.51408,
              0.57381
            ],
            [
              0.24467,
              0.41348,
              0.44274,
              0.47778,
              0.51961,
              0.56952,
              0.62929
            ],
            [
              0.30141,
              0.49332,
              0.52442,
              0.56052,
              0.60252,
              0.65252,
              0.71242
            ],
            [
              0.37107,
              0.59907,
              0.63427,
              0.67477,
              0.72127,
              0.77467,
              0.83647
            ],
            [
              0.454,
              0.7355,
              0.7771,
              0.8244,
              0.878,
              0.9387,
              1.0082
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.28633,
              0.69074,
              0.77044,
              0.86632,
              0.98132,
              1.11907,
              1.28467
            ],
            [
              0.2892,
              0.69422,
              0.77397,
              0.86986,
              0.98486,
              1.12264,
              1.28824
            ],
            [
              0.29254,
              0.69827,
              0.77812,
              0.87408,
              0.98912,
              1.12692,
              1.29252
            ],
            [
              0.29768,
              0.70444,
              0.78433,
              0.8804,
              0.99547,
              1.13338,
              1.29908
            ],
            [
              0.30571,
              0.71374,
              0.79371,
              0.88986,
              1.00501,
              1.14291,
              1.30871
            ],
            [
              0.31848,
              0.72787,
              0.80793,
              0.9043,
              1.01962,
              1.15762,
              1.32352
            ],
            [
              0.33887,
              0.74924,
              0.82946,
              0.92583,
              1.04133,
              1.17943,
              1.34543
            ],
            [
              0.37059,
              0.78131,
              0.86166,
              0.95816,
              1.07376,
              1.21206,
              1.37836
            ],
            [
              0.41747,
              0.82785,
              0.90835,
              1.00505,
              1.12065,
              1.25915,
              1.42565
            ],
            [
              0.48499,
              0.89459,
              0.97519,
              1.07189,
              1.18769,
              1.32629,
              1.49269
            ],
            [
              0.58162,
              0.99072,
              1.07122,
              1.16782,
              1.28372,
              1.42232,
              1.58892
            ],
            [
              0.70997,
              1.13107,
              1.21147,
              1.30807,
              1.42387,
              1.56247,
              1.72907
            ],
            [
              0.8756,
              1.3388,
              1.4191,
              1.5156,
              1.6313,
              1.7699,
              1.9365
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.081,
              0.26953,
              0.30677,
              0.35146,
              0.4052,
              0.46935,
              0.54676
            ],
            [
              0.081,
              0.26962,
              0.30642,
              0.35145,
              0.4051,
              0.46956,
              0.54691
            ],
            [
              0.08098,
              0.26933,
              0.30649,
              0.35148,
              0.40519,
              0.46956,
              0.547
            ],
            [
              0.08081,
              0.26948,
              0.30666,
              0.35147,
              0.40518,
              0.46953,
              0.54702
            ],
            [
              0.08069,
              0.26959,
              0.30668,
              0.35117,
              0.40516,
              0.46949,
              0.54693
            ],
            [
              0.08026,
              0.26955,
              0.30646,
              0.35137,
              0.40515,
              0.46957,
              0.54684
            ],
            [
              0.08067,
              0.26946,
              0.30659,
              0.35126,
              0.40513,
              0.46931,
              0.54664
            ],
            [
              0.08428,
              0.26886,
              0.30648,
              0.35101,
              0.40498,
              0.46922,
              0.547
            ],
            [
              0.09339,
              0.26995,
              0.30631,
              0.35107,
              0.40476,
              0.46919,
              0.54693
            ],
            [
              0.10758,
              0.27716,
              0.31252,
              0.35508,
              0.40742,
              0.47031,
              0.5465
            ],
            [
              0.13001,
              0.29811,
              0.33055,
              0.37048,
              0.42014,
              0.48053,
              0.5542
            ],
            [
              0.163,
              0.3403,
              0.372,
              0.4088,
              0.4539,
              0.5097,
              0.5789
            ],
            [
              0.2097,
              0.4062,
              0.4388,
              0.4769,
              0.5218,
              0.5755,
              0.6382
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.18861,
              0.72605,
              0.83194,
              0.9594,
              1.11325,
              1.29672,
              1.51639
            ],
            [
              0.18866,
              0.72629,
              0.83235,
              0.96009,
              1.11308,
              1.2959,
              1.51537
            ],
            [
              0.18868,
              0.7263,
              0.83224,
              0.95996,
              1.1132,
              1.29663,
              1.51612
            ],
            [
              0.18869,
              0.72528,
              0.83198,
              0.95942,
              1.1132,
              1.29641,
              1.51732
            ],
            [
              0.1887,
              0.7261,
              0.83213,
              0.95939,
              1.11205,
              1.29664,
              1.5161
            ],
            [
              0.18874,
              0.72564,
              0.83162,
              0.95905,
              1.1131,
              1.29668,
              1.51702
            ],
            [
              0.18863,
              0.72626,
              0.83188,
              0.95941,
              1.11314,
              1.29668,
              1.51658
            ],
            [
              0.1888,
              0.72614,
              0.83238,
              0.96008,
              1.11241,
              1.29517,
              1.51731
            ],
            [
              0.18892,
              0.72573,
              0.83148,
              0.95996,
              1.11314,
              1.29535,
              1.51744
            ],
            [
              0.18992,
              0.72514,
              0.83226,
              0.95989,
              1.1126,
              1.2952,
              1.5166
            ],
            [
              0.201,
              0.7258,
              0.8324,
              0.9587,
              1.1131,
              1.2955,
              1.5174
            ],
            [
              0.2305,
              0.7296,
              0.8335,
              0.9604,
              1.1132,
              1.2966,
              1.5161
            ],
            [
              0.2748,
              0.7608,
              0.8591,
              0.9787,
              1.1253,
              1.3026,
              1.5177
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.09583,
              0.25073,
              0.27994,
              0.31488,
              0.35661,
              0.4064,
              0.46605
            ],
            [
              0.09869,
              0.25358,
              0.2828,
              0.31774,
              0.35946,
              0.40922,
              0.46887
            ],
            [
              0.10223,
              0.25712,
              0.28635,
              0.3213,
              0.36301,
              0.41277,
              0.47243
            ],
            [
              0.10765,
              0.26254,
              0.29175,
              0.32671,
              0.3684,
              0.41818,
              0.47782
            ],
            [
              0.1155,
              0.27047,
              0.29965,
              0.33461,
              0.37632,
              0.42608,
              0.48573
            ],
            [
              0.12683,
              0.28176,
              0.31099,
              0.34594,
              0.38765,
              0.43742,
              0.49708
            ],
            [
              0.14358,
              0.29825,
              0.32751,
              0.36248,
              0.40424,
              0.45402,
              0.51367
            ],
            [
              0.16867,
              0.32289,
              0.35214,
              0.38715,
              0.42891,
              0.47873,
              0.53843
            ],
            [
              0.20224,
              0.35975,
              0.38903,
              0.42405,
              0.46586,
              0.51569,
              0.57541
            ],
            [
              0.24691,
              0.41508,
              0.44432,
              0.47935,
              0.5212,
              0.57112,
              0.63089
            ],
            [
              0.30408,
              0.49502,
              0.52602,
              0.56212,
              0.60412,
              0.65412,
              0.71392
            ],
            [
              0.37437,
              0.60097,
              0.63617,
              0.67657,
              0.72297,
              0.77637,
              0.83817
            ],
            [
              0.4582,
              0.7377,
              0.7792,
              0.8264,
              0.8799,
              0.9406,
              1.01
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.33941,
              0.73247,
              0.80968,
              0.90266,
              1.01407,
              1.14717,
              1.30757
            ],
            [
              0.34255,
              0.73594,
              0.81326,
              0.90619,
              1.01754,
              1.15084,
              1.31124
            ],
            [
              0.34621,
              0.74012,
              0.8174,
              0.91046,
              1.02182,
              1.15512,
              1.31542
            ],
            [
              0.35174,
              0.74633,
              0.82364,
              0.91665,
              1.02808,
              1.16148,
              1.32198
            ],
            [
              0.36036,
              0.75573,
              0.83315,
              0.92619,
              1.03771,
              1.17131,
              1.33181
            ],
            [
              0.37366,
              0.77001,
              0.8476,
              0.94072,
              1.05262,
              1.18612,
              1.34662
            ],
            [
              0.39418,
              0.79154,
              0.86925,
              0.96243,
              1.07413,
              1.20793,
              1.36873
            ],
            [
              0.42592,
              0.82386,
              0.90166,
              0.99506,
              1.10686,
              1.24066,
              1.40156
            ],
            [
              0.47268,
              0.87075,
              0.94855,
              1.04215,
              1.15415,
              1.28805,
              1.44905
            ],
            [
              0.54014,
              0.93779,
              1.01569,
              1.10929,
              1.22149,
              1.35559,
              1.51659
            ],
            [
              0.63742,
              1.03452,
              1.11232,
              1.20592,
              1.31812,
              1.45212,
              1.61342
            ],
            [
              0.77477,
              1.17577,
              1.25367,
              1.34727,
              1.45927,
              1.59357,
              1.75467
            ],
            [
              0.9534,
              1.3854,
              1.4632,
              1.5566,
              1.6687,
              1.8028,
              1.964
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.10996,
              0.29443,
              0.33142,
              0.37611,
              0.4294,
              0.49341,
              0.57087
            ],
            [
              0.10992,
              0.29446,
              0.33141,
              0.37601,
              0.42933,
              0.49348,
              0.57085
            ],
            [
              0.10985,
              0.29438,
              0.3314,
              0.37597,
              0.4294,
              0.49338,
              0.5708
            ],
            [
              0.10977,
              0.2944,
              0.33139,
              0.37589,
              0.42949,
              0.49387,
              0.57093
            ],
            [
              0.10964,
              0.29441,
              0.33136,
              0.3759,
              0.42954,
              0.49382,
              0.57095
            ],
            [
              0.1092,
              0.29432,
              0.33142,
              0.3759,
              0.42949,
              0.49379,
              0.57061
            ],
            [
              0.10952,
              0.29423,
              0.33135,
              0.37589,
              0.42947,
              0.4934,
              0.57084
            ],
            [
              0.11284,
              0.29401,
              0.33114,
              0.3758,
              0.42981,
              0.49373,
              0.57064
            ],
            [
              0.12154,
              0.29491,
              0.33138,
              0.37558,
              0.42927,
              0.49364,
              0.57079
            ],
            [
              0.13837,
              0.30228,
              0.33743,
              0.3799,
              0.43166,
              0.49428,
              0.57066
            ],
            [
              0.164,
              0.32266,
              0.35533,
              0.39548,
              0.44445,
              0.50436,
              0.5779
            ],
            [
              0.2022,
              0.3664,
              0.397,
              0.4336,
              0.4786,
              0.534,
              0.6031
            ],
            [
              0.2571,
              0.4353,
              0.4668,
              0.5041,
              0.5476,
              0.6002,
              0.6623
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.22235,
              0.74659,
              0.84958,
              0.97377,
              1.12234,
              1.29909,
              1.51408
            ],
            [
              0.22256,
              0.74655,
              0.8497,
              0.97375,
              1.1217,
              1.29888,
              1.51471
            ],
            [
              0.22247,
              0.7466,
              0.84951,
              0.97373,
              1.12225,
              1.29896,
              1.51317
            ],
            [
              0.22257,
              0.74627,
              0.84913,
              0.97329,
              1.12166,
              1.29948,
              1.51376
            ],
            [
              0.2226,
              0.7461,
              0.84938,
              0.97298,
              1.12102,
              1.29919,
              1.51447
            ],
            [
              0.22237,
              0.74654,
              0.84923,
              0.97263,
              1.12245,
              1.29975,
              1.5132
            ],
            [
              0.22229,
              0.7462,
              0.84977,
              0.97295,
              1.12097,
              1.29954,
              1.51372
            ],
            [
              0.22262,
              0.74652,
              0.84947,
              0.97362,
              1.12101,
              1.29905,
              1.51406
            ],
            [
              0.2226,
              0.74648,
              0.84954,
              0.97369,
              1.1225,
              1.29884,
              1.51475
            ],
            [
              0.22266,
              0.74654,
              0.84972,
              0.9728,
              1.1225,
              1.3006,
              1.5142
            ],
            [
              0.2293,
              0.7466,
              0.8497,
              0.9734,
              1.1223,
              1.299,
              1.5143
            ],
            [
              0.2548,
              0.7484,
              0.8502,
              0.9737,
              1.1214,
              1.3004,
              1.5147
            ],
            [
              0.3016,
              0.775,
              0.872,
              0.9886,
              1.1308,
              1.3045,
              1.5153
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.12091,
              0.27356,
              0.30262,
              0.33741,
              0.37902,
              0.42865,
              0.48821
            ],
            [
              0.12429,
              0.27694,
              0.30602,
              0.3408,
              0.38241,
              0.43204,
              0.49159
            ],
            [
              0.12832,
              0.28097,
              0.31006,
              0.34485,
              0.38644,
              0.43609,
              0.49565
            ],
            [
              0.13401,
              0.2867,
              0.31579,
              0.35058,
              0.39216,
              0.44182,
              0.50136
            ],
            [
              0.14205,
              0.29483,
              0.32391,
              0.35872,
              0.40028,
              0.44994,
              0.50949
            ],
            [
              0.1534,
              0.30632,
              0.33538,
              0.37019,
              0.41179,
              0.46145,
              0.52101
            ],
            [
              0.16948,
              0.32257,
              0.35167,
              0.38649,
              0.4281,
              0.47778,
              0.53737
            ],
            [
              0.19264,
              0.34576,
              0.37491,
              0.40976,
              0.4514,
              0.50109,
              0.5607
            ],
            [
              0.22549,
              0.37938,
              0.40855,
              0.44345,
              0.48512,
              0.53487,
              0.59449
            ],
            [
              0.26878,
              0.42882,
              0.45801,
              0.49294,
              0.53466,
              0.58448,
              0.64419
            ],
            [
              0.32595,
              0.50052,
              0.53082,
              0.56642,
              0.60822,
              0.65812,
              0.71782
            ],
            [
              0.40087,
              0.59677,
              0.62997,
              0.66877,
              0.71387,
              0.76627,
              0.82757
            ],
            [
              0.4964,
              0.7244,
              0.7617,
              0.8049,
              0.8549,
              0.9127,
              0.9798
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.25791,
              0.5574,
              0.61577,
              0.68592,
              0.76993,
              0.87049,
              0.99131
            ],
            [
              0.26071,
              0.56018,
              0.6186,
              0.68872,
              0.77273,
              0.87328,
              0.99414
            ],
            [
              0.26442,
              0.56403,
              0.62241,
              0.69256,
              0.77659,
              0.87715,
              0.99802
            ],
            [
              0.27026,
              0.57008,
              0.62853,
              0.69866,
              0.78268,
              0.88326,
              1.00408
            ],
            [
              0.27943,
              0.57954,
              0.638,
              0.70816,
              0.79218,
              0.89288,
              1.01371
            ],
            [
              0.29346,
              0.59401,
              0.65252,
              0.72271,
              0.80678,
              0.90739,
              1.02822
            ],
            [
              0.31489,
              0.61597,
              0.67447,
              0.74474,
              0.82875,
              0.92943,
              1.05033
            ],
            [
              0.347,
              0.64847,
              0.70706,
              0.77738,
              0.86156,
              0.96226,
              1.08326
            ],
            [
              0.39404,
              0.69554,
              0.75415,
              0.82455,
              0.90875,
              1.00955,
              1.13055
            ],
            [
              0.46206,
              0.76349,
              0.82219,
              0.89259,
              0.97689,
              1.07769,
              1.19879
            ],
            [
              0.56112,
              0.86282,
              0.92152,
              0.99202,
              1.07632,
              1.17722,
              1.29832
            ],
            [
              0.69227,
              1.00987,
              1.06857,
              1.13907,
              1.22337,
              1.32427,
              1.44557
            ],
            [
              0.8614,
              1.2279,
              1.2879,
              1.3586,
              1.443,
              1.5439,
              1.6652
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.08884,
              0.27776,
              0.31501,
              0.35965,
              0.41373,
              0.47811,
              0.55594
            ],
            [
              0.08891,
              0.27769,
              0.31504,
              0.35968,
              0.41373,
              0.47818,
              0.55578
            ],
            [
              0.08896,
              0.27765,
              0.315,
              0.35947,
              0.41365,
              0.478,
              0.5559
            ],
            [
              0.08895,
              0.27753,
              0.31497,
              0.35944,
              0.41363,
              0.47793,
              0.55584
            ],
            [
              0.08886,
              0.27776,
              0.31505,
              0.35988,
              0.41359,
              0.47796,
              0.55587
            ],
            [
              0.08884,
              0.27772,
              0.31495,
              0.35966,
              0.41358,
              0.47795,
              0.55578
            ],
            [
              0.08854,
              0.27771,
              0.31498,
              0.35976,
              0.41362,
              0.47809,
              0.5559
            ],
            [
              0.08946,
              0.27739,
              0.31494,
              0.35982,
              0.4137,
              0.47803,
              0.55582
            ],
            [
              0.09443,
              0.27761,
              0.31487,
              0.3597,
              0.41323,
              0.47822,
              0.55568
            ],
            [
              0.10443,
              0.28244,
              0.31864,
              0.36219,
              0.41481,
              0.4786,
              0.55585
            ],
            [
              0.11932,
              0.29703,
              0.33133,
              0.37338,
              0.42464,
              0.48647,
              0.5608
            ],
            [
              0.1424,
              0.3274,
              0.361,
              0.401,
              0.4496,
              0.5084,
              0.5798
            ],
            [
              0.1795,
              0.3733,
              0.408,
              0.4499,
              0.4988,
              0.5563,
              0.6247
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.17788,
              0.56657,
              0.6422,
              0.73505,
              0.84555,
              0.97837,
              1.13754
            ],
            [
              0.17789,
              0.56654,
              0.64305,
              0.73433,
              0.84472,
              0.97744,
              1.13751
            ],
            [
              0.17787,
              0.5666,
              0.6422,
              0.73506,
              0.84585,
              0.97836,
              1.13751
            ],
            [
              0.17782,
              0.56657,
              0.6427,
              0.73442,
              0.84519,
              0.9784,
              1.13745
            ],
            [
              0.17786,
              0.56653,
              0.64301,
              0.73468,
              0.84453,
              0.97812,
              1.13734
            ],
            [
              0.17786,
              0.5666,
              0.6427,
              0.73463,
              0.84495,
              0.9775,
              1.1363
            ],
            [
              0.17785,
              0.56632,
              0.64227,
              0.73498,
              0.8458,
              0.9784,
              1.13746
            ],
            [
              0.17791,
              0.56646,
              0.64269,
              0.73494,
              0.84545,
              0.978,
              1.1374
            ],
            [
              0.17798,
              0.56643,
              0.6428,
              0.7349,
              0.84467,
              0.97787,
              1.13732
            ],
            [
              0.17908,
              0.56573,
              0.64286,
              0.73482,
              0.84482,
              0.97807,
              1.1374
            ],
            [
              0.1924,
              0.5658,
              0.6432,
              0.7353,
              0.8457,
              0.9783,
              1.1362
            ],
            [
              0.2284,
              0.5767,
              0.6497,
              0.7392,
              0.8458,
              0.9769,
              1.1373
            ],
            [
              0.2823,
              0.6206,
              0.6885,
              0.7715,
              0.8715,
              0.9958,
              1.1472
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.10113,
              0.25624,
              0.28549,
              0.32044,
              0.36214,
              0.41194,
              0.47157
            ],
            [
              0.10448,
              0.2596,
              0.28882,
              0.32378,
              0.3655,
              0.41525,
              0.47489
            ],
            [
              0.10848,
              0.26358,
              0.29283,
              0.32778,
              0.36949,
              0.41928,
              0.47888
            ],
            [
              0.11413,
              0.26925,
              0.29846,
              0.33342,
              0.37513,
              0.4249,
              0.48453
            ],
            [
              0.12211,
              0.27725,
              0.30648,
              0.34144,
              0.38317,
              0.43295,
              0.49257
            ],
            [
              0.13345,
              0.28867,
              0.3179,
              0.35287,
              0.39458,
              0.44435,
              0.504
            ],
            [
              0.1497,
              0.30485,
              0.33409,
              0.36907,
              0.4108,
              0.46059,
              0.52024
            ],
            [
              0.17324,
              0.32803,
              0.3573,
              0.39229,
              0.43403,
              0.48385,
              0.54351
            ],
            [
              0.20482,
              0.36169,
              0.39095,
              0.42597,
              0.46774,
              0.51757,
              0.57728
            ],
            [
              0.24636,
              0.41124,
              0.44049,
              0.47552,
              0.51731,
              0.56719,
              0.62695
            ],
            [
              0.30112,
              0.48212,
              0.51292,
              0.54892,
              0.59092,
              0.64082,
              0.70062
            ],
            [
              0.37217,
              0.57667,
              0.61047,
              0.64987,
              0.69557,
              0.74857,
              0.81027
            ],
            [
              0.4611,
              0.7019,
              0.7401,
              0.7841,
              0.8349,
              0.8933,
              0.961
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.31803,
              0.7147,
              0.79227,
              0.88542,
              0.99707,
              1.13067,
              1.29117
            ],
            [
              0.32053,
              0.7172,
              0.79475,
              0.88792,
              0.99954,
              1.13314,
              1.29374
            ],
            [
              0.324,
              0.72082,
              0.79843,
              0.89159,
              1.00322,
              1.13682,
              1.29742
            ],
            [
              0.3296,
              0.72669,
              0.80429,
              0.8975,
              1.00918,
              1.14278,
              1.30337
            ],
            [
              0.33846,
              0.73603,
              0.81362,
              0.90682,
              1.01841,
              1.15221,
              1.31281
            ],
            [
              0.35215,
              0.75029,
              0.82796,
              0.9212,
              1.03292,
              1.16652,
              1.32722
            ],
            [
              0.37319,
              0.77192,
              0.84966,
              0.94283,
              1.05463,
              1.18843,
              1.34913
            ],
            [
              0.4047,
              0.80397,
              0.88176,
              0.97516,
              1.08696,
              1.22076,
              1.38156
            ],
            [
              0.45038,
              0.84975,
              0.92765,
              1.02105,
              1.13305,
              1.26685,
              1.42765
            ],
            [
              0.51517,
              0.91449,
              0.99239,
              1.08599,
              1.19789,
              1.33189,
              1.49279
            ],
            [
              0.60792,
              1.00702,
              1.08492,
              1.17852,
              1.29052,
              1.42452,
              1.58552
            ],
            [
              0.73427,
              1.14137,
              1.21927,
              1.31287,
              1.42497,
              1.55907,
              1.72007
            ],
            [
              0.8963,
              1.3396,
              1.4176,
              1.5112,
              1.6233,
              1.7575,
              1.9185
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.08091,
              0.26962,
              0.30672,
              0.3515,
              0.40519,
              0.46959,
              0.54681
            ],
            [
              0.08083,
              0.26939,
              0.30672,
              0.3513,
              0.40495,
              0.46935,
              0.54657
            ],
            [
              0.08085,
              0.26959,
              0.30668,
              0.35148,
              0.40517,
              0.46932,
              0.54651
            ],
            [
              0.08072,
              0.26957,
              0.3066,
              0.35138,
              0.40513,
              0.46945,
              0.5468
            ],
            [
              0.08061,
              0.26955,
              0.30662,
              0.35111,
              0.40482,
              0.46915,
              0.54645
            ],
            [
              0.08039,
              0.26951,
              0.30649,
              0.35144,
              0.40511,
              0.46953,
              0.54698
            ],
            [
              0.08025,
              0.26948,
              0.30663,
              0.35142,
              0.40498,
              0.46949,
              0.54679
            ],
            [
              0.08237,
              0.26933,
              0.30652,
              0.35136,
              0.40482,
              0.46951,
              0.5469
            ],
            [
              0.08882,
              0.2698,
              0.30646,
              0.35114,
              0.40496,
              0.46905,
              0.54678
            ],
            [
              0.09922,
              0.27511,
              0.31088,
              0.35412,
              0.40674,
              0.4702,
              0.54663
            ],
            [
              0.11469,
              0.29066,
              0.3249,
              0.36657,
              0.41721,
              0.47837,
              0.55301
            ],
            [
              0.1393,
              0.322,
              0.3555,
              0.3953,
              0.443,
              0.5018,
              0.5733
            ],
            [
              0.1771,
              0.3687,
              0.4033,
              0.4444,
              0.4935,
              0.5508,
              0.6187
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.21649,
              0.73884,
              0.84149,
              0.96533,
              1.11431,
              1.29229,
              1.50601
            ],
            [
              0.21649,
              0.73892,
              0.84213,
              0.96588,
              1.11435,
              1.29225,
              1.50608
            ],
            [
              0.21647,
              0.73893,
              0.84148,
              0.96531,
              1.11427,
              1.29225,
              1.50606
            ],
            [
              0.21649,
              0.7391,
              0.84192,
              0.96546,
              1.1142,
              1.29224,
              1.50491
            ],
            [
              0.21648,
              0.73814,
              0.8415,
              0.9658,
              1.11452,
              1.29227,
              1.50606
            ],
            [
              0.21652,
              0.73808,
              0.84129,
              0.96583,
              1.11449,
              1.29231,
              1.50607
            ],
            [
              0.21642,
              0.73902,
              0.84191,
              0.96534,
              1.11404,
              1.29222,
              1.50599
            ],
            [
              0.21631,
              0.73851,
              0.8414,
              0.9653,
              1.11424,
              1.29234,
              1.50596
            ],
            [
              0.21647,
              0.73858,
              0.84112,
              0.96475,
              1.1133,
              1.29221,
              1.50603
            ],
            [
              0.21693,
              0.73864,
              0.84205,
              0.96575,
              1.1132,
              1.2917,
              1.5061
            ],
            [
              0.2255,
              0.7382,
              0.8412,
              0.9648,
              1.1145,
              1.291,
              1.5058
            ],
            [
              0.2534,
              0.7431,
              0.8439,
              0.9661,
              1.1144,
              1.2914,
              1.5053
            ],
            [
              0.2984,
              0.7741,
              0.8688,
              0.9861,
              1.1275,
              1.2988,
              1.5086
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.10296,
              0.25784,
              0.28705,
              0.322,
              0.36371,
              0.41347,
              0.47314
            ],
            [
              0.10632,
              0.26118,
              0.29042,
              0.32535,
              0.36706,
              0.41683,
              0.47649
            ],
            [
              0.11031,
              0.2652,
              0.29439,
              0.32934,
              0.37105,
              0.42082,
              0.48048
            ],
            [
              0.11596,
              0.27082,
              0.30006,
              0.33502,
              0.37671,
              0.42647,
              0.48613
            ],
            [
              0.12394,
              0.27889,
              0.30809,
              0.34303,
              0.38475,
              0.43452,
              0.49417
            ],
            [
              0.13527,
              0.29025,
              0.31949,
              0.35444,
              0.39616,
              0.44595,
              0.50559
            ],
            [
              0.15149,
              0.30644,
              0.33572,
              0.37067,
              0.4124,
              0.46219,
              0.52184
            ],
            [
              0.17503,
              0.32962,
              0.35889,
              0.39388,
              0.43565,
              0.48544,
              0.54512
            ],
            [
              0.20674,
              0.36327,
              0.39255,
              0.42754,
              0.46933,
              0.5192,
              0.57888
            ],
            [
              0.24846,
              0.41284,
              0.44208,
              0.4771,
              0.51889,
              0.56883,
              0.62855
            ],
            [
              0.30348,
              0.48382,
              0.51452,
              0.55052,
              0.59252,
              0.64242,
              0.70232
            ],
            [
              0.37497,
              0.57847,
              0.61227,
              0.65167,
              0.69727,
              0.75027,
              0.81187
            ],
            [
              0.4646,
              0.704,
              0.7421,
              0.7861,
              0.8368,
              0.8952,
              0.9628
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.3687,
              0.7529,
              0.82794,
              0.91809,
              1.02607,
              1.15527,
              1.31067
            ],
            [
              0.37127,
              0.75548,
              0.83052,
              0.92067,
              1.02864,
              1.15784,
              1.31314
            ],
            [
              0.37486,
              0.7591,
              0.83417,
              0.92434,
              1.03232,
              1.16162,
              1.31682
            ],
            [
              0.38055,
              0.76502,
              0.8401,
              0.93029,
              1.03828,
              1.16758,
              1.32288
            ],
            [
              0.38965,
              0.77433,
              0.84955,
              0.93977,
              1.04781,
              1.17701,
              1.33231
            ],
            [
              0.40351,
              0.78877,
              0.86397,
              0.95422,
              1.06222,
              1.19142,
              1.34672
            ],
            [
              0.42479,
              0.81048,
              0.88556,
              0.97583,
              1.08393,
              1.21333,
              1.36873
            ],
            [
              0.45659,
              0.84266,
              0.91786,
              1.00826,
              1.11636,
              1.24576,
              1.40126
            ],
            [
              0.50233,
              0.88865,
              0.96395,
              1.05435,
              1.16255,
              1.29205,
              1.44755
            ],
            [
              0.5673,
              0.95369,
              1.02909,
              1.11959,
              1.22789,
              1.35739,
              1.51289
            ],
            [
              0.66052,
              1.04682,
              1.12222,
              1.21272,
              1.32112,
              1.45062,
              1.60622
            ],
            [
              0.79347,
              1.18237,
              1.25777,
              1.34837,
              1.45667,
              1.58637,
              1.74207
            ],
            [
              0.967,
              1.3826,
              1.4581,
              1.5486,
              1.6571,
              1.7868,
              1.9425
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.1098,
              0.29439,
              0.33138,
              0.37583,
              0.42938,
              0.4934,
              0.57082
            ],
            [
              0.10977,
              0.29439,
              0.33152,
              0.37588,
              0.42951,
              0.49399,
              0.57076
            ],
            [
              0.10973,
              0.29456,
              0.33136,
              0.37583,
              0.42956,
              0.4938,
              0.5706
            ],
            [
              0.10967,
              0.29432,
              0.33139,
              0.37613,
              0.42953,
              0.49374,
              0.57067
            ],
            [
              0.10954,
              0.29451,
              0.33141,
              0.37591,
              0.42937,
              0.49388,
              0.57123
            ],
            [
              0.10934,
              0.29428,
              0.33129,
              0.37585,
              0.42948,
              0.49348,
              0.57102
            ],
            [
              0.10911,
              0.29425,
              0.33144,
              0.3759,
              0.42949,
              0.49359,
              0.57066
            ],
            [
              0.11107,
              0.2941,
              0.33122,
              0.37584,
              0.42953,
              0.49382,
              0.57065
            ],
            [
              0.11716,
              0.2946,
              0.33125,
              0.37586,
              0.42938,
              0.49329,
              0.57074
            ],
            [
              0.12933,
              0.30027,
              0.3359,
              0.37882,
              0.43127,
              0.49444,
              0.57079
            ],
            [
              0.14718,
              0.31562,
              0.34969,
              0.39127,
              0.44143,
              0.503,
              0.57737
            ],
            [
              0.175,
              0.3479,
              0.3807,
              0.42,
              0.468,
              0.5261,
              0.5971
            ],
            [
              0.2181,
              0.3967,
              0.4307,
              0.4712,
              0.5189,
              0.5757,
              0.643
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.24728,
              0.756,
              0.85544,
              0.97571,
              1.11995,
              1.29201,
              1.50088
            ],
            [
              0.24727,
              0.7567,
              0.85654,
              0.97591,
              1.11986,
              1.29191,
              1.49987
            ],
            [
              0.24726,
              0.7563,
              0.85556,
              0.97561,
              1.11945,
              1.29229,
              1.49944
            ],
            [
              0.24722,
              0.7565,
              0.85567,
              0.97583,
              1.12084,
              1.29317,
              1.50065
            ],
            [
              0.24729,
              0.75627,
              0.85673,
              0.97686,
              1.1197,
              1.29241,
              1.50004
            ],
            [
              0.24729,
              0.75627,
              0.85673,
              0.97692,
              1.12066,
              1.29182,
              1.49952
            ],
            [
              0.24716,
              0.75642,
              0.85648,
              0.97621,
              1.12014,
              1.29236,
              1.50054
            ],
            [
              0.24723,
              0.7561,
              0.85644,
              0.97681,
              1.12084,
              1.29282,
              1.49982
            ],
            [
              0.2471,
              0.75637,
              0.85668,
              0.97679,
              1.12075,
              1.29275,
              1.49929
            ],
            [
              0.24743,
              0.75653,
              0.85669,
              0.977,
              1.1209,
              1.2923,
              1.4997
            ],
            [
              0.2524,
              0.7565,
              0.8565,
              0.9758,
              1.1204,
              1.2932,
              1.5001
            ],
            [
              0.2759,
              0.7592,
              0.8569,
              0.9767,
              1.1202,
              1.2924,
              1.5006
            ],
            [
              0.3233,
              0.7862,
              0.8801,
              0.9933,
              1.1308,
              1.299,
              1.5011
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.04328,
              0.13926,
              0.15817,
              0.18075,
              0.2082,
              0.24091,
              0.28005
            ],
            [
              0.04591,
              0.14224,
              0.16111,
              0.18379,
              0.21122,
              0.24392,
              0.28312
            ],
            [
              0.04914,
              0.14575,
              0.16482,
              0.18756,
              0.21467,
              0.24758,
              0.28697
            ],
            [
              0.05415,
              0.15121,
              0.17034,
              0.1931,
              0.22032,
              0.25294,
              0.29254
            ],
            [
              0.06188,
              0.15952,
              0.17854,
              0.20138,
              0.22861,
              0.26131,
              0.30086
            ],
            [
              0.07397,
              0.17193,
              0.19098,
              0.21375,
              0.24108,
              0.27399,
              0.31332
            ],
            [
              0.08912,
              0.19055,
              0.20951,
              0.23226,
              0.25981,
              0.29254,
              0.33183
            ],
            [
              0.10758,
              0.21853,
              0.23756,
              0.26035,
              0.28776,
              0.32027,
              0.36014
            ],
            [
              0.12956,
              0.26062,
              0.27948,
              0.30238,
              0.32989,
              0.36262,
              0.40202
            ],
            [
              0.15542,
              0.32009,
              0.34199,
              0.36638,
              0.39348,
              0.42624,
              0.46586
            ],
            [
              0.18498,
              0.39315,
              0.42061,
              0.45082,
              0.48422,
              0.52112,
              0.56192
            ],
            [
              0.21747,
              0.48257,
              0.51677,
              0.55477,
              0.59647,
              0.64237,
              0.69287
            ],
            [
              0.2504,
              0.5899,
              0.6334,
              0.6813,
              0.7333,
              0.7909,
              0.8541
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.10426,
              0.36186,
              0.41215,
              0.47239,
              0.54482,
              0.63198,
              0.73626
            ],
            [
              0.1053,
              0.36497,
              0.41516,
              0.476,
              0.54853,
              0.63502,
              0.73947
            ],
            [
              0.10717,
              0.36852,
              0.41871,
              0.47963,
              0.5523,
              0.63897,
              0.7428
            ],
            [
              0.11106,
              0.37385,
              0.42458,
              0.48523,
              0.55758,
              0.64468,
              0.7492
            ],
            [
              0.11828,
              0.38204,
              0.43276,
              0.49344,
              0.56611,
              0.65322,
              0.7576
            ],
            [
              0.13063,
              0.39435,
              0.44489,
              0.50612,
              0.57923,
              0.66609,
              0.77075
            ],
            [
              0.15073,
              0.41348,
              0.46443,
              0.52558,
              0.59835,
              0.68584,
              0.79107
            ],
            [
              0.18246,
              0.443,
              0.4941,
              0.55512,
              0.62827,
              0.71593,
              0.82207
            ],
            [
              0.22921,
              0.48984,
              0.54037,
              0.60149,
              0.67466,
              0.76255,
              0.86805
            ],
            [
              0.28805,
              0.5614,
              0.61192,
              0.67269,
              0.74569,
              0.83279,
              0.93749
            ],
            [
              0.36232,
              0.66982,
              0.72072,
              0.78152,
              0.85442,
              0.94082,
              1.04592
            ],
            [
              0.45607,
              0.83507,
              0.88507,
              0.94537,
              1.01767,
              1.10497,
              1.20857
            ],
            [
              0.5745,
              1.0612,
              1.1234,
              1.1918,
              1.2668,
              1.3534,
              1.4577
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.03342,
              0.15974,
              0.18489,
              0.21527,
              0.25127,
              0.2948,
              0.34688
            ],
            [
              0.03342,
              0.15984,
              0.18507,
              0.21516,
              0.25133,
              0.29476,
              0.34688
            ],
            [
              0.03342,
              0.15989,
              0.18487,
              0.21508,
              0.25155,
              0.29461,
              0.34706
            ],
            [
              0.03338,
              0.15991,
              0.18484,
              0.21509,
              0.25124,
              0.29506,
              0.34699
            ],
            [
              0.03345,
              0.15981,
              0.18482,
              0.21507,
              0.2512,
              0.29508,
              0.34678
            ],
            [
              0.03657,
              0.1597,
              0.185,
              0.21506,
              0.25143,
              0.29473,
              0.34695
            ],
            [
              0.04482,
              0.15983,
              0.185,
              0.21515,
              0.25143,
              0.29471,
              0.34741
            ],
            [
              0.05533,
              0.16148,
              0.18579,
              0.21506,
              0.25132,
              0.29497,
              0.34708
            ],
            [
              0.07048,
              0.17222,
              0.19412,
              0.22111,
              0.25484,
              0.296,
              0.34745
            ],
            [
              0.09183,
              0.19829,
              0.21682,
              0.24046,
              0.27061,
              0.30831,
              0.35531
            ],
            [
              0.1214,
              0.24433,
              0.26275,
              0.28367,
              0.30934,
              0.34175,
              0.38338
            ],
            [
              0.16146,
              0.3071,
              0.328,
              0.3521,
              0.3793,
              0.4103,
              0.4462
            ],
            [
              0.2161,
              0.3925,
              0.4166,
              0.4445,
              0.4764,
              0.5118,
              0.5519
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.08731,
              0.43056,
              0.4978,
              0.5811,
              0.67837,
              0.79663,
              0.93934
            ],
            [
              0.08747,
              0.42992,
              0.49875,
              0.58026,
              0.67887,
              0.79606,
              0.93948
            ],
            [
              0.08746,
              0.4305,
              0.49812,
              0.58017,
              0.67926,
              0.79747,
              0.93801
            ],
            [
              0.08723,
              0.42986,
              0.49786,
              0.57946,
              0.67811,
              0.79654,
              0.93937
            ],
            [
              0.08731,
              0.4308,
              0.49893,
              0.57972,
              0.67876,
              0.79744,
              0.93951
            ],
            [
              0.08703,
              0.4305,
              0.49799,
              0.58002,
              0.67751,
              0.79763,
              0.9375
            ],
            [
              0.08665,
              0.43034,
              0.49825,
              0.58098,
              0.67938,
              0.79587,
              0.93885
            ],
            [
              0.09165,
              0.43036,
              0.49894,
              0.58081,
              0.67813,
              0.797,
              0.93964
            ],
            [
              0.10751,
              0.43072,
              0.49801,
              0.58052,
              0.67947,
              0.79703,
              0.93754
            ],
            [
              0.13834,
              0.42997,
              0.49759,
              0.58004,
              0.67909,
              0.79685,
              0.93951
            ],
            [
              0.17709,
              0.4425,
              0.5046,
              0.5818,
              0.6791,
              0.796,
              0.9391
            ],
            [
              0.2294,
              0.4868,
              0.5413,
              0.6105,
              0.6972,
              0.8057,
              0.9411
            ],
            [
              0.2981,
              0.583,
              0.6273,
              0.686,
              0.761,
              0.8559,
              0.978
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.04331,
              0.13924,
              0.158,
              0.18094,
              0.20818,
              0.24082,
              0.28025
            ],
            [
              0.04595,
              0.14217,
              0.1611,
              0.18393,
              0.21112,
              0.24379,
              0.28331
            ],
            [
              0.0492,
              0.14593,
              0.1648,
              0.18743,
              0.21492,
              0.24766,
              0.28686
            ],
            [
              0.05423,
              0.15141,
              0.17041,
              0.19296,
              0.22046,
              0.25322,
              0.29246
            ],
            [
              0.062,
              0.15968,
              0.17868,
              0.20143,
              0.22872,
              0.26162,
              0.30097
            ],
            [
              0.07412,
              0.17208,
              0.19113,
              0.21384,
              0.24131,
              0.27416,
              0.3134
            ],
            [
              0.08932,
              0.19073,
              0.20973,
              0.23247,
              0.26003,
              0.29277,
              0.33202
            ],
            [
              0.10785,
              0.21874,
              0.23782,
              0.26059,
              0.28813,
              0.32081,
              0.36044
            ],
            [
              0.12988,
              0.26093,
              0.27999,
              0.30268,
              0.33027,
              0.3631,
              0.40258
            ],
            [
              0.15566,
              0.32039,
              0.34214,
              0.36658,
              0.39374,
              0.42658,
              0.46595
            ],
            [
              0.18532,
              0.39354,
              0.42071,
              0.45122,
              0.48462,
              0.52142,
              0.56222
            ],
            [
              0.21777,
              0.48277,
              0.51707,
              0.55517,
              0.59697,
              0.64277,
              0.69327
            ],
            [
              0.2506,
              0.5903,
              0.6337,
              0.6815,
              0.7341,
              0.7916,
              0.8547
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.11665,
              0.41247,
              0.46986,
              0.53946,
              0.62276,
              0.72231,
              0.84157
            ],
            [
              0.11719,
              0.41536,
              0.47308,
              0.5422,
              0.62586,
              0.72561,
              0.84528
            ],
            [
              0.11853,
              0.41852,
              0.47631,
              0.54612,
              0.62959,
              0.72935,
              0.84932
            ],
            [
              0.12179,
              0.42396,
              0.48157,
              0.55093,
              0.63469,
              0.73476,
              0.85474
            ],
            [
              0.12838,
              0.43144,
              0.48942,
              0.55907,
              0.64294,
              0.74275,
              0.86216
            ],
            [
              0.14007,
              0.44307,
              0.50137,
              0.5716,
              0.65508,
              0.75493,
              0.87561
            ],
            [
              0.15949,
              0.46117,
              0.52002,
              0.59018,
              0.67427,
              0.77433,
              0.89503
            ],
            [
              0.19037,
              0.4897,
              0.54858,
              0.61884,
              0.70242,
              0.8044,
              0.92536
            ],
            [
              0.23765,
              0.53505,
              0.59334,
              0.6637,
              0.74831,
              0.84875,
              0.96935
            ],
            [
              0.29779,
              0.60453,
              0.66299,
              0.73279,
              0.81649,
              0.91719,
              1.03809
            ],
            [
              0.37349,
              0.71032,
              0.76902,
              0.83832,
              0.92232,
              1.02182,
              1.14272
            ],
            [
              0.46897,
              0.87167,
              0.92907,
              0.99847,
              1.08187,
              1.18187,
              1.30027
            ],
            [
              0.5893,
              1.1024,
              1.169,
              1.2425,
              1.3253,
              1.4247,
              1.5442
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.0334,
              0.15976,
              0.18504,
              0.21508,
              0.25134,
              0.29473,
              0.34711
            ],
            [
              0.03341,
              0.15995,
              0.18491,
              0.2151,
              0.25163,
              0.29491,
              0.3471
            ],
            [
              0.03342,
              0.15977,
              0.18486,
              0.21522,
              0.25122,
              0.29483,
              0.34748
            ],
            [
              0.03336,
              0.15979,
              0.18489,
              0.21529,
              0.25115,
              0.29483,
              0.34693
            ],
            [
              0.0334,
              0.15964,
              0.18486,
              0.21502,
              0.25151,
              0.29481,
              0.34706
            ],
            [
              0.03648,
              0.15973,
              0.18498,
              0.2153,
              0.25118,
              0.29478,
              0.34691
            ],
            [
              0.04466,
              0.15983,
              0.18505,
              0.21515,
              0.25137,
              0.29472,
              0.34743
            ],
            [
              0.05511,
              0.16146,
              0.18577,
              0.21501,
              0.25131,
              0.2948,
              0.34707
            ],
            [
              0.07024,
              0.17204,
              0.19393,
              0.22102,
              0.25476,
              0.29597,
              0.34746
            ],
            [
              0.0916,
              0.19789,
              0.21668,
              0.24041,
              0.27034,
              0.30835,
              0.35537
            ],
            [
              0.12083,
              0.24398,
              0.26264,
              0.28339,
              0.30908,
              0.34148,
              0.38314
            ],
            [
              0.16104,
              0.3067,
              0.3277,
              0.3517,
              0.3789,
              0.4099,
              0.446
            ],
            [
              0.2159,
              0.3921,
              0.4167,
              0.4443,
              0.4756,
              0.5109,
              0.5513
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.10097,
              0.49192,
              0.57021,
              0.66428,
              0.77654,
              0.91043,
              1.07096
            ],
            [
              0.10111,
              0.49222,
              0.56974,
              0.66379,
              0.77662,
              0.91083,
              1.07208
            ],
            [
              0.10102,
              0.49279,
              0.57031,
              0.66425,
              0.77626,
              0.91111,
              1.07325
            ],
            [
              0.10092,
              0.49189,
              0.57034,
              0.6636,
              0.77653,
              0.91117,
              1.07235
            ],
            [
              0.10059,
              0.49222,
              0.56996,
              0.66414,
              0.77628,
              0.90989,
              1.0714
            ],
            [
              0.10045,
              0.49259,
              0.57054,
              0.66378,
              0.77506,
              0.90967,
              1.07238
            ],
            [
              0.09973,
              0.49277,
              0.57019,
              0.66281,
              0.77564,
              0.91096,
              1.07289
            ],
            [
              0.1028,
              0.49234,
              0.56927,
              0.66311,
              0.7759,
              0.91082,
              1.0724
            ],
            [
              0.11688,
              0.49167,
              0.56989,
              0.66395,
              0.7752,
              0.90958,
              1.07201
            ],
            [
              0.14774,
              0.49166,
              0.5698,
              0.66301,
              0.77489,
              0.91015,
              1.07224
            ],
            [
              0.18679,
              0.4998,
              0.5724,
              0.6633,
              0.7743,
              0.9099,
              1.0713
            ],
            [
              0.2395,
              0.5376,
              0.602,
              0.6843,
              0.7866,
              0.9122,
              1.0715
            ],
            [
              0.3089,
              0.626,
              0.6802,
              0.751,
              0.8409,
              0.9549,
              1.0978
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.0433,
              0.13924,
              0.15801,
              0.18094,
              0.20819,
              0.2408,
              0.28026
            ],
            [
              0.04595,
              0.14214,
              0.16112,
              0.18395,
              0.21118,
              0.24369,
              0.2833
            ],
            [
              0.04917,
              0.14592,
              0.16479,
              0.18746,
              0.21492,
              0.24764,
              0.28684
            ],
            [
              0.05422,
              0.15141,
              0.17039,
              0.19304,
              0.22041,
              0.25323,
              0.29248
            ],
            [
              0.06198,
              0.15966,
              0.17869,
              0.20146,
              0.22882,
              0.2616,
              0.30099
            ],
            [
              0.07409,
              0.17206,
              0.19111,
              0.21385,
              0.24121,
              0.27411,
              0.31343
            ],
            [
              0.08929,
              0.1907,
              0.20969,
              0.23247,
              0.26001,
              0.29274,
              0.332
            ],
            [
              0.1078,
              0.21871,
              0.23778,
              0.26054,
              0.28809,
              0.32077,
              0.36041
            ],
            [
              0.12983,
              0.26088,
              0.27995,
              0.30267,
              0.33015,
              0.36306,
              0.40252
            ],
            [
              0.15562,
              0.32033,
              0.34213,
              0.36655,
              0.39369,
              0.42653,
              0.46591
            ],
            [
              0.18527,
              0.39352,
              0.4207,
              0.45112,
              0.48452,
              0.52132,
              0.56212
            ],
            [
              0.21757,
              0.48297,
              0.51717,
              0.55517,
              0.59687,
              0.64267,
              0.69317
            ],
            [
              0.2506,
              0.5901,
              0.6335,
              0.6814,
              0.7339,
              0.7915,
              0.8546
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.1144,
              0.40275,
              0.45892,
              0.52626,
              0.60753,
              0.70465,
              0.82121
            ],
            [
              0.11504,
              0.4054,
              0.46197,
              0.52966,
              0.61024,
              0.70781,
              0.82477
            ],
            [
              0.11655,
              0.40905,
              0.46513,
              0.53315,
              0.61444,
              0.71156,
              0.82807
            ],
            [
              0.1199,
              0.41424,
              0.47076,
              0.53843,
              0.6193,
              0.71683,
              0.83413
            ],
            [
              0.12659,
              0.42189,
              0.47843,
              0.54606,
              0.62782,
              0.72538,
              0.8423
            ],
            [
              0.13838,
              0.4337,
              0.49035,
              0.55848,
              0.64036,
              0.7381,
              0.85492
            ],
            [
              0.1579,
              0.45225,
              0.50892,
              0.57749,
              0.65995,
              0.75662,
              0.87431
            ],
            [
              0.18892,
              0.48044,
              0.5379,
              0.60644,
              0.68795,
              0.78705,
              0.90516
            ],
            [
              0.23615,
              0.52596,
              0.58311,
              0.65175,
              0.73377,
              0.83215,
              0.94945
            ],
            [
              0.29603,
              0.59622,
              0.65309,
              0.72079,
              0.80249,
              0.90019,
              1.01829
            ],
            [
              0.37145,
              0.70252,
              0.75952,
              0.82772,
              0.90902,
              1.00622,
              1.12322
            ],
            [
              0.46657,
              0.86447,
              0.92047,
              0.98797,
              1.06967,
              1.16627,
              1.28447
            ],
            [
              0.5865,
              1.0946,
              1.1603,
              1.2327,
              1.3138,
              1.4105,
              1.527
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.03341,
              0.15976,
              0.18504,
              0.21508,
              0.25136,
              0.29478,
              0.34711
            ],
            [
              0.03342,
              0.15993,
              0.18491,
              0.21512,
              0.2513,
              0.29499,
              0.34706
            ],
            [
              0.03339,
              0.15977,
              0.18509,
              0.21519,
              0.25129,
              0.2948,
              0.34691
            ],
            [
              0.03336,
              0.15981,
              0.18489,
              0.21532,
              0.25137,
              0.29483,
              0.34695
            ],
            [
              0.0334,
              0.15963,
              0.18489,
              0.21506,
              0.25111,
              0.29474,
              0.34709
            ],
            [
              0.03651,
              0.15972,
              0.18499,
              0.21531,
              0.25144,
              0.2948,
              0.34694
            ],
            [
              0.04473,
              0.15983,
              0.18504,
              0.21512,
              0.25136,
              0.29472,
              0.34743
            ],
            [
              0.05514,
              0.16146,
              0.18577,
              0.215,
              0.25131,
              0.29481,
              0.34706
            ],
            [
              0.07027,
              0.17207,
              0.19395,
              0.22103,
              0.25445,
              0.29597,
              0.34747
            ],
            [
              0.09167,
              0.19794,
              0.2167,
              0.24041,
              0.27037,
              0.30836,
              0.35533
            ],
            [
              0.12089,
              0.24402,
              0.26256,
              0.28339,
              0.3092,
              0.34156,
              0.38322
            ],
            [
              0.1613,
              0.3065,
              0.3277,
              0.3518,
              0.379,
              0.4101,
              0.446
            ],
            [
              0.2159,
              0.3922,
              0.4168,
              0.4445,
              0.4757,
              0.5111,
              0.5514
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.09815,
              0.48042,
              0.55557,
              0.64731,
              0.75739,
              0.88885,
              1.04413
            ],
            [
              0.09831,
              0.48024,
              0.5565,
              0.64757,
              0.75583,
              0.88817,
              1.04678
            ],
            [
              0.09828,
              0.47947,
              0.55565,
              0.64762,
              0.75706,
              0.88668,
              1.04403
            ],
            [
              0.0982,
              0.48057,
              0.55548,
              0.6472,
              0.75576,
              0.88792,
              1.04686
            ],
            [
              0.09805,
              0.48023,
              0.55506,
              0.64716,
              0.75726,
              0.88888,
              1.04627
            ],
            [
              0.09772,
              0.47946,
              0.55553,
              0.64723,
              0.75712,
              0.88864,
              1.04545
            ],
            [
              0.09714,
              0.47953,
              0.5559,
              0.64763,
              0.75629,
              0.88675,
              1.04568
            ],
            [
              0.10041,
              0.48035,
              0.55582,
              0.64641,
              0.75606,
              0.88805,
              1.04681
            ],
            [
              0.11502,
              0.4801,
              0.55515,
              0.64673,
              0.75708,
              0.88779,
              1.04454
            ],
            [
              0.14593,
              0.47934,
              0.55457,
              0.64722,
              0.75644,
              0.88612,
              1.04507
            ],
            [
              0.18495,
              0.4877,
              0.5593,
              0.6463,
              0.7552,
              0.8865,
              1.0455
            ],
            [
              0.2375,
              0.5268,
              0.5901,
              0.6698,
              0.7679,
              0.8919,
              1.0447
            ],
            [
              0.3069,
              0.6173,
              0.6698,
              0.7371,
              0.8238,
              0.9347,
              1.0742
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.04335,
              0.13915,
              0.15822,
              0.18104,
              0.20817,
              0.24089,
              0.28024
            ],
            [
              0.04602,
              0.14218,
              0.16119,
              0.18375,
              0.21135,
              0.24399,
              0.28304
            ],
            [
              0.0493,
              0.14595,
              0.16476,
              0.18767,
              0.21483,
              0.24769,
              0.28699
            ],
            [
              0.05437,
              0.15154,
              0.1703,
              0.19329,
              0.22049,
              0.25329,
              0.29265
            ],
            [
              0.06219,
              0.15992,
              0.1787,
              0.20165,
              0.229,
              0.26147,
              0.3011
            ],
            [
              0.07439,
              0.17236,
              0.19136,
              0.21426,
              0.24169,
              0.27429,
              0.3137
            ],
            [
              0.08986,
              0.19107,
              0.21003,
              0.23293,
              0.26039,
              0.29292,
              0.33261
            ],
            [
              0.10844,
              0.21917,
              0.23824,
              0.26101,
              0.28851,
              0.32124,
              0.36084
            ],
            [
              0.13062,
              0.26141,
              0.28048,
              0.30341,
              0.33091,
              0.36368,
              0.40316
            ],
            [
              0.15652,
              0.32091,
              0.34278,
              0.36714,
              0.39429,
              0.42709,
              0.4666
            ],
            [
              0.18617,
              0.39436,
              0.4211,
              0.45192,
              0.48512,
              0.52202,
              0.56282
            ],
            [
              0.21847,
              0.48367,
              0.51807,
              0.55597,
              0.59777,
              0.64347,
              0.69397
            ],
            [
              0.2512,
              0.5907,
              0.6349,
              0.6823,
              0.7349,
              0.7925,
              0.8557
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.14794,
              0.54885,
              0.62648,
              0.7208,
              0.83323,
              0.96775,
              1.12937
            ],
            [
              0.14709,
              0.55103,
              0.62949,
              0.72321,
              0.83636,
              0.97157,
              1.13344
            ],
            [
              0.1473,
              0.55436,
              0.63236,
              0.727,
              0.83984,
              0.97393,
              1.13622
            ],
            [
              0.14927,
              0.55866,
              0.63726,
              0.73091,
              0.84398,
              0.97947,
              1.14258
            ],
            [
              0.15426,
              0.56495,
              0.64387,
              0.73829,
              0.85203,
              0.98751,
              1.14971
            ],
            [
              0.16426,
              0.57525,
              0.65416,
              0.74941,
              0.86291,
              0.99822,
              1.16072
            ],
            [
              0.182,
              0.59142,
              0.67093,
              0.76672,
              0.88074,
              1.01543,
              1.17923
            ],
            [
              0.21097,
              0.61727,
              0.69698,
              0.7931,
              0.90706,
              1.04266,
              1.20756
            ],
            [
              0.25722,
              0.65892,
              0.73819,
              0.83425,
              0.94805,
              1.08465,
              1.24915
            ],
            [
              0.32127,
              0.72389,
              0.80369,
              0.89749,
              1.01109,
              1.14819,
              1.31199
            ],
            [
              0.40114,
              0.82402,
              0.90202,
              0.99742,
              1.11082,
              1.24692,
              1.41072
            ],
            [
              0.50127,
              0.97647,
              1.05477,
              1.14877,
              1.26237,
              1.39737,
              1.56077
            ],
            [
              0.6264,
              1.2088,
              1.2873,
              1.3806,
              1.4931,
              1.6283,
              1.792
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.03338,
              0.15971,
              0.18484,
              0.21493,
              0.25125,
              0.29452,
              0.34703
            ],
            [
              0.0334,
              0.15984,
              0.18484,
              0.21535,
              0.25115,
              0.29474,
              0.34732
            ],
            [
              0.03337,
              0.1599,
              0.18494,
              0.21505,
              0.25123,
              0.29459,
              0.347
            ],
            [
              0.03334,
              0.15977,
              0.18502,
              0.21506,
              0.25126,
              0.29448,
              0.34703
            ],
            [
              0.03336,
              0.15976,
              0.1851,
              0.21493,
              0.25134,
              0.29506,
              0.34699
            ],
            [
              0.03637,
              0.15973,
              0.18485,
              0.21495,
              0.25136,
              0.29467,
              0.34713
            ],
            [
              0.04428,
              0.15983,
              0.185,
              0.21501,
              0.25132,
              0.29513,
              0.34687
            ],
            [
              0.05471,
              0.16138,
              0.18571,
              0.21502,
              0.25157,
              0.29507,
              0.34707
            ],
            [
              0.06961,
              0.17176,
              0.19373,
              0.2209,
              0.25459,
              0.29584,
              0.34717
            ],
            [
              0.09086,
              0.19762,
              0.21629,
              0.24005,
              0.27005,
              0.30813,
              0.35509
            ],
            [
              0.12002,
              0.24319,
              0.2622,
              0.28274,
              0.30859,
              0.34101,
              0.38277
            ],
            [
              0.16044,
              0.3059,
              0.3269,
              0.3509,
              0.3782,
              0.4094,
              0.4455
            ],
            [
              0.2151,
              0.3916,
              0.4152,
              0.4436,
              0.4746,
              0.51,
              0.5503
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.13934,
              0.66351,
              0.76759,
              0.89199,
              1.0412,
              1.2212,
              1.43769
            ],
            [
              0.13911,
              0.66401,
              0.76746,
              0.89235,
              1.04113,
              1.21883,
              1.4353
            ],
            [
              0.13895,
              0.66364,
              0.76751,
              0.89196,
              1.04082,
              1.22162,
              1.43767
            ],
            [
              0.1388,
              0.66299,
              0.76711,
              0.89232,
              1.04207,
              1.2215,
              1.43407
            ],
            [
              0.13834,
              0.664,
              0.76752,
              0.89233,
              1.04171,
              1.21914,
              1.43531
            ],
            [
              0.13758,
              0.66381,
              0.7675,
              0.89184,
              1.04086,
              1.22124,
              1.43751
            ],
            [
              0.13647,
              0.66387,
              0.76728,
              0.8916,
              1.0408,
              1.22144,
              1.43718
            ],
            [
              0.13559,
              0.66394,
              0.76729,
              0.89142,
              1.04156,
              1.22148,
              1.43671
            ],
            [
              0.14522,
              0.66389,
              0.76746,
              0.89112,
              1.04191,
              1.22115,
              1.43421
            ],
            [
              0.17076,
              0.66351,
              0.76638,
              0.89218,
              1.04178,
              1.22056,
              1.4368
            ],
            [
              0.21298,
              0.6627,
              0.766,
              0.891,
              1.0418,
              1.2209,
              1.4368
            ],
            [
              0.2661,
              0.6855,
              0.7795,
              0.8971,
              1.0413,
              1.2205,
              1.436
            ],
            [
              0.3383,
              0.7547,
              0.8368,
              0.9422,
              1.073,
              1.2384,
              1.4419
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.04368,
              0.13954,
              0.15843,
              0.18114,
              0.20835,
              0.24107,
              0.28029
            ],
            [
              0.04632,
              0.14253,
              0.16145,
              0.18415,
              0.21143,
              0.24409,
              0.28333
            ],
            [
              0.04957,
              0.14617,
              0.16507,
              0.18783,
              0.21506,
              0.24779,
              0.28712
            ],
            [
              0.05463,
              0.15171,
              0.17064,
              0.19337,
              0.22068,
              0.2534,
              0.29272
            ],
            [
              0.06241,
              0.16001,
              0.17896,
              0.20176,
              0.22905,
              0.2617,
              0.30103
            ],
            [
              0.07453,
              0.17241,
              0.19141,
              0.21418,
              0.24156,
              0.27429,
              0.31364
            ],
            [
              0.08988,
              0.19108,
              0.21004,
              0.23287,
              0.26026,
              0.29302,
              0.33241
            ],
            [
              0.10855,
              0.21906,
              0.23811,
              0.26094,
              0.28842,
              0.32112,
              0.36059
            ],
            [
              0.13078,
              0.26137,
              0.2804,
              0.30313,
              0.33056,
              0.36337,
              0.40283
            ],
            [
              0.15683,
              0.32094,
              0.34265,
              0.36705,
              0.39419,
              0.42693,
              0.46633
            ],
            [
              0.18688,
              0.39421,
              0.42143,
              0.45172,
              0.48512,
              0.52192,
              0.56272
            ],
            [
              0.21977,
              0.48367,
              0.51787,
              0.55587,
              0.59767,
              0.64347,
              0.69397
            ],
            [
              0.2534,
              0.5914,
              0.6348,
              0.6826,
              0.735,
              0.7925,
              0.8556
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.16967,
              0.46748,
              0.52562,
              0.59549,
              0.67911,
              0.77934,
              0.89979
            ],
            [
              0.17146,
              0.47049,
              0.52871,
              0.59867,
              0.68239,
              0.78273,
              0.90336
            ],
            [
              0.17373,
              0.47393,
              0.53221,
              0.60223,
              0.68605,
              0.78641,
              0.90718
            ],
            [
              0.17758,
              0.47904,
              0.53749,
              0.60757,
              0.69154,
              0.79195,
              0.91285
            ],
            [
              0.18408,
              0.48687,
              0.54534,
              0.61562,
              0.69971,
              0.80023,
              0.9212
            ],
            [
              0.1952,
              0.49892,
              0.55761,
              0.62837,
              0.71218,
              0.8129,
              0.93402
            ],
            [
              0.21365,
              0.51735,
              0.57622,
              0.64734,
              0.73199,
              0.8321,
              0.95323
            ],
            [
              0.24331,
              0.54648,
              0.60541,
              0.67553,
              0.76105,
              0.86236,
              0.98376
            ],
            [
              0.28941,
              0.59104,
              0.64984,
              0.72071,
              0.80555,
              0.90705,
              1.02865
            ],
            [
              0.36121,
              0.66059,
              0.71939,
              0.78969,
              0.87449,
              0.97579,
              1.09599
            ],
            [
              0.45532,
              0.76652,
              0.82512,
              0.89552,
              0.97952,
              1.08022,
              1.20182
            ],
            [
              0.57487,
              0.92687,
              0.98527,
              1.05527,
              1.13927,
              1.23937,
              1.35987
            ],
            [
              0.7257,
              1.1674,
              1.2296,
              1.2996,
              1.3831,
              1.4831,
              1.6037
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.05111,
              0.17849,
              0.2034,
              0.23354,
              0.2696,
              0.31285,
              0.36497
            ],
            [
              0.05112,
              0.17837,
              0.20338,
              0.23345,
              0.26972,
              0.31282,
              0.36501
            ],
            [
              0.05113,
              0.17847,
              0.20346,
              0.23343,
              0.26971,
              0.3128,
              0.36491
            ],
            [
              0.05111,
              0.17837,
              0.2035,
              0.23345,
              0.26964,
              0.31281,
              0.36492
            ],
            [
              0.05113,
              0.17846,
              0.20338,
              0.23343,
              0.26962,
              0.31283,
              0.36487
            ],
            [
              0.05425,
              0.17855,
              0.20341,
              0.2334,
              0.26965,
              0.31281,
              0.365
            ],
            [
              0.06236,
              0.17839,
              0.20339,
              0.23353,
              0.26963,
              0.31284,
              0.36496
            ],
            [
              0.07747,
              0.1803,
              0.20413,
              0.23353,
              0.26957,
              0.31285,
              0.36497
            ],
            [
              0.0971,
              0.19091,
              0.21256,
              0.23955,
              0.27277,
              0.31403,
              0.36505
            ],
            [
              0.12524,
              0.21682,
              0.23555,
              0.25903,
              0.28897,
              0.32629,
              0.37322
            ],
            [
              0.16414,
              0.26474,
              0.28197,
              0.30204,
              0.32761,
              0.36011,
              0.40148
            ],
            [
              0.21759,
              0.3314,
              0.3509,
              0.3732,
              0.3991,
              0.4286,
              0.4642
            ],
            [
              0.2902,
              0.4226,
              0.4449,
              0.4705,
              0.4997,
              0.5333,
              0.572
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.13414,
              0.52959,
              0.60759,
              0.70116,
              0.81486,
              0.95026,
              1.11305
            ],
            [
              0.13436,
              0.52933,
              0.6079,
              0.70177,
              0.81414,
              0.95029,
              1.11154
            ],
            [
              0.13437,
              0.52941,
              0.60784,
              0.70203,
              0.81496,
              0.95033,
              1.11125
            ],
            [
              0.13419,
              0.52966,
              0.60766,
              0.70183,
              0.81479,
              0.95037,
              1.11158
            ],
            [
              0.13419,
              0.52924,
              0.60769,
              0.70199,
              0.81476,
              0.94944,
              1.11242
            ],
            [
              0.13422,
              0.5293,
              0.60795,
              0.70189,
              0.81504,
              0.95025,
              1.11192
            ],
            [
              0.13412,
              0.52918,
              0.60769,
              0.70208,
              0.81453,
              0.95035,
              1.11186
            ],
            [
              0.13349,
              0.52927,
              0.60794,
              0.70183,
              0.815,
              0.94963,
              1.11319
            ],
            [
              0.13712,
              0.52951,
              0.6079,
              0.70113,
              0.81433,
              0.94894,
              1.11308
            ],
            [
              0.15548,
              0.529,
              0.60715,
              0.7021,
              0.81478,
              0.94934,
              1.11139
            ],
            [
              0.19567,
              0.5321,
              0.6081,
              0.7018,
              0.814,
              0.9503,
              1.1112
            ],
            [
              0.248,
              0.5617,
              0.6296,
              0.7146,
              0.8201,
              0.9516,
              1.1127
            ],
            [
              0.319,
              0.6384,
              0.6976,
              0.7732,
              0.8676,
              0.9844,
              1.1329
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.04372,
              0.13957,
              0.15843,
              0.18115,
              0.20837,
              0.24105,
              0.28034
            ],
            [
              0.04639,
              0.14258,
              0.16146,
              0.18416,
              0.21147,
              0.24411,
              0.28342
            ],
            [
              0.04969,
              0.1462,
              0.16511,
              0.18792,
              0.21511,
              0.24788,
              0.2872
            ],
            [
              0.05479,
              0.15182,
              0.17075,
              0.19348,
              0.22074,
              0.25345,
              0.29276
            ],
            [
              0.06262,
              0.16017,
              0.17908,
              0.2019,
              0.22917,
              0.26186,
              0.30122
            ],
            [
              0.07482,
              0.17266,
              0.1917,
              0.21451,
              0.24185,
              0.27451,
              0.31389
            ],
            [
              0.09045,
              0.19143,
              0.21038,
              0.2333,
              0.26062,
              0.29334,
              0.33278
            ],
            [
              0.10919,
              0.21951,
              0.23859,
              0.26141,
              0.28887,
              0.32159,
              0.36101
            ],
            [
              0.13158,
              0.26189,
              0.28091,
              0.30379,
              0.33119,
              0.36397,
              0.40334
            ],
            [
              0.15778,
              0.32151,
              0.34333,
              0.36766,
              0.39478,
              0.42752,
              0.46692
            ],
            [
              0.18779,
              0.39516,
              0.42191,
              0.45262,
              0.48572,
              0.52262,
              0.56332
            ],
            [
              0.22057,
              0.48477,
              0.51847,
              0.55687,
              0.59857,
              0.64427,
              0.69457
            ],
            [
              0.2541,
              0.5921,
              0.6361,
              0.6834,
              0.736,
              0.7934,
              0.8565
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.22429,
              0.63363,
              0.71355,
              0.80967,
              0.92484,
              1.06277,
              1.22857
            ],
            [
              0.22534,
              0.63642,
              0.71644,
              0.81265,
              0.92792,
              1.06594,
              1.23194
            ],
            [
              0.22682,
              0.63945,
              0.71968,
              0.81595,
              0.93132,
              1.06952,
              1.23552
            ],
            [
              0.22939,
              0.64394,
              0.72433,
              0.82066,
              0.93619,
              1.07448,
              1.24067
            ],
            [
              0.23426,
              0.65075,
              0.73134,
              0.82796,
              0.94366,
              1.08221,
              1.24841
            ],
            [
              0.24349,
              0.66122,
              0.74233,
              0.83929,
              0.95532,
              1.09392,
              1.26032
            ],
            [
              0.25974,
              0.67767,
              0.759,
              0.85637,
              0.97283,
              1.11093,
              1.27773
            ],
            [
              0.28683,
              0.70375,
              0.785,
              0.88256,
              0.99936,
              1.13866,
              1.30586
            ],
            [
              0.3298,
              0.74463,
              0.82605,
              0.92365,
              1.04045,
              1.18005,
              1.34745
            ],
            [
              0.39736,
              0.80999,
              0.89089,
              0.98759,
              1.10369,
              1.24319,
              1.41079
            ],
            [
              0.49792,
              0.90942,
              0.98932,
              1.08632,
              1.20272,
              1.34192,
              1.50912
            ],
            [
              0.62387,
              1.06107,
              1.14127,
              1.23767,
              1.35327,
              1.49207,
              1.65897
            ],
            [
              0.7831,
              1.2937,
              1.3733,
              1.4691,
              1.5846,
              1.7208,
              1.8875
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.05108,
              0.17847,
              0.20338,
              0.23343,
              0.26952,
              0.31286,
              0.36502
            ],
            [
              0.05109,
              0.17844,
              0.20341,
              0.23346,
              0.26957,
              0.31288,
              0.36493
            ],
            [
              0.0511,
              0.17849,
              0.20334,
              0.23345,
              0.26955,
              0.31296,
              0.36525
            ],
            [
              0.05107,
              0.17836,
              0.20336,
              0.23358,
              0.26958,
              0.3128,
              0.36503
            ],
            [
              0.0511,
              0.17841,
              0.20349,
              0.23344,
              0.26963,
              0.31285,
              0.36495
            ],
            [
              0.05409,
              0.17837,
              0.20342,
              0.23343,
              0.26959,
              0.31284,
              0.36501
            ],
            [
              0.06191,
              0.17848,
              0.20347,
              0.23347,
              0.2696,
              0.31281,
              0.36502
            ],
            [
              0.07695,
              0.18036,
              0.20412,
              0.23345,
              0.26963,
              0.31286,
              0.36489
            ],
            [
              0.09635,
              0.19059,
              0.21234,
              0.23917,
              0.27266,
              0.31392,
              0.36505
            ],
            [
              0.12423,
              0.21632,
              0.23506,
              0.2586,
              0.28866,
              0.32605,
              0.37307
            ],
            [
              0.16311,
              0.26374,
              0.28146,
              0.30147,
              0.3271,
              0.35957,
              0.40115
            ],
            [
              0.21656,
              0.3304,
              0.3504,
              0.3723,
              0.3983,
              0.4279,
              0.4638
            ],
            [
              0.2891,
              0.4219,
              0.4434,
              0.4696,
              0.4988,
              0.5325,
              0.5713
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.18853,
              0.726,
              0.83253,
              0.96018,
              1.1133,
              1.29674,
              1.51715
            ],
            [
              0.18857,
              0.72595,
              0.83251,
              0.96015,
              1.11325,
              1.29459,
              1.5171
            ],
            [
              0.18849,
              0.72567,
              0.83228,
              0.95968,
              1.1117,
              1.2966,
              1.51709
            ],
            [
              0.18844,
              0.72584,
              0.83215,
              0.96011,
              1.11322,
              1.29483,
              1.51721
            ],
            [
              0.18845,
              0.72607,
              0.83221,
              0.96012,
              1.11198,
              1.29654,
              1.51704
            ],
            [
              0.18822,
              0.7258,
              0.83221,
              0.95883,
              1.11321,
              1.29657,
              1.51601
            ],
            [
              0.18792,
              0.72618,
              0.83134,
              0.95946,
              1.11319,
              1.29657,
              1.51732
            ],
            [
              0.18714,
              0.72583,
              0.83116,
              0.95954,
              1.11274,
              1.29666,
              1.51724
            ],
            [
              0.18561,
              0.72601,
              0.83152,
              0.95955,
              1.11272,
              1.29666,
              1.51525
            ],
            [
              0.19692,
              0.72619,
              0.83148,
              0.95999,
              1.11313,
              1.2952,
              1.5173
            ],
            [
              0.22993,
              0.7253,
              0.8314,
              0.9592,
              1.113,
              1.2961,
              1.5151
            ],
            [
              0.2856,
              0.7368,
              0.8373,
              0.9608,
              1.1106,
              1.2954,
              1.5157
            ],
            [
              0.358,
              0.7924,
              0.8831,
              0.9946,
              1.134,
              1.3054,
              1.519
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.04372,
              0.13956,
              0.15843,
              0.18118,
              0.20836,
              0.24106,
              0.28034
            ],
            [
              0.04638,
              0.14255,
              0.16149,
              0.18416,
              0.21145,
              0.2441,
              0.28344
            ],
            [
              0.04968,
              0.14618,
              0.16514,
              0.1879,
              0.2151,
              0.24781,
              0.28711
            ],
            [
              0.05477,
              0.1518,
              0.1707,
              0.19348,
              0.22073,
              0.25345,
              0.2928
            ],
            [
              0.06261,
              0.16016,
              0.17908,
              0.20187,
              0.22923,
              0.26186,
              0.30117
            ],
            [
              0.0748,
              0.17266,
              0.19167,
              0.21445,
              0.24184,
              0.27448,
              0.31387
            ],
            [
              0.0904,
              0.1914,
              0.21034,
              0.23326,
              0.26059,
              0.29331,
              0.33271
            ],
            [
              0.10913,
              0.21947,
              0.23852,
              0.26142,
              0.2888,
              0.32153,
              0.36097
            ],
            [
              0.13149,
              0.26184,
              0.28086,
              0.30375,
              0.33113,
              0.36392,
              0.40341
            ],
            [
              0.15766,
              0.32142,
              0.34326,
              0.36759,
              0.39472,
              0.42746,
              0.46689
            ],
            [
              0.18758,
              0.39503,
              0.42175,
              0.45252,
              0.48562,
              0.52252,
              0.56322
            ],
            [
              0.22047,
              0.48457,
              0.51827,
              0.55667,
              0.59847,
              0.64417,
              0.69447
            ],
            [
              0.254,
              0.5919,
              0.636,
              0.6833,
              0.7359,
              0.7934,
              0.8565
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.26785,
              0.66911,
              0.747,
              0.84039,
              0.9522,
              1.08597,
              1.24677
            ],
            [
              0.26947,
              0.67205,
              0.74994,
              0.84344,
              0.95531,
              1.08924,
              1.25004
            ],
            [
              0.27152,
              0.67517,
              0.75324,
              0.8468,
              0.95874,
              1.09272,
              1.25362
            ],
            [
              0.27504,
              0.67978,
              0.75794,
              0.85169,
              0.96383,
              1.09787,
              1.25887
            ],
            [
              0.28103,
              0.68678,
              0.76513,
              0.85905,
              0.97141,
              1.10561,
              1.26671
            ],
            [
              0.29094,
              0.6978,
              0.7763,
              0.87064,
              0.98322,
              1.11722,
              1.27862
            ],
            [
              0.3074,
              0.71479,
              0.79382,
              0.88846,
              1.00043,
              1.13513,
              1.29673
            ],
            [
              0.33432,
              0.74188,
              0.82064,
              0.91506,
              1.02826,
              1.16336,
              1.32526
            ],
            [
              0.37692,
              0.78365,
              0.86245,
              0.95695,
              1.06955,
              1.20485,
              1.36715
            ],
            [
              0.44408,
              0.84859,
              0.92679,
              1.02099,
              1.13429,
              1.26939,
              1.43139
            ],
            [
              0.54862,
              0.94822,
              1.02702,
              1.12152,
              1.23452,
              1.36812,
              1.53052
            ],
            [
              0.68987,
              1.10027,
              1.17867,
              1.27277,
              1.38507,
              1.51957,
              1.68127
            ],
            [
              0.8682,
              1.3343,
              1.4119,
              1.5052,
              1.6174,
              1.7494,
              1.9109
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.05322,
              0.19054,
              0.21669,
              0.24775,
              0.2846,
              0.32843,
              0.38089
            ],
            [
              0.05323,
              0.19054,
              0.21671,
              0.24776,
              0.2846,
              0.3284,
              0.38087
            ],
            [
              0.05323,
              0.19053,
              0.21671,
              0.24775,
              0.2846,
              0.32841,
              0.38085
            ],
            [
              0.05322,
              0.19055,
              0.2167,
              0.24775,
              0.28462,
              0.32842,
              0.38091
            ],
            [
              0.05324,
              0.19054,
              0.21671,
              0.24775,
              0.28462,
              0.32842,
              0.38084
            ],
            [
              0.05626,
              0.19055,
              0.21671,
              0.24774,
              0.2846,
              0.32843,
              0.38087
            ],
            [
              0.06417,
              0.19056,
              0.2167,
              0.24778,
              0.28462,
              0.32842,
              0.38084
            ],
            [
              0.08118,
              0.19238,
              0.2174,
              0.24777,
              0.28459,
              0.32842,
              0.38086
            ],
            [
              0.10346,
              0.20278,
              0.22558,
              0.25351,
              0.2877,
              0.32951,
              0.38087
            ],
            [
              0.13754,
              0.22853,
              0.24835,
              0.27296,
              0.30372,
              0.34167,
              0.38902
            ],
            [
              0.18614,
              0.27784,
              0.29532,
              0.31571,
              0.34219,
              0.37519,
              0.41705
            ],
            [
              0.25023,
              0.3485,
              0.3679,
              0.3891,
              0.4144,
              0.4435,
              0.4796
            ],
            [
              0.3356,
              0.445,
              0.4651,
              0.4902,
              0.5182,
              0.5509,
              0.5885
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.21641,
              0.73841,
              0.84136,
              0.96549,
              1.11416,
              1.29218,
              1.5054
            ],
            [
              0.21636,
              0.73843,
              0.84222,
              0.96523,
              1.1143,
              1.29194,
              1.50463
            ],
            [
              0.21642,
              0.7382,
              0.841,
              0.96466,
              1.11444,
              1.29187,
              1.50477
            ],
            [
              0.2165,
              0.73837,
              0.84132,
              0.96522,
              1.11375,
              1.29227,
              1.50414
            ],
            [
              0.21644,
              0.73907,
              0.84182,
              0.96565,
              1.11343,
              1.29222,
              1.50607
            ],
            [
              0.21626,
              0.73916,
              0.84185,
              0.96577,
              1.11445,
              1.29218,
              1.50601
            ],
            [
              0.21636,
              0.73908,
              0.84185,
              0.96539,
              1.114,
              1.29233,
              1.50584
            ],
            [
              0.21621,
              0.73911,
              0.84206,
              0.96558,
              1.11449,
              1.29229,
              1.5046
            ],
            [
              0.21511,
              0.73864,
              0.84185,
              0.96592,
              1.11435,
              1.29222,
              1.506
            ],
            [
              0.21719,
              0.73845,
              0.84139,
              0.96569,
              1.11444,
              1.2922,
              1.506
            ],
            [
              0.24012,
              0.7385,
              0.8412,
              0.9653,
              1.114,
              1.2917,
              1.506
            ],
            [
              0.294,
              0.7452,
              0.8445,
              0.9656,
              1.1132,
              1.2917,
              1.5052
            ],
            [
              0.3662,
              0.7945,
              0.8827,
              0.9938,
              1.1306,
              1.2991,
              1.5052
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.05082,
              0.14643,
              0.16543,
              0.18823,
              0.21542,
              0.24796,
              0.28755
            ],
            [
              0.05407,
              0.15012,
              0.16902,
              0.19171,
              0.21901,
              0.25181,
              0.29104
            ],
            [
              0.05792,
              0.15424,
              0.17315,
              0.19575,
              0.22322,
              0.25596,
              0.29504
            ],
            [
              0.06334,
              0.15995,
              0.17897,
              0.20176,
              0.22903,
              0.26156,
              0.30096
            ],
            [
              0.07105,
              0.1682,
              0.1872,
              0.20997,
              0.23723,
              0.27007,
              0.30944
            ],
            [
              0.08222,
              0.1799,
              0.19877,
              0.22172,
              0.24891,
              0.28187,
              0.32122
            ],
            [
              0.09727,
              0.19701,
              0.21606,
              0.23884,
              0.26618,
              0.29912,
              0.33846
            ],
            [
              0.11665,
              0.22221,
              0.24129,
              0.26431,
              0.29188,
              0.32465,
              0.36401
            ],
            [
              0.14182,
              0.26009,
              0.27926,
              0.30227,
              0.32979,
              0.36289,
              0.40236
            ],
            [
              0.17342,
              0.31279,
              0.33407,
              0.3586,
              0.38667,
              0.41972,
              0.45932
            ],
            [
              0.21174,
              0.38213,
              0.40663,
              0.43457,
              0.46642,
              0.50282,
              0.54452
            ],
            [
              0.25667,
              0.47227,
              0.50157,
              0.53447,
              0.57147,
              0.61317,
              0.66057
            ],
            [
              0.3068,
              0.5866,
              0.623,
              0.6634,
              0.7081,
              0.7578,
              0.8134
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.13679,
              0.38553,
              0.43443,
              0.49325,
              0.56379,
              0.6482,
              0.74994
            ],
            [
              0.13853,
              0.38812,
              0.43705,
              0.4959,
              0.56646,
              0.65099,
              0.75264
            ],
            [
              0.14104,
              0.3914,
              0.44039,
              0.49927,
              0.56991,
              0.65434,
              0.75613
            ],
            [
              0.14538,
              0.3967,
              0.44578,
              0.50472,
              0.57527,
              0.65995,
              0.76167
            ],
            [
              0.15281,
              0.40504,
              0.45416,
              0.51314,
              0.58393,
              0.66861,
              0.77038
            ],
            [
              0.16507,
              0.41794,
              0.46718,
              0.52624,
              0.59697,
              0.68169,
              0.78348
            ],
            [
              0.18464,
              0.43768,
              0.48692,
              0.54613,
              0.61701,
              0.70183,
              0.80373
            ],
            [
              0.21535,
              0.46783,
              0.51716,
              0.57639,
              0.64721,
              0.733,
              0.83511
            ],
            [
              0.26276,
              0.51379,
              0.5639,
              0.62319,
              0.69427,
              0.77925,
              0.88135
            ],
            [
              0.33066,
              0.58492,
              0.63399,
              0.69269,
              0.76399,
              0.84889,
              0.95089
            ],
            [
              0.41654,
              0.69202,
              0.74032,
              0.79962,
              0.87052,
              0.95482,
              1.05812
            ],
            [
              0.52457,
              0.85337,
              0.90437,
              0.96217,
              1.03277,
              1.11727,
              1.22017
            ],
            [
              0.66,
              1.0828,
              1.1414,
              1.2065,
              1.2786,
              1.3629,
              1.4642
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.03342,
              0.15988,
              0.18484,
              0.21501,
              0.25127,
              0.29501,
              0.34707
            ],
            [
              0.03339,
              0.15977,
              0.18486,
              0.21502,
              0.25144,
              0.29477,
              0.3469
            ],
            [
              0.03342,
              0.15979,
              0.18486,
              0.2153,
              0.25126,
              0.29477,
              0.34684
            ],
            [
              0.03342,
              0.1599,
              0.18486,
              0.21507,
              0.25126,
              0.2946,
              0.34685
            ],
            [
              0.03345,
              0.1598,
              0.18489,
              0.21508,
              0.25137,
              0.29477,
              0.34704
            ],
            [
              0.03455,
              0.15972,
              0.18504,
              0.21508,
              0.25145,
              0.29476,
              0.34698
            ],
            [
              0.03882,
              0.1596,
              0.18485,
              0.21531,
              0.25141,
              0.29483,
              0.34695
            ],
            [
              0.04562,
              0.16102,
              0.18551,
              0.21536,
              0.2513,
              0.2951,
              0.34712
            ],
            [
              0.05574,
              0.16746,
              0.19054,
              0.21913,
              0.25361,
              0.29587,
              0.34725
            ],
            [
              0.07105,
              0.18346,
              0.20467,
              0.23115,
              0.26387,
              0.30396,
              0.35284
            ],
            [
              0.09363,
              0.2127,
              0.23382,
              0.2585,
              0.28808,
              0.32519,
              0.37087
            ],
            [
              0.1258,
              0.2561,
              0.2778,
              0.3035,
              0.3339,
              0.3694,
              0.4114
            ],
            [
              0.1718,
              0.3197,
              0.3427,
              0.3696,
              0.4009,
              0.4377,
              0.4812
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.11005,
              0.44613,
              0.51224,
              0.59239,
              0.68886,
              0.80366,
              0.94214
            ],
            [
              0.11016,
              0.44597,
              0.5127,
              0.59266,
              0.68843,
              0.80388,
              0.94244
            ],
            [
              0.11017,
              0.44586,
              0.5127,
              0.59227,
              0.68889,
              0.80333,
              0.94257
            ],
            [
              0.11015,
              0.44584,
              0.5122,
              0.59226,
              0.68872,
              0.80326,
              0.94257
            ],
            [
              0.11019,
              0.44581,
              0.51219,
              0.59225,
              0.68881,
              0.80407,
              0.94241
            ],
            [
              0.11018,
              0.44559,
              0.51211,
              0.59278,
              0.68883,
              0.80328,
              0.94202
            ],
            [
              0.10983,
              0.44576,
              0.51214,
              0.5922,
              0.68826,
              0.80309,
              0.94233
            ],
            [
              0.10999,
              0.44613,
              0.51238,
              0.59208,
              0.68879,
              0.80345,
              0.94245
            ],
            [
              0.1192,
              0.44589,
              0.51272,
              0.59284,
              0.6888,
              0.80362,
              0.9412
            ],
            [
              0.14372,
              0.44592,
              0.51208,
              0.59207,
              0.68887,
              0.80372,
              0.94243
            ],
            [
              0.18301,
              0.4563,
              0.518,
              0.594,
              0.6885,
              0.8033,
              0.9424
            ],
            [
              0.2347,
              0.4981,
              0.5518,
              0.6207,
              0.7065,
              0.8133,
              0.9445
            ],
            [
              0.3034,
              0.5899,
              0.636,
              0.6937,
              0.7689,
              0.8629,
              0.9831
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.05085,
              0.14664,
              0.1656,
              0.18828,
              0.21549,
              0.24802,
              0.28751
            ],
            [
              0.05412,
              0.15004,
              0.1689,
              0.19181,
              0.21908,
              0.2517,
              0.2912
            ],
            [
              0.05797,
              0.15429,
              0.1732,
              0.19599,
              0.22326,
              0.25592,
              0.29541
            ],
            [
              0.06345,
              0.16009,
              0.1791,
              0.20173,
              0.22918,
              0.26197,
              0.30096
            ],
            [
              0.07119,
              0.16833,
              0.18733,
              0.21,
              0.23745,
              0.27018,
              0.30947
            ],
            [
              0.08238,
              0.18007,
              0.19913,
              0.22189,
              0.24915,
              0.28205,
              0.32138
            ],
            [
              0.09748,
              0.19713,
              0.2163,
              0.23904,
              0.2664,
              0.29934,
              0.3386
            ],
            [
              0.11687,
              0.22248,
              0.24168,
              0.26456,
              0.2921,
              0.32495,
              0.36428
            ],
            [
              0.14206,
              0.26036,
              0.27955,
              0.30255,
              0.33,
              0.36317,
              0.40263
            ],
            [
              0.17365,
              0.31311,
              0.33438,
              0.3589,
              0.38696,
              0.42002,
              0.45962
            ],
            [
              0.21195,
              0.38248,
              0.40697,
              0.43491,
              0.46672,
              0.50312,
              0.54482
            ],
            [
              0.25677,
              0.47267,
              0.50187,
              0.53477,
              0.57177,
              0.61357,
              0.66097
            ],
            [
              0.307,
              0.587,
              0.6234,
              0.6637,
              0.7085,
              0.7582,
              0.8138
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.15532,
              0.4427,
              0.49924,
              0.56735,
              0.64881,
              0.74641,
              0.86395
            ],
            [
              0.1567,
              0.44508,
              0.50168,
              0.56967,
              0.65124,
              0.74886,
              0.86646
            ],
            [
              0.15884,
              0.44817,
              0.50483,
              0.57293,
              0.65449,
              0.7522,
              0.86966
            ],
            [
              0.16271,
              0.45312,
              0.50991,
              0.57803,
              0.65968,
              0.75743,
              0.87501
            ],
            [
              0.16954,
              0.46105,
              0.51786,
              0.5861,
              0.66782,
              0.76578,
              0.88328
            ],
            [
              0.18108,
              0.47341,
              0.53033,
              0.59866,
              0.68052,
              0.77851,
              0.89615
            ],
            [
              0.19987,
              0.49242,
              0.54938,
              0.6179,
              0.69983,
              0.79784,
              0.91553
            ],
            [
              0.22959,
              0.52156,
              0.57862,
              0.6471,
              0.72979,
              0.82818,
              0.94616
            ],
            [
              0.27574,
              0.5661,
              0.624,
              0.69258,
              0.77475,
              0.87305,
              0.99105
            ],
            [
              0.34456,
              0.63519,
              0.69189,
              0.76069,
              0.84279,
              0.94099,
              1.05889
            ],
            [
              0.4326,
              0.73952,
              0.79632,
              0.86462,
              0.94642,
              1.04422,
              1.16302
            ],
            [
              0.54317,
              0.89687,
              0.95497,
              1.02237,
              1.10407,
              1.20187,
              1.31937
            ],
            [
              0.6815,
              1.1301,
              1.1928,
              1.263,
              1.3444,
              1.442,
              1.5589
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.0334,
              0.1597,
              0.18493,
              0.21486,
              0.25143,
              0.29508,
              0.34701
            ],
            [
              0.03338,
              0.15996,
              0.18511,
              0.21495,
              0.2513,
              0.29487,
              0.34714
            ],
            [
              0.03338,
              0.15975,
              0.18488,
              0.21506,
              0.25129,
              0.29495,
              0.34712
            ],
            [
              0.03342,
              0.15981,
              0.18487,
              0.21534,
              0.25132,
              0.29481,
              0.34746
            ],
            [
              0.03345,
              0.1598,
              0.18497,
              0.21529,
              0.2513,
              0.29478,
              0.34694
            ],
            [
              0.03451,
              0.15972,
              0.18488,
              0.21507,
              0.2514,
              0.29478,
              0.34698
            ],
            [
              0.03875,
              0.15995,
              0.18485,
              0.21531,
              0.2514,
              0.29481,
              0.34745
            ],
            [
              0.04565,
              0.16103,
              0.18536,
              0.21536,
              0.25106,
              0.29475,
              0.34738
            ],
            [
              0.05561,
              0.16736,
              0.19057,
              0.21907,
              0.25373,
              0.29587,
              0.34721
            ],
            [
              0.07082,
              0.18329,
              0.20454,
              0.23105,
              0.26379,
              0.30389,
              0.35279
            ],
            [
              0.09348,
              0.21247,
              0.23363,
              0.25832,
              0.28791,
              0.32506,
              0.37076
            ],
            [
              0.1258,
              0.2559,
              0.2775,
              0.3032,
              0.3336,
              0.3692,
              0.4112
            ],
            [
              0.1717,
              0.3193,
              0.3425,
              0.3693,
              0.4006,
              0.4375,
              0.481
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.12841,
              0.5143,
              0.59088,
              0.68243,
              0.79237,
              0.92529,
              1.08348
            ],
            [
              0.1283,
              0.51448,
              0.59099,
              0.68292,
              0.79318,
              0.92532,
              1.08296
            ],
            [
              0.12833,
              0.51455,
              0.59026,
              0.68277,
              0.79301,
              0.92533,
              1.08329
            ],
            [
              0.12828,
              0.51368,
              0.59094,
              0.68292,
              0.79232,
              0.92532,
              1.08256
            ],
            [
              0.12825,
              0.51421,
              0.59086,
              0.68294,
              0.79316,
              0.9248,
              1.08402
            ],
            [
              0.12813,
              0.51437,
              0.59086,
              0.68287,
              0.79236,
              0.92512,
              1.08405
            ],
            [
              0.12795,
              0.51428,
              0.59098,
              0.68261,
              0.79314,
              0.92541,
              1.08432
            ],
            [
              0.12719,
              0.51433,
              0.59102,
              0.68266,
              0.79324,
              0.92496,
              1.08417
            ],
            [
              0.13384,
              0.51447,
              0.59006,
              0.68276,
              0.79302,
              0.92482,
              1.08422
            ],
            [
              0.15535,
              0.51418,
              0.59006,
              0.68299,
              0.79287,
              0.92483,
              1.08405
            ],
            [
              0.1956,
              0.5199,
              0.593,
              0.6828,
              0.7925,
              0.9251,
              1.0837
            ],
            [
              0.2475,
              0.5547,
              0.6197,
              0.7018,
              0.8031,
              0.9287,
              1.0841
            ],
            [
              0.3175,
              0.6374,
              0.694,
              0.7647,
              0.8553,
              0.9689,
              1.1099
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.05085,
              0.14659,
              0.16554,
              0.1882,
              0.21548,
              0.24813,
              0.28745
            ],
            [
              0.05411,
              0.15005,
              0.16889,
              0.1918,
              0.21914,
              0.25158,
              0.29119
            ],
            [
              0.05797,
              0.15428,
              0.17318,
              0.19598,
              0.22329,
              0.25574,
              0.29539
            ],
            [
              0.06344,
              0.16009,
              0.17908,
              0.2018,
              0.22917,
              0.26193,
              0.30123
            ],
            [
              0.07117,
              0.16832,
              0.18732,
              0.21001,
              0.23742,
              0.27018,
              0.3094
            ],
            [
              0.08237,
              0.18005,
              0.19911,
              0.22187,
              0.24912,
              0.28201,
              0.32137
            ],
            [
              0.09744,
              0.19715,
              0.21626,
              0.239,
              0.26637,
              0.29931,
              0.33854
            ],
            [
              0.11683,
              0.22244,
              0.24163,
              0.26452,
              0.29206,
              0.32492,
              0.36423
            ],
            [
              0.14202,
              0.26031,
              0.2795,
              0.3025,
              0.33,
              0.36311,
              0.40257
            ],
            [
              0.1736,
              0.31306,
              0.33433,
              0.35885,
              0.38691,
              0.41997,
              0.45957
            ],
            [
              0.21191,
              0.38242,
              0.40691,
              0.43485,
              0.46672,
              0.50302,
              0.54472
            ],
            [
              0.25677,
              0.47257,
              0.50187,
              0.53467,
              0.57177,
              0.61347,
              0.66087
            ],
            [
              0.307,
              0.5869,
              0.6233,
              0.6637,
              0.7084,
              0.7581,
              0.8137
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.15199,
              0.43192,
              0.48703,
              0.55327,
              0.63262,
              0.72775,
              0.84212
            ],
            [
              0.15343,
              0.43438,
              0.4895,
              0.55572,
              0.63516,
              0.73022,
              0.84459
            ],
            [
              0.15563,
              0.43743,
              0.49263,
              0.55893,
              0.63842,
              0.73353,
              0.84808
            ],
            [
              0.15959,
              0.44246,
              0.49769,
              0.56415,
              0.64363,
              0.73886,
              0.85333
            ],
            [
              0.16653,
              0.45048,
              0.50577,
              0.57225,
              0.65189,
              0.74717,
              0.86172
            ],
            [
              0.17819,
              0.46294,
              0.51841,
              0.58491,
              0.66459,
              0.75997,
              0.87473
            ],
            [
              0.19713,
              0.48207,
              0.53756,
              0.60425,
              0.68412,
              0.7796,
              0.89423
            ],
            [
              0.22702,
              0.51137,
              0.56692,
              0.63368,
              0.71424,
              0.81004,
              0.92486
            ],
            [
              0.27341,
              0.55617,
              0.61263,
              0.67938,
              0.75945,
              0.85515,
              0.97005
            ],
            [
              0.34211,
              0.62567,
              0.68089,
              0.74779,
              0.82779,
              0.92339,
              1.03829
            ],
            [
              0.42974,
              0.73052,
              0.78582,
              0.85232,
              0.93192,
              1.02722,
              1.14302
            ],
            [
              0.53987,
              0.88867,
              0.94517,
              1.01087,
              1.09047,
              1.18537,
              1.29987
            ],
            [
              0.6776,
              1.1213,
              1.1832,
              1.2526,
              1.3319,
              1.4268,
              1.5407
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.0334,
              0.15969,
              0.18491,
              0.21505,
              0.25138,
              0.29474,
              0.34705
            ],
            [
              0.03338,
              0.15996,
              0.18508,
              0.215,
              0.25137,
              0.29499,
              0.34711
            ],
            [
              0.0334,
              0.15976,
              0.18487,
              0.21511,
              0.25136,
              0.29507,
              0.34706
            ],
            [
              0.03342,
              0.1598,
              0.18488,
              0.21504,
              0.25133,
              0.29469,
              0.34685
            ],
            [
              0.03345,
              0.15979,
              0.18495,
              0.21531,
              0.25125,
              0.29479,
              0.3469
            ],
            [
              0.0345,
              0.15971,
              0.18487,
              0.21509,
              0.2514,
              0.29473,
              0.347
            ],
            [
              0.03876,
              0.15973,
              0.18486,
              0.2153,
              0.2514,
              0.29481,
              0.34742
            ],
            [
              0.04566,
              0.16103,
              0.18536,
              0.21536,
              0.25106,
              0.29475,
              0.34715
            ],
            [
              0.05564,
              0.16738,
              0.19058,
              0.21908,
              0.25358,
              0.29589,
              0.34723
            ],
            [
              0.07087,
              0.18332,
              0.20456,
              0.23107,
              0.26381,
              0.3039,
              0.35285
            ],
            [
              0.09351,
              0.21246,
              0.23372,
              0.25831,
              0.28789,
              0.32514,
              0.37083
            ],
            [
              0.1257,
              0.2559,
              0.2776,
              0.3032,
              0.3336,
              0.3693,
              0.4112
            ],
            [
              0.1718,
              0.3195,
              0.3425,
              0.3694,
              0.4007,
              0.4375,
              0.481
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.12487,
              0.50133,
              0.57536,
              0.66544,
              0.77256,
              0.90187,
              1.0568
            ],
            [
              0.1247,
              0.50119,
              0.57582,
              0.66505,
              0.77295,
              0.9005,
              1.0555
            ],
            [
              0.12469,
              0.50098,
              0.57582,
              0.66536,
              0.77287,
              0.90193,
              1.05607
            ],
            [
              0.1248,
              0.50114,
              0.57582,
              0.66502,
              0.77304,
              0.90064,
              1.05701
            ],
            [
              0.12461,
              0.50133,
              0.57586,
              0.66547,
              0.77259,
              0.90201,
              1.05569
            ],
            [
              0.12466,
              0.50134,
              0.57572,
              0.6654,
              0.77293,
              0.902,
              1.05572
            ],
            [
              0.12437,
              0.50068,
              0.57535,
              0.6653,
              0.77185,
              0.90145,
              1.05674
            ],
            [
              0.1236,
              0.5005,
              0.57545,
              0.66553,
              0.77265,
              0.90187,
              1.0569
            ],
            [
              0.13081,
              0.50103,
              0.57595,
              0.66468,
              0.77217,
              0.90156,
              1.05625
            ],
            [
              0.15315,
              0.5011,
              0.57587,
              0.66547,
              0.7721,
              0.90189,
              1.05695
            ],
            [
              0.19325,
              0.5071,
              0.578,
              0.6646,
              0.773,
              0.9013,
              1.056
            ],
            [
              0.2452,
              0.544,
              0.6059,
              0.6858,
              0.7843,
              0.9064,
              1.0568
            ],
            [
              0.3151,
              0.6278,
              0.6819,
              0.7519,
              0.8392,
              0.9482,
              1.0856
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.0509,
              0.14642,
              0.16553,
              0.18818,
              0.21549,
              0.24812,
              0.28744
            ],
            [
              0.05421,
              0.15007,
              0.16921,
              0.19197,
              0.21912,
              0.25183,
              0.29105
            ],
            [
              0.0581,
              0.15423,
              0.17341,
              0.19587,
              0.22353,
              0.25612,
              0.29542
            ],
            [
              0.0636,
              0.16028,
              0.17905,
              0.20214,
              0.22914,
              0.26227,
              0.30136
            ],
            [
              0.07143,
              0.16858,
              0.18746,
              0.21033,
              0.23753,
              0.2704,
              0.30989
            ],
            [
              0.08271,
              0.18041,
              0.19941,
              0.22205,
              0.24949,
              0.28219,
              0.32173
            ],
            [
              0.0979,
              0.19764,
              0.21669,
              0.23943,
              0.26681,
              0.29963,
              0.33898
            ],
            [
              0.11739,
              0.22295,
              0.24218,
              0.26503,
              0.29261,
              0.32521,
              0.36484
            ],
            [
              0.14265,
              0.2609,
              0.28011,
              0.30311,
              0.33064,
              0.3637,
              0.40314
            ],
            [
              0.17425,
              0.31382,
              0.33507,
              0.35956,
              0.3876,
              0.42065,
              0.46024
            ],
            [
              0.21252,
              0.38329,
              0.40776,
              0.43568,
              0.46752,
              0.50382,
              0.54552
            ],
            [
              0.25727,
              0.47357,
              0.50277,
              0.53567,
              0.57267,
              0.61437,
              0.66177
            ],
            [
              0.3075,
              0.5878,
              0.6243,
              0.6647,
              0.7094,
              0.7591,
              0.8147
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.2039,
              0.59724,
              0.67467,
              0.76778,
              0.8794,
              1.01317,
              1.17417
            ],
            [
              0.20434,
              0.59905,
              0.67656,
              0.76974,
              0.88146,
              1.01534,
              1.17624
            ],
            [
              0.20557,
              0.60156,
              0.67925,
              0.77251,
              0.8843,
              1.01822,
              1.17922
            ],
            [
              0.20827,
              0.60594,
              0.68364,
              0.77702,
              0.8889,
              1.02288,
              1.18407
            ],
            [
              0.21369,
              0.61288,
              0.69073,
              0.78423,
              0.89627,
              1.03031,
              1.19161
            ],
            [
              0.22354,
              0.62392,
              0.70194,
              0.79556,
              0.90774,
              1.04202,
              1.20342
            ],
            [
              0.24043,
              0.64132,
              0.71947,
              0.81326,
              0.92553,
              1.05993,
              1.22183
            ],
            [
              0.26788,
              0.66805,
              0.74677,
              0.84076,
              0.95336,
              1.08826,
              1.24996
            ],
            [
              0.3112,
              0.71035,
              0.78865,
              0.88265,
              0.99535,
              1.13005,
              1.29185
            ],
            [
              0.37866,
              0.77449,
              0.85259,
              0.94659,
              1.05919,
              1.19399,
              1.35599
            ],
            [
              0.47262,
              0.87322,
              0.95112,
              1.04482,
              1.15732,
              1.29192,
              1.45382
            ],
            [
              0.58997,
              1.02337,
              1.10097,
              1.19437,
              1.30637,
              1.44067,
              1.60217
            ],
            [
              0.7359,
              1.251,
              1.3276,
              1.4204,
              1.5319,
              1.6658,
              1.8271
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.03338,
              0.15977,
              0.18465,
              0.2151,
              0.25131,
              0.29472,
              0.34695
            ],
            [
              0.03337,
              0.1597,
              0.18496,
              0.21511,
              0.25134,
              0.29475,
              0.34705
            ],
            [
              0.03339,
              0.15969,
              0.18482,
              0.21536,
              0.25133,
              0.29472,
              0.34712
            ],
            [
              0.03337,
              0.15979,
              0.18511,
              0.21504,
              0.25119,
              0.29475,
              0.34694
            ],
            [
              0.03343,
              0.15977,
              0.18508,
              0.21499,
              0.25121,
              0.29474,
              0.34713
            ],
            [
              0.03443,
              0.15961,
              0.18488,
              0.21522,
              0.25126,
              0.29465,
              0.34691
            ],
            [
              0.03861,
              0.15956,
              0.18481,
              0.2153,
              0.25138,
              0.29468,
              0.34731
            ],
            [
              0.04541,
              0.16095,
              0.18524,
              0.21535,
              0.25122,
              0.29495,
              0.34702
            ],
            [
              0.05525,
              0.1672,
              0.19047,
              0.21898,
              0.25352,
              0.29578,
              0.34726
            ],
            [
              0.07049,
              0.18294,
              0.20425,
              0.23085,
              0.2636,
              0.30367,
              0.35267
            ],
            [
              0.09305,
              0.21212,
              0.23319,
              0.25793,
              0.28746,
              0.32481,
              0.37056
            ],
            [
              0.1253,
              0.2553,
              0.2769,
              0.3025,
              0.3331,
              0.3688,
              0.4107
            ],
            [
              0.1712,
              0.3186,
              0.3414,
              0.3686,
              0.4,
              0.4369,
              0.4802
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.17966,
              0.70293,
              0.80622,
              0.93023,
              1.07901,
              1.25724,
              1.47234
            ],
            [
              0.17979,
              0.70284,
              0.80601,
              0.92985,
              1.07919,
              1.25706,
              1.47178
            ],
            [
              0.17975,
              0.70287,
              0.80619,
              0.92994,
              1.07891,
              1.25747,
              1.47108
            ],
            [
              0.17959,
              0.70289,
              0.80623,
              0.93039,
              1.07891,
              1.25702,
              1.47217
            ],
            [
              0.17947,
              0.7029,
              0.8062,
              0.92915,
              1.07939,
              1.2573,
              1.47188
            ],
            [
              0.17927,
              0.70273,
              0.8062,
              0.92937,
              1.07911,
              1.25732,
              1.47228
            ],
            [
              0.17869,
              0.70277,
              0.80627,
              0.93008,
              1.07921,
              1.25805,
              1.47255
            ],
            [
              0.17745,
              0.70239,
              0.80519,
              0.9302,
              1.0792,
              1.25792,
              1.47181
            ],
            [
              0.17798,
              0.70306,
              0.80571,
              0.9303,
              1.07923,
              1.25788,
              1.47117
            ],
            [
              0.19261,
              0.70272,
              0.80596,
              0.93051,
              1.07878,
              1.25716,
              1.4729
            ],
            [
              0.22986,
              0.7015,
              0.8051,
              0.9299,
              1.0793,
              1.2568,
              1.471
            ],
            [
              0.283,
              0.7187,
              0.8149,
              0.9336,
              1.0793,
              1.2562,
              1.4718
            ],
            [
              0.3552,
              0.783,
              0.8689,
              0.9757,
              1.1076,
              1.2731,
              1.4775
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.0512,
              0.14683,
              0.16567,
              0.18837,
              0.2156,
              0.24828,
              0.28764
            ],
            [
              0.05449,
              0.15041,
              0.16926,
              0.192,
              0.21925,
              0.25195,
              0.29118
            ],
            [
              0.05834,
              0.1545,
              0.17346,
              0.19619,
              0.22342,
              0.2562,
              0.29544
            ],
            [
              0.06379,
              0.1604,
              0.17928,
              0.20203,
              0.22931,
              0.26199,
              0.30135
            ],
            [
              0.07154,
              0.16862,
              0.18752,
              0.21031,
              0.23756,
              0.27032,
              0.30968
            ],
            [
              0.08275,
              0.18032,
              0.19929,
              0.22205,
              0.24945,
              0.28212,
              0.32154
            ],
            [
              0.09791,
              0.19746,
              0.21645,
              0.2393,
              0.26666,
              0.29949,
              0.33884
            ],
            [
              0.11737,
              0.22291,
              0.24194,
              0.26488,
              0.29229,
              0.32505,
              0.36452
            ],
            [
              0.14266,
              0.26075,
              0.27992,
              0.30287,
              0.33038,
              0.36328,
              0.40277
            ],
            [
              0.17443,
              0.31358,
              0.33485,
              0.35934,
              0.38738,
              0.42046,
              0.46008
            ],
            [
              0.21299,
              0.38302,
              0.40749,
              0.43542,
              0.46722,
              0.50362,
              0.54532
            ],
            [
              0.25827,
              0.47327,
              0.50247,
              0.53537,
              0.57237,
              0.61407,
              0.66147
            ],
            [
              0.309,
              0.5878,
              0.6241,
              0.6645,
              0.7092,
              0.7588,
              0.8144
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.20165,
              0.48667,
              0.54265,
              0.60983,
              0.69034,
              0.78669,
              0.90258
            ],
            [
              0.2035,
              0.48908,
              0.54502,
              0.61225,
              0.69272,
              0.78911,
              0.905
            ],
            [
              0.20606,
              0.49228,
              0.54825,
              0.61553,
              0.69611,
              0.79251,
              0.90839
            ],
            [
              0.21047,
              0.49739,
              0.55342,
              0.62074,
              0.70134,
              0.79778,
              0.9139
            ],
            [
              0.2178,
              0.50546,
              0.56153,
              0.62893,
              0.70959,
              0.80612,
              0.92214
            ],
            [
              0.22963,
              0.51799,
              0.57415,
              0.64159,
              0.72233,
              0.819,
              0.93512
            ],
            [
              0.24847,
              0.53721,
              0.59344,
              0.66099,
              0.74192,
              0.83854,
              0.95463
            ],
            [
              0.27778,
              0.56647,
              0.62279,
              0.69107,
              0.77208,
              0.86916,
              0.98536
            ],
            [
              0.32345,
              0.61215,
              0.66848,
              0.73617,
              0.81715,
              0.91415,
              1.03045
            ],
            [
              0.3936,
              0.68019,
              0.73679,
              0.80439,
              0.88539,
              0.98229,
              1.09879
            ],
            [
              0.49532,
              0.78502,
              0.84112,
              0.90852,
              0.98912,
              1.08672,
              1.20322
            ],
            [
              0.62417,
              0.94417,
              0.99957,
              1.06687,
              1.14737,
              1.24387,
              1.36007
            ],
            [
              0.7857,
              1.1823,
              1.241,
              1.3081,
              1.3885,
              1.4847,
              1.6003
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.05112,
              0.17837,
              0.2035,
              0.23343,
              0.26972,
              0.31281,
              0.36508
            ],
            [
              0.05111,
              0.1784,
              0.20338,
              0.23345,
              0.2697,
              0.31283,
              0.36501
            ],
            [
              0.05112,
              0.17839,
              0.20346,
              0.23345,
              0.26955,
              0.31291,
              0.36492
            ],
            [
              0.05113,
              0.17837,
              0.20341,
              0.23353,
              0.26969,
              0.31285,
              0.36495
            ],
            [
              0.05114,
              0.17849,
              0.20344,
              0.23347,
              0.2696,
              0.31279,
              0.36493
            ],
            [
              0.05227,
              0.17841,
              0.20342,
              0.23346,
              0.26962,
              0.31285,
              0.36494
            ],
            [
              0.05641,
              0.17841,
              0.20345,
              0.23348,
              0.26961,
              0.31284,
              0.36498
            ],
            [
              0.06565,
              0.17974,
              0.20396,
              0.2335,
              0.26951,
              0.31288,
              0.36504
            ],
            [
              0.0784,
              0.18625,
              0.20931,
              0.23765,
              0.27206,
              0.31402,
              0.36515
            ],
            [
              0.09742,
              0.20201,
              0.2233,
              0.24966,
              0.28232,
              0.3221,
              0.37112
            ],
            [
              0.12533,
              0.23261,
              0.25296,
              0.27676,
              0.30635,
              0.3432,
              0.38899
            ],
            [
              0.1658,
              0.2785,
              0.2992,
              0.3237,
              0.3531,
              0.3878,
              0.4293
            ],
            [
              0.2238,
              0.3455,
              0.3671,
              0.3928,
              0.4228,
              0.4585,
              0.5008
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.1573,
              0.54036,
              0.61596,
              0.70593,
              0.81596,
              0.94647,
              1.10307
            ],
            [
              0.1572,
              0.54041,
              0.61597,
              0.70598,
              0.81595,
              0.94632,
              1.10182
            ],
            [
              0.1573,
              0.5404,
              0.61596,
              0.70682,
              0.81584,
              0.9465,
              1.10284
            ],
            [
              0.15728,
              0.54001,
              0.61563,
              0.70686,
              0.81574,
              0.9465,
              1.10198
            ],
            [
              0.15718,
              0.54017,
              0.61583,
              0.7068,
              0.81588,
              0.94638,
              1.10217
            ],
            [
              0.15725,
              0.54031,
              0.61585,
              0.70677,
              0.81602,
              0.94571,
              1.10306
            ],
            [
              0.15721,
              0.54024,
              0.61607,
              0.70601,
              0.81539,
              0.94648,
              1.10215
            ],
            [
              0.15701,
              0.53994,
              0.61516,
              0.7063,
              0.81535,
              0.9459,
              1.10336
            ],
            [
              0.15719,
              0.53988,
              0.61525,
              0.70615,
              0.81529,
              0.94534,
              1.10325
            ],
            [
              0.16986,
              0.53999,
              0.61543,
              0.70692,
              0.815,
              0.94499,
              1.10231
            ],
            [
              0.20489,
              0.5424,
              0.6157,
              0.7067,
              0.8158,
              0.9453,
              1.1031
            ],
            [
              0.2588,
              0.5695,
              0.6366,
              0.7193,
              0.8216,
              0.9478,
              1.1029
            ],
            [
              0.331,
              0.644,
              0.7023,
              0.7756,
              0.8675,
              0.9816,
              1.1243
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.05125,
              0.14681,
              0.16573,
              0.18838,
              0.21568,
              0.24833,
              0.28769
            ],
            [
              0.05457,
              0.15042,
              0.16934,
              0.19205,
              0.21933,
              0.25201,
              0.29137
            ],
            [
              0.05845,
              0.15462,
              0.17357,
              0.19624,
              0.22352,
              0.25618,
              0.29553
            ],
            [
              0.06396,
              0.16053,
              0.17943,
              0.20219,
              0.22945,
              0.26221,
              0.30142
            ],
            [
              0.07178,
              0.16884,
              0.1877,
              0.21051,
              0.23779,
              0.27049,
              0.30982
            ],
            [
              0.08308,
              0.18065,
              0.1996,
              0.22243,
              0.24973,
              0.28244,
              0.32181
            ],
            [
              0.09834,
              0.19788,
              0.21685,
              0.2397,
              0.26706,
              0.29984,
              0.33923
            ],
            [
              0.1179,
              0.22341,
              0.24244,
              0.2654,
              0.29276,
              0.32555,
              0.36499
            ],
            [
              0.14326,
              0.26131,
              0.28049,
              0.30347,
              0.33097,
              0.36387,
              0.40339
            ],
            [
              0.17504,
              0.31429,
              0.33554,
              0.36005,
              0.38802,
              0.42112,
              0.46071
            ],
            [
              0.21357,
              0.38385,
              0.4083,
              0.4362,
              0.46802,
              0.50432,
              0.54602
            ],
            [
              0.25877,
              0.47417,
              0.50337,
              0.53627,
              0.57327,
              0.61497,
              0.66227
            ],
            [
              0.3095,
              0.5887,
              0.625,
              0.6654,
              0.7101,
              0.7597,
              0.8153
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.27104,
              0.66495,
              0.74229,
              0.83516,
              0.94655,
              1.07997,
              1.24037
            ],
            [
              0.2721,
              0.66683,
              0.74416,
              0.83724,
              0.94866,
              1.08204,
              1.24254
            ],
            [
              0.27395,
              0.66953,
              0.74689,
              0.83996,
              0.95146,
              1.08502,
              1.24552
            ],
            [
              0.27733,
              0.67395,
              0.75155,
              0.84462,
              0.95617,
              1.08967,
              1.25038
            ],
            [
              0.28336,
              0.68104,
              0.75872,
              0.85202,
              0.96361,
              1.09721,
              1.25801
            ],
            [
              0.29359,
              0.69228,
              0.77,
              0.86339,
              0.97522,
              1.10902,
              1.26972
            ],
            [
              0.31051,
              0.70982,
              0.78772,
              0.88121,
              0.99313,
              1.12703,
              1.28843
            ],
            [
              0.33735,
              0.73721,
              0.81526,
              0.90896,
              1.02106,
              1.15556,
              1.31656
            ],
            [
              0.37993,
              0.77915,
              0.85725,
              0.95095,
              1.06325,
              1.19735,
              1.35865
            ],
            [
              0.44535,
              0.84319,
              0.92119,
              1.01489,
              1.12729,
              1.26149,
              1.42289
            ],
            [
              0.54762,
              0.94182,
              1.01952,
              1.11322,
              1.22532,
              1.35952,
              1.52082
            ],
            [
              0.68467,
              1.09187,
              1.16937,
              1.26257,
              1.37437,
              1.50837,
              1.66927
            ],
            [
              0.8563,
              1.3187,
              1.3957,
              1.4886,
              1.5999,
              1.7336,
              1.8945
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.05109,
              0.17832,
              0.20336,
              0.2335,
              0.26959,
              0.31284,
              0.36527
            ],
            [
              0.05108,
              0.17853,
              0.20345,
              0.23354,
              0.26951,
              0.31289,
              0.36496
            ],
            [
              0.05109,
              0.17851,
              0.20338,
              0.23358,
              0.26964,
              0.31286,
              0.36495
            ],
            [
              0.05109,
              0.17838,
              0.20342,
              0.2335,
              0.2695,
              0.31279,
              0.365
            ],
            [
              0.05112,
              0.17838,
              0.20343,
              0.23343,
              0.26961,
              0.31283,
              0.365
            ],
            [
              0.05217,
              0.17846,
              0.20341,
              0.2334,
              0.26959,
              0.31287,
              0.36488
            ],
            [
              0.05628,
              0.1784,
              0.20344,
              0.23347,
              0.26951,
              0.31289,
              0.36491
            ],
            [
              0.06541,
              0.17965,
              0.20397,
              0.23368,
              0.2697,
              0.31281,
              0.36488
            ],
            [
              0.07802,
              0.1861,
              0.20923,
              0.23758,
              0.27203,
              0.31389,
              0.3651
            ],
            [
              0.09698,
              0.20153,
              0.22297,
              0.2495,
              0.28218,
              0.32213,
              0.37097
            ],
            [
              0.12485,
              0.23213,
              0.2525,
              0.27634,
              0.30598,
              0.34282,
              0.38867
            ],
            [
              0.1654,
              0.2778,
              0.2985,
              0.3232,
              0.3526,
              0.3876,
              0.4288
            ],
            [
              0.2232,
              0.3446,
              0.3664,
              0.3921,
              0.422,
              0.4578,
              0.5002
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.22244,
              0.74664,
              0.84975,
              0.97363,
              1.12215,
              1.3003,
              1.51417
            ],
            [
              0.22238,
              0.7466,
              0.84956,
              0.97373,
              1.1224,
              1.30047,
              1.51418
            ],
            [
              0.22251,
              0.74659,
              0.84921,
              0.97349,
              1.12205,
              1.30036,
              1.51323
            ],
            [
              0.22257,
              0.74663,
              0.84973,
              0.97355,
              1.12154,
              1.29983,
              1.51386
            ],
            [
              0.22247,
              0.74593,
              0.84971,
              0.97373,
              1.12174,
              1.29984,
              1.51386
            ],
            [
              0.22251,
              0.74608,
              0.84867,
              0.97335,
              1.12202,
              1.2999,
              1.51463
            ],
            [
              0.22222,
              0.7463,
              0.84905,
              0.97333,
              1.12201,
              1.3005,
              1.51435
            ],
            [
              0.22189,
              0.74573,
              0.84912,
              0.97341,
              1.12188,
              1.30033,
              1.51293
            ],
            [
              0.22051,
              0.74625,
              0.84935,
              0.97337,
              1.12235,
              1.29906,
              1.51332
            ],
            [
              0.22472,
              0.74603,
              0.84908,
              0.9724,
              1.12114,
              1.2996,
              1.513
            ],
            [
              0.24905,
              0.7459,
              0.8489,
              0.9724,
              1.1218,
              1.2993,
              1.5147
            ],
            [
              0.3032,
              0.7552,
              0.8532,
              0.9736,
              1.1209,
              1.3005,
              1.5129
            ],
            [
              0.3767,
              0.8082,
              0.8964,
              1.0068,
              1.1416,
              1.3097,
              1.5168
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.05124,
              0.14683,
              0.16571,
              0.18841,
              0.21566,
              0.24833,
              0.28761
            ],
            [
              0.05456,
              0.15042,
              0.16934,
              0.19203,
              0.21931,
              0.25197,
              0.29129
            ],
            [
              0.05844,
              0.15461,
              0.17356,
              0.19623,
              0.22352,
              0.25617,
              0.2955
            ],
            [
              0.06395,
              0.16054,
              0.17941,
              0.20223,
              0.22944,
              0.26211,
              0.30144
            ],
            [
              0.07176,
              0.16881,
              0.18774,
              0.21049,
              0.23777,
              0.27049,
              0.30984
            ],
            [
              0.08305,
              0.18061,
              0.19961,
              0.22235,
              0.24965,
              0.28246,
              0.3218
            ],
            [
              0.0983,
              0.19785,
              0.21686,
              0.23966,
              0.26706,
              0.29983,
              0.33921
            ],
            [
              0.11784,
              0.22336,
              0.24238,
              0.26535,
              0.29272,
              0.32555,
              0.36497
            ],
            [
              0.1432,
              0.26126,
              0.28043,
              0.30341,
              0.33091,
              0.3638,
              0.40338
            ],
            [
              0.17497,
              0.31422,
              0.33547,
              0.35998,
              0.38795,
              0.42105,
              0.46064
            ],
            [
              0.2135,
              0.38376,
              0.40821,
              0.43612,
              0.46792,
              0.50422,
              0.54592
            ],
            [
              0.25867,
              0.47407,
              0.50327,
              0.53617,
              0.57317,
              0.61487,
              0.66217
            ],
            [
              0.3094,
              0.5886,
              0.6249,
              0.6653,
              0.71,
              0.7596,
              0.8152
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.31202,
              0.69716,
              0.77224,
              0.86256,
              0.97058,
              1.09967,
              1.25507
            ],
            [
              0.31321,
              0.69918,
              0.77441,
              0.86466,
              0.97261,
              1.10194,
              1.25734
            ],
            [
              0.31529,
              0.70196,
              0.77718,
              0.8675,
              0.97561,
              1.10492,
              1.26032
            ],
            [
              0.31912,
              0.70652,
              0.78182,
              0.87226,
              0.98047,
              1.10987,
              1.26528
            ],
            [
              0.32567,
              0.7138,
              0.7892,
              0.87969,
              0.98801,
              1.11751,
              1.27301
            ],
            [
              0.3365,
              0.72528,
              0.80079,
              0.89145,
              0.99982,
              1.12932,
              1.28502
            ],
            [
              0.3538,
              0.7432,
              0.8188,
              0.90953,
              1.01783,
              1.14813,
              1.30393
            ],
            [
              0.38115,
              0.77138,
              0.84686,
              0.93766,
              1.04666,
              1.17656,
              1.33236
            ],
            [
              0.42375,
              0.81345,
              0.88925,
              0.98035,
              1.08935,
              1.21945,
              1.37495
            ],
            [
              0.48986,
              0.87769,
              0.95339,
              1.04439,
              1.15329,
              1.28359,
              1.43979
            ],
            [
              0.59052,
              0.97712,
              1.05272,
              1.14352,
              1.25212,
              1.38212,
              1.53822
            ],
            [
              0.73907,
              1.12797,
              1.20337,
              1.29377,
              1.40227,
              1.53197,
              1.68787
            ],
            [
              0.9272,
              1.3557,
              1.4307,
              1.5208,
              1.629,
              1.7586,
              1.9143
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.05323,
              0.19051,
              0.21669,
              0.24776,
              0.28459,
              0.32844,
              0.38088
            ],
            [
              0.05325,
              0.19054,
              0.21668,
              0.24774,
              0.2846,
              0.3284,
              0.3809
            ],
            [
              0.05324,
              0.19053,
              0.21669,
              0.24776,
              0.28459,
              0.32843,
              0.38088
            ],
            [
              0.05325,
              0.19052,
              0.21669,
              0.24776,
              0.2846,
              0.32841,
              0.38088
            ],
            [
              0.05328,
              0.19055,
              0.21671,
              0.24776,
              0.28459,
              0.3284,
              0.38089
            ],
            [
              0.05434,
              0.19053,
              0.2167,
              0.24775,
              0.28459,
              0.32843,
              0.38091
            ],
            [
              0.05844,
              0.19054,
              0.21669,
              0.24775,
              0.28461,
              0.32844,
              0.38089
            ],
            [
              0.06875,
              0.19183,
              0.21726,
              0.24783,
              0.2846,
              0.32841,
              0.38088
            ],
            [
              0.08349,
              0.19824,
              0.2225,
              0.25178,
              0.28701,
              0.32947,
              0.38105
            ],
            [
              0.10626,
              0.21375,
              0.23631,
              0.26378,
              0.29708,
              0.33754,
              0.38684
            ],
            [
              0.14067,
              0.24606,
              0.26652,
              0.29075,
              0.32098,
              0.35842,
              0.40466
            ],
            [
              0.1893,
              0.2946,
              0.3152,
              0.3396,
              0.3687,
              0.4033,
              0.4447
            ],
            [
              0.2565,
              0.365,
              0.386,
              0.411,
              0.4405,
              0.4758,
              0.5176
            ]
          ]
        },
        "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.00543,
            0.00651,
            0.00781,
            0.00937,
            0.01124,
            0.01349
          ],
          "values": [
            [
              0.24728,
              0.75666,
              0.85658,
              0.97691,
              1.12099,
              1.29317,
              1.49995
            ],
            [
              0.24727,
              0.75641,
              0.85668,
              0.97687,
              1.12084,
              1.29255,
              1.49931
            ],
            [
              0.24737,
              0.7566,
              0.85662,
              0.97683,
              1.12073,
              1.29305,
              1.50012
            ],
            [
              0.24726,
              0.75662,
              0.85665,
              0.9769,
              1.12091,
              1.29213,
              1.49997
            ],
            [
              0.24734,
              0.75664,
              0.85664,
              0.97683,
              1.12098,
              1.29272,
              1.49939
            ],
            [
              0.24717,
              0.75668,
              0.85657,
              0.97681,
              1.12085,
              1.29321,
              1.4996
            ],
            [
              0.24736,
              0.75663,
              0.85654,
              0.97683,
              1.12072,
              1.2925,
              1.50084
            ],
            [
              0.24721,
              0.75666,
              0.85655,
              0.97581,
              1.12015,
              1.2929,
              1.49964
            ],
            [
              0.24669,
              0.75601,
              0.85556,
              0.97571,
              1.1202,
              1.29263,
              1.50043
            ],
            [
              0.24585,
              0.75594,
              0.85612,
              0.976,
              1.11958,
              1.2923,
              1.5002
            ],
            [
              0.26262,
              0.7564,
              0.8566,
              0.9768,
              1.1205,
              1.2926,
              1.5002
            ],
            [
              0.3111,
              0.7613,
              0.8583,
              0.9762,
              1.1205,
              1.2932,
              1.5006
            ],
            [
              0.3854,
              0.8084,
              0.8956,
              1.003,
              1.1366,
              1.2997,
              1.5019
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      }
    ]
  }
}