{
  "area": 11.1888,
  "cell_footprint": "sky130_fd_sc_ls__o311ai",
  "cell_leakage_power": 0.0,
  "pg_pin,VGND": {
    "pg_type": "primary_ground",
    "voltage_name": "VGND"
  },
  "pg_pin,VNB": {
    "pg_type": "primary_ground",
    "voltage_name": "VNB"
  },
  "pg_pin,VPB": {
    "pg_type": "primary_power",
    "voltage_name": "VPB"
  },
  "pg_pin,VPWR": {
    "pg_type": "primary_power",
    "voltage_name": "VPWR"
  },
  "pin,A1": {
    "capacitance": 0.00278,
    "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.00611,
          0.00505,
          0.00523,
          0.00507,
          0.00505,
          0.00502,
          0.00503,
          0.00503,
          0.00504,
          0.0055,
          0.00557,
          0.00613,
          0.00634
        ]
      },
      "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.00361,
          0.00321,
          0.003,
          0.00298,
          0.00299,
          0.00299,
          0.00302,
          0.00305,
          0.00305,
          0.0033,
          0.0033,
          0.00352,
          0.00345
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A2": {
    "capacitance": 0.00294,
    "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.00571,
          0.00585,
          0.00521,
          0.00495,
          0.00494,
          0.0049,
          0.00496,
          0.00494,
          0.00496,
          0.0054,
          0.00545,
          0.00598,
          0.00614
        ]
      },
      "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.00375,
          0.00339,
          0.00336,
          0.00344,
          0.00339,
          0.00335,
          0.00338,
          0.00339,
          0.0034,
          0.00365,
          0.00365,
          0.00389,
          0.00382
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,A3": {
    "capacitance": 0.00281,
    "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.00551,
          0.0056,
          0.00516,
          0.00489,
          0.00487,
          0.00483,
          0.0049,
          0.00489,
          0.00492,
          0.00538,
          0.00544,
          0.00597,
          0.00615
        ]
      },
      "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.00383,
          0.00387,
          0.00363,
          0.00361,
          0.0036,
          0.00358,
          0.00359,
          0.00358,
          0.00359,
          0.00387,
          0.00386,
          0.00413,
          0.00407
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,B1": {
    "capacitance": 0.00325,
    "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.00257,
          0.00215,
          0.00235,
          0.0022,
          0.00214,
          0.0021,
          0.00212,
          0.00213,
          0.00214,
          0.00235,
          0.00241,
          0.00267,
          0.00278
        ]
      },
      "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.00365,
          0.00362,
          0.00334,
          0.00316,
          0.00328,
          0.00319,
          0.00318,
          0.00317,
          0.0032,
          0.00351,
          0.0036,
          0.00406,
          0.00439
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,C1": {
    "capacitance": 0.00329,
    "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.00236,
          0.00238,
          0.00219,
          0.00217,
          0.00214,
          0.00214,
          0.00213,
          0.00213,
          0.00212,
          0.0023,
          0.00232,
          0.00254,
          0.00266
        ]
      },
      "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.00478,
          0.00397,
          0.00436,
          0.00415,
          0.00392,
          0.00391,
          0.00398,
          0.00399,
          0.00401,
          0.00442,
          0.00455,
          0.00511,
          0.00544
        ]
      }
    },
    "max_transition": 1.0,
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR"
  },
  "pin,Y": {
    "direction": "output",
    "function": "(!A1&!A2&!A3) | (!B1) | (!C1)",
    "internal_power": [
      {
        "fall_power,pwr_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.00854,
              -0.00112,
              -0.01083,
              -0.03026
            ],
            [
              0.00864,
              -0.00103,
              -0.01074,
              -0.03018
            ],
            [
              0.00869,
              -0.00098,
              -0.01068,
              -0.03011
            ],
            [
              0.00874,
              -0.00092,
              -0.01062,
              -0.03005
            ],
            [
              0.00882,
              -0.00086,
              -0.01056,
              -0.02999
            ],
            [
              0.00888,
              -0.00081,
              -0.01051,
              -0.02994
            ],
            [
              0.00895,
              -0.00074,
              -0.01046,
              -0.0299
            ],
            [
              0.00904,
              -0.00068,
              -0.01041,
              -0.02985
            ],
            [
              0.00913,
              -0.00062,
              -0.01035,
              -0.02981
            ],
            [
              0.00924,
              -0.00054,
              -0.01029,
              -0.02976
            ],
            [
              0.00931,
              -0.00047,
              -0.01024,
              -0.02972
            ],
            [
              0.00937,
              -0.00041,
              -0.01018,
              -0.02967
            ],
            [
              0.00932,
              -0.00042,
              -0.01017,
              -0.02966
            ]
          ]
        },
        "related_pin": "A1",
        "rise_power,pwr_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.03483,
              0.04445,
              0.05407,
              0.07325
            ],
            [
              0.03478,
              0.0444,
              0.054,
              0.07323
            ],
            [
              0.03473,
              0.04437,
              0.05398,
              0.07314
            ],
            [
              0.0347,
              0.04434,
              0.05394,
              0.07316
            ],
            [
              0.03462,
              0.04427,
              0.0539,
              0.07304
            ],
            [
              0.03457,
              0.04425,
              0.05384,
              0.07309
            ],
            [
              0.03452,
              0.04418,
              0.0538,
              0.07304
            ],
            [
              0.03444,
              0.04414,
              0.05379,
              0.07304
            ],
            [
              0.03439,
              0.04408,
              0.05372,
              0.073
            ],
            [
              0.03438,
              0.04405,
              0.05371,
              0.07298
            ],
            [
              0.03434,
              0.04401,
              0.05366,
              0.0729
            ],
            [
              0.03438,
              0.044,
              0.05363,
              0.07289
            ],
            [
              0.03442,
              0.044,
              0.05364,
              0.07286
            ]
          ]
        },
        "when": "(!A2&!A3&B1&C1)"
      },
      {
        "fall_power,pwr_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.00644,
              -0.0032,
              -0.01291,
              -0.03234
            ],
            [
              0.0065,
              -0.00319,
              -0.0129,
              -0.03234
            ],
            [
              0.00651,
              -0.00318,
              -0.01289,
              -0.03233
            ],
            [
              0.00655,
              -0.00315,
              -0.01288,
              -0.03231
            ],
            [
              0.00662,
              -0.00312,
              -0.01285,
              -0.03229
            ],
            [
              0.0067,
              -0.00308,
              -0.01283,
              -0.03228
            ],
            [
              0.00682,
              -0.00301,
              -0.01277,
              -0.03224
            ],
            [
              0.00696,
              -0.00293,
              -0.01271,
              -0.0322
            ],
            [
              0.00712,
              -0.00282,
              -0.01263,
              -0.03215
            ],
            [
              0.00728,
              -0.00268,
              -0.01252,
              -0.03207
            ],
            [
              0.0074,
              -0.00254,
              -0.0124,
              -0.03198
            ],
            [
              0.00747,
              -0.00242,
              -0.01228,
              -0.03188
            ],
            [
              0.00744,
              -0.00238,
              -0.0122,
              -0.0318
            ]
          ]
        },
        "related_pin": "A2",
        "rise_power,pwr_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.02864,
              0.03825,
              0.04787,
              0.06701
            ],
            [
              0.02864,
              0.03826,
              0.04789,
              0.06704
            ],
            [
              0.0286,
              0.03823,
              0.04784,
              0.06701
            ],
            [
              0.02853,
              0.0382,
              0.0478,
              0.06701
            ],
            [
              0.02846,
              0.03811,
              0.04774,
              0.06695
            ],
            [
              0.02841,
              0.03808,
              0.0477,
              0.06696
            ],
            [
              0.02833,
              0.03804,
              0.04766,
              0.06688
            ],
            [
              0.02826,
              0.03799,
              0.04761,
              0.06682
            ],
            [
              0.0282,
              0.03792,
              0.04757,
              0.06679
            ],
            [
              0.02817,
              0.03788,
              0.04754,
              0.06679
            ],
            [
              0.02811,
              0.03781,
              0.04747,
              0.06671
            ],
            [
              0.02816,
              0.0378,
              0.04744,
              0.0667
            ],
            [
              0.02821,
              0.0378,
              0.04741,
              0.06668
            ]
          ]
        },
        "when": "(!A1&!A3&B1&C1)"
      },
      {
        "fall_power,pwr_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.00423,
              -0.00557,
              -0.01531,
              -0.03477
            ],
            [
              0.00425,
              -0.0056,
              -0.01535,
              -0.03481
            ],
            [
              0.00427,
              -0.00562,
              -0.01538,
              -0.03484
            ],
            [
              0.00432,
              -0.00562,
              -0.0154,
              -0.03487
            ],
            [
              0.0044,
              -0.00562,
              -0.01541,
              -0.03489
            ],
            [
              0.00449,
              -0.00558,
              -0.0154,
              -0.03491
            ],
            [
              0.00464,
              -0.00552,
              -0.01537,
              -0.0349
            ],
            [
              0.00479,
              -0.00541,
              -0.01529,
              -0.03486
            ],
            [
              0.00496,
              -0.00527,
              -0.01519,
              -0.03479
            ],
            [
              0.00509,
              -0.0051,
              -0.01505,
              -0.0347
            ],
            [
              0.00519,
              -0.00492,
              -0.01489,
              -0.03457
            ],
            [
              0.00522,
              -0.00477,
              -0.01472,
              -0.03443
            ],
            [
              0.00515,
              -0.00472,
              -0.01461,
              -0.03429
            ]
          ]
        },
        "related_pin": "A3",
        "rise_power,pwr_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.02166,
              0.03134,
              0.04093,
              0.06014
            ],
            [
              0.02161,
              0.03128,
              0.04088,
              0.06006
            ],
            [
              0.02154,
              0.03121,
              0.04084,
              0.06001
            ],
            [
              0.02146,
              0.03116,
              0.04077,
              0.05995
            ],
            [
              0.02138,
              0.03111,
              0.04075,
              0.05992
            ],
            [
              0.02129,
              0.03102,
              0.04068,
              0.05987
            ],
            [
              0.0212,
              0.03093,
              0.04061,
              0.05981
            ],
            [
              0.02108,
              0.03087,
              0.04054,
              0.05977
            ],
            [
              0.021,
              0.03078,
              0.04046,
              0.05972
            ],
            [
              0.02102,
              0.03073,
              0.04039,
              0.05969
            ],
            [
              0.02108,
              0.03071,
              0.04035,
              0.0596
            ],
            [
              0.0213,
              0.03082,
              0.04042,
              0.05961
            ],
            [
              0.02167,
              0.03104,
              0.04059,
              0.05965
            ]
          ]
        },
        "when": "(!A1&!A2&B1&C1)"
      },
      {
        "fall_power,pwr_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.0056,
              -0.00417,
              -0.0139,
              -0.03334
            ],
            [
              0.00567,
              -0.00414,
              -0.01388,
              -0.03333
            ],
            [
              0.00572,
              -0.00413,
              -0.01387,
              -0.03332
            ],
            [
              0.00582,
              -0.00409,
              -0.01385,
              -0.03331
            ],
            [
              0.00593,
              -0.00402,
              -0.0138,
              -0.03328
            ],
            [
              0.00605,
              -0.00394,
              -0.01375,
              -0.03325
            ],
            [
              0.00617,
              -0.00385,
              -0.01368,
              -0.0332
            ],
            [
              0.0063,
              -0.00373,
              -0.01359,
              -0.03314
            ],
            [
              0.0064,
              -0.0036,
              -0.01347,
              -0.03306
            ],
            [
              0.00648,
              -0.00348,
              -0.01335,
              -0.03296
            ],
            [
              0.0065,
              -0.00338,
              -0.01324,
              -0.03285
            ],
            [
              0.00645,
              -0.00334,
              -0.01316,
              -0.03275
            ],
            [
              0.00624,
              -0.00342,
              -0.01318,
              -0.03271
            ]
          ]
        },
        "related_pin": "B1",
        "rise_power,pwr_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.0212,
              0.03085,
              0.0405,
              0.0597
            ],
            [
              0.02113,
              0.03082,
              0.04045,
              0.05968
            ],
            [
              0.02106,
              0.03079,
              0.04041,
              0.05967
            ],
            [
              0.02096,
              0.03073,
              0.04038,
              0.0596
            ],
            [
              0.02086,
              0.03067,
              0.04035,
              0.0596
            ],
            [
              0.02074,
              0.03058,
              0.04028,
              0.05951
            ],
            [
              0.02064,
              0.0305,
              0.04022,
              0.05947
            ],
            [
              0.02056,
              0.0304,
              0.04013,
              0.05942
            ],
            [
              0.02056,
              0.0303,
              0.04,
              0.05933
            ],
            [
              0.02062,
              0.03025,
              0.03995,
              0.05924
            ],
            [
              0.02077,
              0.03029,
              0.03995,
              0.0592
            ],
            [
              0.021,
              0.03051,
              0.04004,
              0.0592
            ],
            [
              0.02147,
              0.03089,
              0.04036,
              0.05935
            ]
          ]
        },
        "when": "(A1&C1) | (A2&C1) | (A3&C1)"
      },
      {
        "fall_power,pwr_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.00572,
              -0.0041,
              -0.01383,
              -0.03328
            ],
            [
              0.00583,
              -0.00406,
              -0.01381,
              -0.03326
            ],
            [
              0.00591,
              -0.00403,
              -0.0138,
              -0.03326
            ],
            [
              0.00603,
              -0.00396,
              -0.01375,
              -0.03324
            ],
            [
              0.00616,
              -0.00389,
              -0.0137,
              -0.0332
            ],
            [
              0.0063,
              -0.00378,
              -0.01363,
              -0.03316
            ],
            [
              0.00643,
              -0.00366,
              -0.01353,
              -0.0331
            ],
            [
              0.00653,
              -0.00353,
              -0.01342,
              -0.03302
            ],
            [
              0.00659,
              -0.0034,
              -0.0133,
              -0.03292
            ],
            [
              0.00657,
              -0.0033,
              -0.01319,
              -0.03281
            ],
            [
              0.00646,
              -0.00328,
              -0.01311,
              -0.03271
            ],
            [
              0.0062,
              -0.00337,
              -0.01312,
              -0.03268
            ],
            [
              0.0057,
              -0.00367,
              -0.01331,
              -0.03275
            ]
          ]
        },
        "related_pin": "C1",
        "rise_power,pwr_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.01864,
              0.02852,
              0.03818,
              0.05742
            ],
            [
              0.01854,
              0.02849,
              0.03817,
              0.05741
            ],
            [
              0.01845,
              0.02846,
              0.03816,
              0.05743
            ],
            [
              0.01832,
              0.02839,
              0.03814,
              0.05741
            ],
            [
              0.01821,
              0.02833,
              0.03806,
              0.05736
            ],
            [
              0.0181,
              0.02821,
              0.038,
              0.05733
            ],
            [
              0.01803,
              0.02809,
              0.0379,
              0.05727
            ],
            [
              0.01799,
              0.02794,
              0.03781,
              0.05717
            ],
            [
              0.01802,
              0.02785,
              0.03762,
              0.05707
            ],
            [
              0.01811,
              0.02782,
              0.03752,
              0.05689
            ],
            [
              0.01832,
              0.02789,
              0.03748,
              0.05683
            ],
            [
              0.01866,
              0.02811,
              0.03764,
              0.05682
            ],
            [
              0.01925,
              0.0285,
              0.03803,
              0.05697
            ]
          ]
        },
        "when": "(A1&B1) | (A2&B1) | (A3&B1)"
      }
    ],
    "max_capacitance": 0.01853,
    "power_down_function": "(!VPWR + VGND)",
    "related_ground_pin": "VGND",
    "related_power_pin": "VPWR",
    "timing": [
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.14018,
              0.25687,
              0.36631,
              0.58026
            ],
            [
              0.14288,
              0.25957,
              0.36902,
              0.58296
            ],
            [
              0.1463,
              0.26299,
              0.37242,
              0.58637
            ],
            [
              0.15155,
              0.26826,
              0.37768,
              0.59166
            ],
            [
              0.15926,
              0.27603,
              0.38544,
              0.59943
            ],
            [
              0.17012,
              0.28699,
              0.39642,
              0.61044
            ],
            [
              0.18526,
              0.30226,
              0.41178,
              0.62584
            ],
            [
              0.20646,
              0.32345,
              0.43309,
              0.64724
            ],
            [
              0.23615,
              0.3533,
              0.46306,
              0.67733
            ],
            [
              0.27432,
              0.39641,
              0.5062,
              0.72069
            ],
            [
              0.32299,
              0.45552,
              0.56932,
              0.78412
            ],
            [
              0.38467,
              0.53197,
              0.65577,
              0.87817
            ],
            [
              0.4606,
              0.6304,
              0.7682,
              1.0103
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.31203,
              0.55359,
              0.78837,
              1.25337
            ],
            [
              0.31426,
              0.55585,
              0.79063,
              1.25564
            ],
            [
              0.31731,
              0.55895,
              0.7938,
              1.25872
            ],
            [
              0.32225,
              0.56408,
              0.79898,
              1.26398
            ],
            [
              0.32978,
              0.57188,
              0.80685,
              1.27191
            ],
            [
              0.34053,
              0.58306,
              0.81812,
              1.28332
            ],
            [
              0.35576,
              0.59865,
              0.83389,
              1.29923
            ],
            [
              0.37725,
              0.62038,
              0.85586,
              1.32136
            ],
            [
              0.40734,
              0.65054,
              0.88615,
              1.35195
            ],
            [
              0.44983,
              0.69279,
              0.92859,
              1.39469
            ],
            [
              0.50702,
              0.75312,
              0.98902,
              1.45522
            ],
            [
              0.57507,
              0.84017,
              1.07647,
              1.54287
            ],
            [
              0.656,
              0.9502,
              1.2035,
              1.672
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.10771,
              0.24941,
              0.38972,
              0.66979
            ],
            [
              0.1078,
              0.24929,
              0.38965,
              0.67006
            ],
            [
              0.10776,
              0.24949,
              0.38975,
              0.6697
            ],
            [
              0.10754,
              0.24951,
              0.38976,
              0.66961
            ],
            [
              0.10764,
              0.24941,
              0.38934,
              0.66937
            ],
            [
              0.10751,
              0.2492,
              0.38965,
              0.66941
            ],
            [
              0.10709,
              0.24942,
              0.38933,
              0.66965
            ],
            [
              0.10759,
              0.24918,
              0.38974,
              0.6695
            ],
            [
              0.11176,
              0.24993,
              0.38943,
              0.6699
            ],
            [
              0.122,
              0.25566,
              0.39193,
              0.66919
            ],
            [
              0.13698,
              0.27163,
              0.40276,
              0.6732
            ],
            [
              0.1607,
              0.3009,
              0.4298,
              0.6902
            ],
            [
              0.1987,
              0.3448,
              0.478,
              0.7313
            ]
          ]
        },
        "related_pin": "A1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.23826,
              0.55172,
              0.86225,
              1.48295
            ],
            [
              0.23825,
              0.55172,
              0.86285,
              1.48165
            ],
            [
              0.23829,
              0.55142,
              0.86266,
              1.4832
            ],
            [
              0.23782,
              0.55108,
              0.86286,
              1.48245
            ],
            [
              0.23813,
              0.55165,
              0.86259,
              1.48321
            ],
            [
              0.23809,
              0.55133,
              0.86285,
              1.48224
            ],
            [
              0.23782,
              0.55171,
              0.86276,
              1.48188
            ],
            [
              0.23832,
              0.55169,
              0.86214,
              1.48248
            ],
            [
              0.23816,
              0.55158,
              0.86266,
              1.48258
            ],
            [
              0.24293,
              0.55155,
              0.86247,
              1.4825
            ],
            [
              0.26013,
              0.5577,
              0.8629,
              1.483
            ],
            [
              0.2926,
              0.5814,
              0.8761,
              1.4831
            ],
            [
              0.3365,
              0.6345,
              0.9152,
              1.5015
            ]
          ]
        },
        "timing_sense": "negative_unate"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.12998,
              0.23925,
              0.34563,
              0.55682
            ],
            [
              0.13317,
              0.24245,
              0.34883,
              0.56002
            ],
            [
              0.13688,
              0.24626,
              0.35267,
              0.56388
            ],
            [
              0.1423,
              0.25185,
              0.3583,
              0.56954
            ],
            [
              0.14994,
              0.25971,
              0.36628,
              0.57759
            ],
            [
              0.16036,
              0.27061,
              0.3773,
              0.58869
            ],
            [
              0.17462,
              0.2854,
              0.3923,
              0.6038
            ],
            [
              0.19436,
              0.30565,
              0.41282,
              0.6246
            ],
            [
              0.2207,
              0.334,
              0.44146,
              0.65353
            ],
            [
              0.2537,
              0.37447,
              0.48253,
              0.69509
            ],
            [
              0.29538,
              0.42766,
              0.54212,
              0.75562
            ],
            [
              0.34677,
              0.49617,
              0.62117,
              0.84537
            ],
            [
              0.4069,
              0.5831,
              0.7233,
              0.9682
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.29664,
              0.53825,
              0.77305,
              1.23797
            ],
            [
              0.29801,
              0.53963,
              0.7745,
              1.23944
            ],
            [
              0.30018,
              0.54197,
              0.7768,
              1.24182
            ],
            [
              0.3041,
              0.54609,
              0.78102,
              1.24608
            ],
            [
              0.31069,
              0.5531,
              0.78806,
              1.25321
            ],
            [
              0.32115,
              0.56398,
              0.79914,
              1.26442
            ],
            [
              0.33665,
              0.57998,
              0.81532,
              1.28083
            ],
            [
              0.35932,
              0.60292,
              0.83856,
              1.30426
            ],
            [
              0.39254,
              0.63616,
              0.87205,
              1.33815
            ],
            [
              0.4423,
              0.68579,
              0.92179,
              1.38829
            ],
            [
              0.51252,
              0.76012,
              0.99632,
              1.46292
            ],
            [
              0.60077,
              0.87197,
              1.10827,
              1.57517
            ],
            [
              0.7126,
              1.0218,
              1.2763,
              1.7438
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.0863,
              0.22725,
              0.36795,
              0.64839
            ],
            [
              0.08637,
              0.2273,
              0.36793,
              0.64892
            ],
            [
              0.08638,
              0.2273,
              0.36793,
              0.64829
            ],
            [
              0.08632,
              0.2273,
              0.36791,
              0.64875
            ],
            [
              0.08633,
              0.22728,
              0.36792,
              0.64865
            ],
            [
              0.08638,
              0.2273,
              0.36798,
              0.64811
            ],
            [
              0.08626,
              0.22721,
              0.36799,
              0.64843
            ],
            [
              0.0876,
              0.22726,
              0.36771,
              0.64884
            ],
            [
              0.09328,
              0.22863,
              0.36793,
              0.64878
            ],
            [
              0.10331,
              0.2362,
              0.37143,
              0.64882
            ],
            [
              0.11834,
              0.2541,
              0.38406,
              0.6539
            ],
            [
              0.1427,
              0.2837,
              0.4137,
              0.6725
            ],
            [
              0.1822,
              0.3289,
              0.4623,
              0.7162
            ]
          ]
        },
        "related_pin": "A2",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.23778,
              0.55172,
              0.86218,
              1.48326
            ],
            [
              0.23826,
              0.55157,
              0.86281,
              1.48322
            ],
            [
              0.23814,
              0.55173,
              0.86247,
              1.48305
            ],
            [
              0.2383,
              0.55125,
              0.86282,
              1.48177
            ],
            [
              0.23818,
              0.55171,
              0.86229,
              1.48131
            ],
            [
              0.23827,
              0.55172,
              0.86271,
              1.48212
            ],
            [
              0.23805,
              0.55153,
              0.86284,
              1.48278
            ],
            [
              0.2383,
              0.55167,
              0.86275,
              1.4832
            ],
            [
              0.23823,
              0.55119,
              0.86188,
              1.48315
            ],
            [
              0.24672,
              0.55129,
              0.86191,
              1.4816
            ],
            [
              0.26929,
              0.5596,
              0.8628,
              1.4832
            ],
            [
              0.3107,
              0.5872,
              0.8769,
              1.4821
            ],
            [
              0.3694,
              0.6515,
              0.9219,
              1.4998
            ]
          ]
        },
        "timing_sense": "negative_unate"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.09705,
              0.1999,
              0.30154,
              0.50564
            ],
            [
              0.1002,
              0.20349,
              0.30562,
              0.5091
            ],
            [
              0.10384,
              0.20763,
              0.3094,
              0.51301
            ],
            [
              0.10912,
              0.21327,
              0.3155,
              0.51975
            ],
            [
              0.1166,
              0.22141,
              0.32417,
              0.52786
            ],
            [
              0.12689,
              0.2325,
              0.33525,
              0.5394
            ],
            [
              0.14104,
              0.24755,
              0.35039,
              0.55476
            ],
            [
              0.16002,
              0.26769,
              0.37117,
              0.57625
            ],
            [
              0.18323,
              0.29604,
              0.39986,
              0.60488
            ],
            [
              0.21204,
              0.33514,
              0.4409,
              0.64679
            ],
            [
              0.24696,
              0.3849,
              0.49942,
              0.70742
            ],
            [
              0.28707,
              0.44817,
              0.57487,
              0.79717
            ],
            [
              0.3289,
              0.5271,
              0.6717,
              0.9167
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.23644,
              0.47812,
              0.71286,
              1.17777
            ],
            [
              0.2375,
              0.47934,
              0.71412,
              1.17904
            ],
            [
              0.23924,
              0.48132,
              0.71616,
              1.18112
            ],
            [
              0.2423,
              0.4848,
              0.71972,
              1.18488
            ],
            [
              0.24765,
              0.49069,
              0.72584,
              1.19101
            ],
            [
              0.25636,
              0.50007,
              0.73548,
              1.20102
            ],
            [
              0.27058,
              0.5149,
              0.75071,
              1.21653
            ],
            [
              0.29342,
              0.53791,
              0.77406,
              1.23996
            ],
            [
              0.32934,
              0.57349,
              0.80975,
              1.27625
            ],
            [
              0.38578,
              0.6284,
              0.86429,
              1.33079
            ],
            [
              0.47002,
              0.71262,
              0.94762,
              1.41352
            ],
            [
              0.57297,
              0.84217,
              1.07527,
              1.53947
            ],
            [
              0.6974,
              1.0227,
              1.2698,
              1.7312
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06062,
              0.19669,
              0.33242,
              0.60453
            ],
            [
              0.06064,
              0.19677,
              0.33284,
              0.60443
            ],
            [
              0.06062,
              0.19664,
              0.33243,
              0.60416
            ],
            [
              0.06064,
              0.19669,
              0.33232,
              0.60462
            ],
            [
              0.06061,
              0.19674,
              0.33287,
              0.60414
            ],
            [
              0.06073,
              0.19674,
              0.33266,
              0.6041
            ],
            [
              0.06112,
              0.19686,
              0.33228,
              0.60383
            ],
            [
              0.06447,
              0.19691,
              0.33269,
              0.60455
            ],
            [
              0.07166,
              0.19981,
              0.33302,
              0.60384
            ],
            [
              0.08204,
              0.2093,
              0.33771,
              0.60438
            ],
            [
              0.09862,
              0.22999,
              0.35402,
              0.61104
            ],
            [
              0.1253,
              0.2614,
              0.3865,
              0.6325
            ],
            [
              0.1671,
              0.3101,
              0.4373,
              0.681
            ]
          ]
        },
        "related_pin": "A3",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.23831,
              0.55164,
              0.86265,
              1.48264
            ],
            [
              0.23781,
              0.55165,
              0.86256,
              1.48314
            ],
            [
              0.23824,
              0.55167,
              0.8626,
              1.48313
            ],
            [
              0.2379,
              0.55145,
              0.86262,
              1.48319
            ],
            [
              0.23828,
              0.5515,
              0.86212,
              1.48318
            ],
            [
              0.238,
              0.55167,
              0.86164,
              1.48321
            ],
            [
              0.23792,
              0.55155,
              0.86214,
              1.48302
            ],
            [
              0.23696,
              0.55127,
              0.86232,
              1.48288
            ],
            [
              0.23591,
              0.551,
              0.8625,
              1.48257
            ],
            [
              0.2474,
              0.55023,
              0.8627,
              1.4813
            ],
            [
              0.28096,
              0.55899,
              0.8619,
              1.4831
            ],
            [
              0.3305,
              0.5982,
              0.8778,
              1.4826
            ],
            [
              0.3964,
              0.6878,
              0.9393,
              1.4999
            ]
          ]
        },
        "timing_sense": "negative_unate"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.08153,
              0.18451,
              0.28661,
              0.4897
            ],
            [
              0.08366,
              0.18696,
              0.28889,
              0.49262
            ],
            [
              0.08635,
              0.19038,
              0.29226,
              0.49618
            ],
            [
              0.09044,
              0.19514,
              0.2972,
              0.50138
            ],
            [
              0.09656,
              0.20175,
              0.30401,
              0.50833
            ],
            [
              0.1055,
              0.21103,
              0.31379,
              0.51796
            ],
            [
              0.11905,
              0.22514,
              0.32812,
              0.53263
            ],
            [
              0.13684,
              0.24623,
              0.34972,
              0.55421
            ],
            [
              0.15992,
              0.27807,
              0.38175,
              0.58719
            ],
            [
              0.18852,
              0.32334,
              0.43029,
              0.63609
            ],
            [
              0.22167,
              0.38207,
              0.50082,
              0.70942
            ],
            [
              0.25787,
              0.45617,
              0.59307,
              0.81947
            ],
            [
              0.2959,
              0.5453,
              0.7102,
              0.9683
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06295,
              0.13835,
              0.21253,
              0.36018
            ],
            [
              0.06592,
              0.14157,
              0.21576,
              0.36355
            ],
            [
              0.06956,
              0.14543,
              0.21961,
              0.36743
            ],
            [
              0.07504,
              0.15119,
              0.2254,
              0.37322
            ],
            [
              0.08345,
              0.15987,
              0.23448,
              0.38229
            ],
            [
              0.09647,
              0.17325,
              0.24782,
              0.39574
            ],
            [
              0.11653,
              0.19321,
              0.26792,
              0.41595
            ],
            [
              0.14449,
              0.22335,
              0.29815,
              0.44617
            ],
            [
              0.17874,
              0.26933,
              0.34401,
              0.49229
            ],
            [
              0.22048,
              0.33587,
              0.4135,
              0.56163
            ],
            [
              0.27104,
              0.41875,
              0.51522,
              0.66582
            ],
            [
              0.33177,
              0.52037,
              0.64417,
              0.82257
            ],
            [
              0.4046,
              0.6439,
              0.8024,
              1.0312
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06061,
              0.19685,
              0.33283,
              0.60406
            ],
            [
              0.06061,
              0.19666,
              0.33247,
              0.60402
            ],
            [
              0.0606,
              0.19677,
              0.33253,
              0.60431
            ],
            [
              0.06062,
              0.19688,
              0.33266,
              0.6046
            ],
            [
              0.06063,
              0.1968,
              0.33238,
              0.60449
            ],
            [
              0.0609,
              0.1968,
              0.33227,
              0.60381
            ],
            [
              0.06377,
              0.19688,
              0.33229,
              0.60388
            ],
            [
              0.07106,
              0.19775,
              0.33269,
              0.60405
            ],
            [
              0.08215,
              0.20371,
              0.33379,
              0.60427
            ],
            [
              0.0993,
              0.21917,
              0.34187,
              0.60474
            ],
            [
              0.12508,
              0.24997,
              0.3644,
              0.61362
            ],
            [
              0.1619,
              0.2967,
              0.4115,
              0.642
            ],
            [
              0.2122,
              0.364,
              0.4844,
              0.707
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.05386,
              0.15831,
              0.26264,
              0.47154
            ],
            [
              0.05386,
              0.15822,
              0.26264,
              0.47085
            ],
            [
              0.05389,
              0.15827,
              0.26261,
              0.4715
            ],
            [
              0.05385,
              0.15827,
              0.26266,
              0.47145
            ],
            [
              0.05379,
              0.1582,
              0.26265,
              0.47146
            ],
            [
              0.0541,
              0.15824,
              0.26262,
              0.47115
            ],
            [
              0.05912,
              0.15824,
              0.26256,
              0.47126
            ],
            [
              0.0719,
              0.15978,
              0.26252,
              0.47105
            ],
            [
              0.0927,
              0.17106,
              0.26499,
              0.47145
            ],
            [
              0.11963,
              0.19867,
              0.28044,
              0.47201
            ],
            [
              0.15499,
              0.25102,
              0.32056,
              0.49069
            ],
            [
              0.2003,
              0.3222,
              0.3999,
              0.5425
            ],
            [
              0.2579,
              0.4154,
              0.512,
              0.6531
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&A3&C1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.11364,
              0.22345,
              0.32994,
              0.5412
            ],
            [
              0.11602,
              0.22612,
              0.3327,
              0.54402
            ],
            [
              0.11897,
              0.22934,
              0.33603,
              0.54741
            ],
            [
              0.12343,
              0.23412,
              0.34092,
              0.55241
            ],
            [
              0.12984,
              0.24089,
              0.34786,
              0.55947
            ],
            [
              0.1391,
              0.25054,
              0.35773,
              0.56951
            ],
            [
              0.15298,
              0.26473,
              0.37213,
              0.5842
            ],
            [
              0.17418,
              0.28597,
              0.39365,
              0.60602
            ],
            [
              0.20247,
              0.31803,
              0.42599,
              0.63872
            ],
            [
              0.23929,
              0.36623,
              0.47467,
              0.68779
            ],
            [
              0.28531,
              0.4305,
              0.54762,
              0.76152
            ],
            [
              0.33937,
              0.51327,
              0.64567,
              0.87217
            ],
            [
              0.4005,
              0.6154,
              0.7717,
              1.0271
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06429,
              0.13968,
              0.21387,
              0.36159
            ],
            [
              0.06731,
              0.14292,
              0.21713,
              0.36485
            ],
            [
              0.07093,
              0.14678,
              0.22102,
              0.36877
            ],
            [
              0.07641,
              0.15254,
              0.22676,
              0.37454
            ],
            [
              0.08483,
              0.16123,
              0.23585,
              0.38368
            ],
            [
              0.09784,
              0.17461,
              0.2492,
              0.39711
            ],
            [
              0.11786,
              0.19457,
              0.26928,
              0.41737
            ],
            [
              0.14612,
              0.2247,
              0.29953,
              0.44758
            ],
            [
              0.18083,
              0.27085,
              0.34541,
              0.49372
            ],
            [
              0.22311,
              0.3374,
              0.41488,
              0.56303
            ],
            [
              0.27443,
              0.42068,
              0.51672,
              0.66722
            ],
            [
              0.33607,
              0.52287,
              0.64607,
              0.82407
            ],
            [
              0.4101,
              0.647,
              0.8048,
              1.033
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.08644,
              0.22732,
              0.36794,
              0.64879
            ],
            [
              0.08635,
              0.22735,
              0.36785,
              0.64891
            ],
            [
              0.08642,
              0.22727,
              0.36789,
              0.64859
            ],
            [
              0.0864,
              0.22731,
              0.3679,
              0.64861
            ],
            [
              0.0864,
              0.22728,
              0.3677,
              0.6485
            ],
            [
              0.08629,
              0.22722,
              0.36798,
              0.64879
            ],
            [
              0.08643,
              0.22731,
              0.36764,
              0.64871
            ],
            [
              0.09055,
              0.22727,
              0.36788,
              0.64883
            ],
            [
              0.10073,
              0.23067,
              0.3679,
              0.6489
            ],
            [
              0.11605,
              0.24214,
              0.3738,
              0.64865
            ],
            [
              0.14036,
              0.26942,
              0.39165,
              0.6551
            ],
            [
              0.1761,
              0.3141,
              0.4337,
              0.6795
            ],
            [
              0.2258,
              0.3799,
              0.5052,
              0.7382
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.07135,
              0.18377,
              0.29019,
              0.49933
            ],
            [
              0.07136,
              0.18377,
              0.29019,
              0.49888
            ],
            [
              0.07137,
              0.18378,
              0.29026,
              0.49934
            ],
            [
              0.07137,
              0.18377,
              0.2902,
              0.49924
            ],
            [
              0.07136,
              0.18377,
              0.29008,
              0.4989
            ],
            [
              0.07164,
              0.18379,
              0.29019,
              0.4989
            ],
            [
              0.07653,
              0.18383,
              0.29019,
              0.49944
            ],
            [
              0.08937,
              0.18553,
              0.29029,
              0.49889
            ],
            [
              0.11607,
              0.19662,
              0.29258,
              0.49946
            ],
            [
              0.15254,
              0.22453,
              0.30833,
              0.50053
            ],
            [
              0.20034,
              0.27902,
              0.34842,
              0.51847
            ],
            [
              0.2614,
              0.3582,
              0.4273,
              0.5707
            ],
            [
              0.3382,
              0.4614,
              0.547,
              0.6805
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!A3&C1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.07005,
              0.15756,
              0.24421,
              0.41661
            ],
            [
              0.07248,
              0.16019,
              0.24713,
              0.41963
            ],
            [
              0.07546,
              0.16362,
              0.25069,
              0.42337
            ],
            [
              0.07985,
              0.16851,
              0.2555,
              0.42897
            ],
            [
              0.08621,
              0.17536,
              0.26274,
              0.43554
            ],
            [
              0.09563,
              0.18531,
              0.27282,
              0.44576
            ],
            [
              0.10931,
              0.19958,
              0.28726,
              0.46122
            ],
            [
              0.12655,
              0.22127,
              0.30913,
              0.48295
            ],
            [
              0.14889,
              0.25372,
              0.3419,
              0.51615
            ],
            [
              0.17619,
              0.29749,
              0.39124,
              0.56619
            ],
            [
              0.2077,
              0.35398,
              0.45992,
              0.64062
            ],
            [
              0.24197,
              0.42467,
              0.54847,
              0.74967
            ],
            [
              0.2778,
              0.5093,
              0.6601,
              0.8927
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06275,
              0.13812,
              0.21229,
              0.36004
            ],
            [
              0.06563,
              0.1413,
              0.21548,
              0.36321
            ],
            [
              0.06919,
              0.14508,
              0.21932,
              0.36702
            ],
            [
              0.07461,
              0.15079,
              0.22509,
              0.3728
            ],
            [
              0.08302,
              0.15947,
              0.2338,
              0.38145
            ],
            [
              0.09598,
              0.17257,
              0.24728,
              0.39472
            ],
            [
              0.11616,
              0.19269,
              0.26736,
              0.41528
            ],
            [
              0.14415,
              0.22304,
              0.29737,
              0.44591
            ],
            [
              0.17842,
              0.26893,
              0.3435,
              0.49163
            ],
            [
              0.22027,
              0.33553,
              0.41307,
              0.5611
            ],
            [
              0.27091,
              0.41847,
              0.51492,
              0.66532
            ],
            [
              0.33177,
              0.52017,
              0.64387,
              0.82217
            ],
            [
              0.405,
              0.6439,
              0.8023,
              1.0309
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.05031,
              0.16611,
              0.28217,
              0.5135
            ],
            [
              0.05031,
              0.16601,
              0.28215,
              0.5135
            ],
            [
              0.05028,
              0.16612,
              0.28215,
              0.51315
            ],
            [
              0.05023,
              0.16599,
              0.28174,
              0.51377
            ],
            [
              0.05029,
              0.16596,
              0.28208,
              0.5135
            ],
            [
              0.05078,
              0.16621,
              0.28213,
              0.51354
            ],
            [
              0.05439,
              0.16613,
              0.28177,
              0.51331
            ],
            [
              0.06226,
              0.168,
              0.28213,
              0.51332
            ],
            [
              0.07317,
              0.17548,
              0.28456,
              0.51333
            ],
            [
              0.09006,
              0.19311,
              0.29502,
              0.51565
            ],
            [
              0.11499,
              0.2239,
              0.32057,
              0.52783
            ],
            [
              0.15047,
              0.2694,
              0.3687,
              0.5613
            ],
            [
              0.1993,
              0.3347,
              0.4397,
              0.6321
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.05382,
              0.15813,
              0.26263,
              0.47082
            ],
            [
              0.0538,
              0.15824,
              0.26251,
              0.47154
            ],
            [
              0.0539,
              0.15818,
              0.2625,
              0.47146
            ],
            [
              0.0538,
              0.15816,
              0.26234,
              0.47087
            ],
            [
              0.05381,
              0.1582,
              0.26255,
              0.4713
            ],
            [
              0.05415,
              0.15815,
              0.26263,
              0.47089
            ],
            [
              0.05931,
              0.15826,
              0.26257,
              0.47114
            ],
            [
              0.07225,
              0.15988,
              0.26269,
              0.4714
            ],
            [
              0.0931,
              0.17123,
              0.26508,
              0.47151
            ],
            [
              0.11984,
              0.19915,
              0.2808,
              0.47209
            ],
            [
              0.15516,
              0.25132,
              0.32084,
              0.49086
            ],
            [
              0.2002,
              0.3225,
              0.4003,
              0.5435
            ],
            [
              0.2573,
              0.4154,
              0.5117,
              0.6533
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&C1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&A3&C1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.12719,
              0.24446,
              0.354,
              0.56805
            ],
            [
              0.12958,
              0.24715,
              0.35676,
              0.57088
            ],
            [
              0.13257,
              0.25038,
              0.36008,
              0.57427
            ],
            [
              0.13711,
              0.25516,
              0.365,
              0.57925
            ],
            [
              0.14364,
              0.26197,
              0.37193,
              0.58632
            ],
            [
              0.15316,
              0.2717,
              0.38184,
              0.5964
            ],
            [
              0.16736,
              0.28597,
              0.3963,
              0.61113
            ],
            [
              0.18939,
              0.30735,
              0.41788,
              0.63295
            ],
            [
              0.22107,
              0.33966,
              0.45028,
              0.6657
            ],
            [
              0.26219,
              0.38879,
              0.49912,
              0.71489
            ],
            [
              0.31503,
              0.45682,
              0.57282,
              0.78862
            ],
            [
              0.37937,
              0.54487,
              0.67467,
              0.89947
            ],
            [
              0.4544,
              0.6553,
              0.8062,
              1.0575
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06428,
              0.13966,
              0.21384,
              0.36159
            ],
            [
              0.06729,
              0.1429,
              0.21708,
              0.3649
            ],
            [
              0.07091,
              0.14677,
              0.221,
              0.36875
            ],
            [
              0.0764,
              0.15254,
              0.22675,
              0.37456
            ],
            [
              0.08481,
              0.16122,
              0.23584,
              0.38366
            ],
            [
              0.09782,
              0.17459,
              0.2492,
              0.39712
            ],
            [
              0.11784,
              0.19455,
              0.26926,
              0.41736
            ],
            [
              0.1461,
              0.22468,
              0.29951,
              0.44757
            ],
            [
              0.18079,
              0.27083,
              0.34537,
              0.49369
            ],
            [
              0.22308,
              0.33738,
              0.41486,
              0.56303
            ],
            [
              0.27439,
              0.42066,
              0.51672,
              0.66722
            ],
            [
              0.33607,
              0.52277,
              0.64597,
              0.82397
            ],
            [
              0.4101,
              0.647,
              0.8047,
              1.033
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.10773,
              0.24948,
              0.38931,
              0.66975
            ],
            [
              0.10782,
              0.24923,
              0.38973,
              0.66937
            ],
            [
              0.10789,
              0.24931,
              0.38935,
              0.6694
            ],
            [
              0.10778,
              0.24948,
              0.38976,
              0.66986
            ],
            [
              0.10773,
              0.24947,
              0.38955,
              0.66982
            ],
            [
              0.10733,
              0.24945,
              0.38936,
              0.66969
            ],
            [
              0.10617,
              0.24929,
              0.38951,
              0.66951
            ],
            [
              0.10834,
              0.24874,
              0.3896,
              0.66938
            ],
            [
              0.11599,
              0.2504,
              0.38909,
              0.66981
            ],
            [
              0.13097,
              0.25925,
              0.39259,
              0.6692
            ],
            [
              0.15383,
              0.28287,
              0.40814,
              0.6739
            ],
            [
              0.1883,
              0.3257,
              0.446,
              0.6958
            ],
            [
              0.2373,
              0.3895,
              0.5152,
              0.7504
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.0714,
              0.18645,
              0.29742,
              0.51611
            ],
            [
              0.07141,
              0.18645,
              0.29743,
              0.51617
            ],
            [
              0.07141,
              0.18648,
              0.29751,
              0.51611
            ],
            [
              0.07141,
              0.18647,
              0.29741,
              0.51603
            ],
            [
              0.0714,
              0.18647,
              0.29739,
              0.51613
            ],
            [
              0.07168,
              0.18646,
              0.29743,
              0.51617
            ],
            [
              0.07658,
              0.1865,
              0.29746,
              0.51613
            ],
            [
              0.08942,
              0.18822,
              0.2975,
              0.51616
            ],
            [
              0.11644,
              0.19931,
              0.2998,
              0.51628
            ],
            [
              0.15411,
              0.22723,
              0.3155,
              0.51734
            ],
            [
              0.20495,
              0.28263,
              0.35573,
              0.53539
            ],
            [
              0.2723,
              0.3658,
              0.4356,
              0.588
            ],
            [
              0.3624,
              0.4764,
              0.5617,
              0.6979
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&C1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!A3&C1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06899,
              0.15473,
              0.2398,
              0.40962
            ],
            [
              0.0714,
              0.15784,
              0.2431,
              0.41264
            ],
            [
              0.0744,
              0.16104,
              0.24658,
              0.41621
            ],
            [
              0.07884,
              0.16617,
              0.25165,
              0.42197
            ],
            [
              0.08521,
              0.17291,
              0.25875,
              0.42916
            ],
            [
              0.09466,
              0.18281,
              0.26885,
              0.43887
            ],
            [
              0.1083,
              0.19718,
              0.28332,
              0.45429
            ],
            [
              0.1255,
              0.21884,
              0.30523,
              0.4762
            ],
            [
              0.14774,
              0.25131,
              0.33802,
              0.50931
            ],
            [
              0.17488,
              0.29485,
              0.38739,
              0.55932
            ],
            [
              0.20622,
              0.35106,
              0.45572,
              0.63392
            ],
            [
              0.24027,
              0.42137,
              0.54387,
              0.74267
            ],
            [
              0.2758,
              0.5055,
              0.6549,
              0.8849
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06273,
              0.1381,
              0.21234,
              0.35996
            ],
            [
              0.06559,
              0.14127,
              0.21545,
              0.36318
            ],
            [
              0.06915,
              0.14503,
              0.21927,
              0.36697
            ],
            [
              0.07455,
              0.15074,
              0.22504,
              0.37271
            ],
            [
              0.08297,
              0.15941,
              0.23374,
              0.38135
            ],
            [
              0.09593,
              0.17252,
              0.2469,
              0.3947
            ],
            [
              0.11611,
              0.19263,
              0.26729,
              0.41521
            ],
            [
              0.14411,
              0.22298,
              0.29768,
              0.44584
            ],
            [
              0.17839,
              0.26907,
              0.34343,
              0.49157
            ],
            [
              0.22023,
              0.33549,
              0.41303,
              0.56103
            ],
            [
              0.27088,
              0.41844,
              0.51482,
              0.66532
            ],
            [
              0.33177,
              0.52017,
              0.64387,
              0.82217
            ],
            [
              0.4051,
              0.6439,
              0.8023,
              1.0309
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.04931,
              0.16316,
              0.27692,
              0.50448
            ],
            [
              0.04931,
              0.16331,
              0.27719,
              0.50458
            ],
            [
              0.04931,
              0.16316,
              0.27722,
              0.5046
            ],
            [
              0.04925,
              0.16337,
              0.27722,
              0.50453
            ],
            [
              0.04932,
              0.16318,
              0.27722,
              0.50452
            ],
            [
              0.0499,
              0.16324,
              0.27716,
              0.50467
            ],
            [
              0.05359,
              0.16326,
              0.27698,
              0.50462
            ],
            [
              0.06137,
              0.16525,
              0.27704,
              0.50419
            ],
            [
              0.07228,
              0.17265,
              0.27976,
              0.50435
            ],
            [
              0.08913,
              0.19064,
              0.2902,
              0.50692
            ],
            [
              0.11399,
              0.22138,
              0.31613,
              0.51971
            ],
            [
              0.14924,
              0.2666,
              0.3645,
              0.5537
            ],
            [
              0.1979,
              0.3316,
              0.4352,
              0.6247
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.05379,
              0.15821,
              0.26256,
              0.4714
            ],
            [
              0.05379,
              0.15818,
              0.2624,
              0.47153
            ],
            [
              0.05389,
              0.1581,
              0.26253,
              0.47147
            ],
            [
              0.05384,
              0.15818,
              0.26228,
              0.47137
            ],
            [
              0.05379,
              0.15815,
              0.26259,
              0.47143
            ],
            [
              0.05415,
              0.1582,
              0.26263,
              0.47089
            ],
            [
              0.05934,
              0.15826,
              0.26256,
              0.47112
            ],
            [
              0.07229,
              0.15989,
              0.26254,
              0.47141
            ],
            [
              0.09308,
              0.17129,
              0.26509,
              0.47147
            ],
            [
              0.11989,
              0.19919,
              0.28085,
              0.47206
            ],
            [
              0.15516,
              0.25137,
              0.32092,
              0.49093
            ],
            [
              0.2002,
              0.3225,
              0.4003,
              0.5436
            ],
            [
              0.2572,
              0.4154,
              0.5117,
              0.6534
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&C1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&A3&C1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.09465,
              0.18648,
              0.27531,
              0.45135
            ],
            [
              0.0973,
              0.1894,
              0.27828,
              0.45438
            ],
            [
              0.10055,
              0.19286,
              0.28183,
              0.45798
            ],
            [
              0.10526,
              0.19784,
              0.28691,
              0.46314
            ],
            [
              0.11194,
              0.20483,
              0.29402,
              0.47035
            ],
            [
              0.12156,
              0.21475,
              0.30414,
              0.48065
            ],
            [
              0.13595,
              0.22933,
              0.31892,
              0.49564
            ],
            [
              0.1572,
              0.2511,
              0.34092,
              0.51791
            ],
            [
              0.18447,
              0.28391,
              0.37393,
              0.55124
            ],
            [
              0.21969,
              0.33133,
              0.4235,
              0.60121
            ],
            [
              0.26317,
              0.39298,
              0.49542,
              0.67612
            ],
            [
              0.31407,
              0.47157,
              0.58927,
              0.78717
            ],
            [
              0.3713,
              0.5678,
              0.7087,
              0.9352
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06407,
              0.13942,
              0.21367,
              0.36137
            ],
            [
              0.06696,
              0.1426,
              0.21683,
              0.36453
            ],
            [
              0.07052,
              0.14637,
              0.22065,
              0.36843
            ],
            [
              0.07593,
              0.15208,
              0.2264,
              0.37413
            ],
            [
              0.08433,
              0.16076,
              0.23511,
              0.38283
            ],
            [
              0.09728,
              0.17386,
              0.24859,
              0.39604
            ],
            [
              0.11743,
              0.19398,
              0.26866,
              0.41666
            ],
            [
              0.14574,
              0.22431,
              0.2987,
              0.44722
            ],
            [
              0.18045,
              0.27038,
              0.34478,
              0.49296
            ],
            [
              0.22286,
              0.337,
              0.41436,
              0.56245
            ],
            [
              0.27427,
              0.42036,
              0.51632,
              0.66672
            ],
            [
              0.33617,
              0.52257,
              0.64567,
              0.82367
            ],
            [
              0.4105,
              0.6471,
              0.8046,
              1.0327
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.07077,
              0.18818,
              0.30568,
              0.54019
            ],
            [
              0.07076,
              0.18807,
              0.3057,
              0.54025
            ],
            [
              0.07067,
              0.18816,
              0.30574,
              0.54035
            ],
            [
              0.07075,
              0.18804,
              0.30569,
              0.5404
            ],
            [
              0.07072,
              0.18811,
              0.30571,
              0.53989
            ],
            [
              0.07057,
              0.1883,
              0.30566,
              0.54035
            ],
            [
              0.07146,
              0.18805,
              0.30532,
              0.54026
            ],
            [
              0.07648,
              0.18845,
              0.30557,
              0.54039
            ],
            [
              0.08706,
              0.19358,
              0.30673,
              0.53977
            ],
            [
              0.10248,
              0.20775,
              0.31492,
              0.54123
            ],
            [
              0.12612,
              0.23648,
              0.33644,
              0.55148
            ],
            [
              0.1604,
              0.2803,
              0.382,
              0.5811
            ],
            [
              0.2081,
              0.3438,
              0.4512,
              0.6484
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.07137,
              0.18382,
              0.29023,
              0.49938
            ],
            [
              0.07138,
              0.1838,
              0.29022,
              0.49895
            ],
            [
              0.07137,
              0.18379,
              0.29025,
              0.49938
            ],
            [
              0.07137,
              0.18379,
              0.29019,
              0.49933
            ],
            [
              0.07137,
              0.18379,
              0.29013,
              0.49935
            ],
            [
              0.07172,
              0.18378,
              0.29024,
              0.49894
            ],
            [
              0.07679,
              0.18384,
              0.29019,
              0.49896
            ],
            [
              0.08973,
              0.1856,
              0.29023,
              0.49899
            ],
            [
              0.11644,
              0.19692,
              0.29269,
              0.49892
            ],
            [
              0.15284,
              0.22488,
              0.30855,
              0.50019
            ],
            [
              0.20058,
              0.27941,
              0.34883,
              0.51855
            ],
            [
              0.2612,
              0.3586,
              0.4278,
              0.5711
            ],
            [
              0.3377,
              0.4615,
              0.5471,
              0.6808
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&C1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&C1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06548,
              0.14683,
              0.22776,
              0.38849
            ],
            [
              0.06804,
              0.14979,
              0.23077,
              0.39157
            ],
            [
              0.07117,
              0.15328,
              0.23417,
              0.39567
            ],
            [
              0.07565,
              0.15832,
              0.2395,
              0.40087
            ],
            [
              0.0821,
              0.16535,
              0.24661,
              0.40811
            ],
            [
              0.09164,
              0.17518,
              0.25644,
              0.41802
            ],
            [
              0.10518,
              0.18961,
              0.27149,
              0.43353
            ],
            [
              0.12228,
              0.21143,
              0.29342,
              0.45554
            ],
            [
              0.14425,
              0.24395,
              0.32631,
              0.48877
            ],
            [
              0.17099,
              0.28696,
              0.37592,
              0.53899
            ],
            [
              0.20182,
              0.3424,
              0.44329,
              0.61392
            ],
            [
              0.23537,
              0.41157,
              0.53017,
              0.72177
            ],
            [
              0.2702,
              0.4943,
              0.6394,
              0.8619
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06262,
              0.13805,
              0.21223,
              0.35997
            ],
            [
              0.06548,
              0.14112,
              0.21531,
              0.36304
            ],
            [
              0.06898,
              0.14487,
              0.2191,
              0.36687
            ],
            [
              0.0744,
              0.15055,
              0.22484,
              0.37261
            ],
            [
              0.0828,
              0.15924,
              0.23357,
              0.3813
            ],
            [
              0.09579,
              0.17234,
              0.24671,
              0.39455
            ],
            [
              0.116,
              0.19244,
              0.26706,
              0.41495
            ],
            [
              0.144,
              0.22282,
              0.29748,
              0.44562
            ],
            [
              0.1783,
              0.26897,
              0.34354,
              0.49142
            ],
            [
              0.22017,
              0.33539,
              0.41289,
              0.56086
            ],
            [
              0.27086,
              0.41835,
              0.51472,
              0.66512
            ],
            [
              0.33187,
              0.52007,
              0.64377,
              0.82207
            ],
            [
              0.4052,
              0.6439,
              0.8023,
              1.0308
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.04643,
              0.15452,
              0.26274,
              0.47796
            ],
            [
              0.04644,
              0.15447,
              0.26282,
              0.47829
            ],
            [
              0.04637,
              0.15448,
              0.26255,
              0.47861
            ],
            [
              0.04644,
              0.15455,
              0.26258,
              0.47901
            ],
            [
              0.04648,
              0.15454,
              0.26257,
              0.47902
            ],
            [
              0.0472,
              0.15451,
              0.26225,
              0.47807
            ],
            [
              0.05098,
              0.15458,
              0.26263,
              0.47869
            ],
            [
              0.05879,
              0.1568,
              0.2625,
              0.47845
            ],
            [
              0.06961,
              0.1649,
              0.26562,
              0.478
            ],
            [
              0.08638,
              0.18334,
              0.27712,
              0.48108
            ],
            [
              0.11096,
              0.21375,
              0.30391,
              0.49494
            ],
            [
              0.14576,
              0.2587,
              0.3518,
              0.531
            ],
            [
              0.1939,
              0.3228,
              0.4219,
              0.6029
            ]
          ]
        },
        "related_pin": "B1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.05379,
              0.15806,
              0.26255,
              0.47081
            ],
            [
              0.05387,
              0.15806,
              0.26237,
              0.47153
            ],
            [
              0.05388,
              0.1581,
              0.26261,
              0.47147
            ],
            [
              0.05386,
              0.15818,
              0.26237,
              0.47146
            ],
            [
              0.05383,
              0.15817,
              0.26254,
              0.47131
            ],
            [
              0.05422,
              0.15829,
              0.26263,
              0.47089
            ],
            [
              0.05942,
              0.15826,
              0.26257,
              0.47108
            ],
            [
              0.07238,
              0.15992,
              0.26254,
              0.47141
            ],
            [
              0.09314,
              0.17133,
              0.26509,
              0.47152
            ],
            [
              0.11994,
              0.19927,
              0.28094,
              0.47216
            ],
            [
              0.1552,
              0.25143,
              0.32102,
              0.49095
            ],
            [
              0.2001,
              0.3226,
              0.4004,
              0.5433
            ],
            [
              0.2571,
              0.4153,
              0.5118,
              0.6535
            ]
          ]
        },
        "sdf_cond": "(A1&A2&A3&C1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&A3&C1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06518,
              0.16891,
              0.27062,
              0.4742
            ],
            [
              0.06673,
              0.17113,
              0.27309,
              0.4772
            ],
            [
              0.06887,
              0.17403,
              0.27609,
              0.48016
            ],
            [
              0.07253,
              0.17832,
              0.28073,
              0.48524
            ],
            [
              0.07861,
              0.18493,
              0.2881,
              0.49251
            ],
            [
              0.0887,
              0.19511,
              0.29862,
              0.50341
            ],
            [
              0.10508,
              0.21095,
              0.31461,
              0.5189
            ],
            [
              0.12558,
              0.23499,
              0.33892,
              0.54392
            ],
            [
              0.15015,
              0.27213,
              0.37557,
              0.58083
            ],
            [
              0.17919,
              0.32719,
              0.43201,
              0.63699
            ],
            [
              0.21322,
              0.39489,
              0.51712,
              0.72252
            ],
            [
              0.25277,
              0.47627,
              0.62547,
              0.85207
            ],
            [
              0.2986,
              0.5734,
              0.7568,
              1.0313
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.04515,
              0.11383,
              0.18125,
              0.31541
            ],
            [
              0.04782,
              0.11707,
              0.18453,
              0.31851
            ],
            [
              0.05118,
              0.12098,
              0.18829,
              0.32229
            ],
            [
              0.05653,
              0.12638,
              0.19415,
              0.3286
            ],
            [
              0.06483,
              0.13491,
              0.20278,
              0.33756
            ],
            [
              0.0777,
              0.14762,
              0.21568,
              0.35047
            ],
            [
              0.09478,
              0.16709,
              0.23516,
              0.37003
            ],
            [
              0.11489,
              0.19646,
              0.26466,
              0.3992
            ],
            [
              0.13872,
              0.24074,
              0.30907,
              0.44404
            ],
            [
              0.16642,
              0.29741,
              0.37631,
              0.51115
            ],
            [
              0.19835,
              0.36582,
              0.46702,
              0.61232
            ],
            [
              0.23467,
              0.44737,
              0.57727,
              0.75977
            ],
            [
              0.2756,
              0.5432,
              0.7096,
              0.9432
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.06047,
              0.19694,
              0.33248,
              0.60374
            ],
            [
              0.06038,
              0.19664,
              0.33255,
              0.60459
            ],
            [
              0.06031,
              0.19692,
              0.33246,
              0.60441
            ],
            [
              0.06012,
              0.19678,
              0.33259,
              0.60455
            ],
            [
              0.05949,
              0.19693,
              0.33267,
              0.6044
            ],
            [
              0.05983,
              0.19689,
              0.33268,
              0.6042
            ],
            [
              0.06489,
              0.19663,
              0.33262,
              0.60408
            ],
            [
              0.07724,
              0.1969,
              0.33255,
              0.60443
            ],
            [
              0.09207,
              0.20569,
              0.33294,
              0.60387
            ],
            [
              0.11371,
              0.22976,
              0.34439,
              0.60349
            ],
            [
              0.14298,
              0.27427,
              0.37794,
              0.61509
            ],
            [
              0.18146,
              0.3348,
              0.4453,
              0.6565
            ],
            [
              0.2316,
              0.4152,
              0.541,
              0.7491
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.03936,
              0.13422,
              0.22982,
              0.4195
            ],
            [
              0.03918,
              0.1342,
              0.23018,
              0.41941
            ],
            [
              0.03923,
              0.13426,
              0.22953,
              0.41985
            ],
            [
              0.03916,
              0.1342,
              0.2296,
              0.42053
            ],
            [
              0.03933,
              0.13431,
              0.22956,
              0.41999
            ],
            [
              0.04333,
              0.13442,
              0.22959,
              0.41948
            ],
            [
              0.05316,
              0.13452,
              0.22987,
              0.42043
            ],
            [
              0.06919,
              0.13969,
              0.22955,
              0.41982
            ],
            [
              0.08915,
              0.15639,
              0.23613,
              0.4201
            ],
            [
              0.11521,
              0.1915,
              0.25802,
              0.4248
            ],
            [
              0.14886,
              0.2454,
              0.30733,
              0.45061
            ],
            [
              0.19164,
              0.3155,
              0.3916,
              0.5147
            ],
            [
              0.2452,
              0.4055,
              0.5015,
              0.6392
            ]
          ]
        },
        "sdf_cond": "(!A1&!A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.09651,
              0.2069,
              0.31354,
              0.52485
            ],
            [
              0.09845,
              0.20924,
              0.31595,
              0.52737
            ],
            [
              0.10097,
              0.2121,
              0.31897,
              0.53054
            ],
            [
              0.10504,
              0.21648,
              0.32356,
              0.53531
            ],
            [
              0.11145,
              0.22331,
              0.33064,
              0.54242
            ],
            [
              0.12151,
              0.23367,
              0.34127,
              0.55328
            ],
            [
              0.13719,
              0.2494,
              0.35726,
              0.56965
            ],
            [
              0.16268,
              0.27374,
              0.3816,
              0.59418
            ],
            [
              0.19645,
              0.31072,
              0.41841,
              0.63135
            ],
            [
              0.23716,
              0.36787,
              0.47458,
              0.68749
            ],
            [
              0.28584,
              0.44482,
              0.56052,
              0.77242
            ],
            [
              0.34327,
              0.53757,
              0.67857,
              0.90147
            ],
            [
              0.4105,
              0.6488,
              0.8212,
              1.0883
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.04601,
              0.11472,
              0.18188,
              0.3159
            ],
            [
              0.04869,
              0.11793,
              0.18524,
              0.31931
            ],
            [
              0.05209,
              0.12172,
              0.18914,
              0.32302
            ],
            [
              0.05742,
              0.12732,
              0.19476,
              0.32898
            ],
            [
              0.06574,
              0.13585,
              0.20345,
              0.33787
            ],
            [
              0.07864,
              0.14856,
              0.21647,
              0.35099
            ],
            [
              0.09608,
              0.1681,
              0.23589,
              0.37059
            ],
            [
              0.11662,
              0.19747,
              0.26551,
              0.40014
            ],
            [
              0.141,
              0.24188,
              0.31003,
              0.44474
            ],
            [
              0.16942,
              0.29888,
              0.37739,
              0.51198
            ],
            [
              0.20225,
              0.36772,
              0.46852,
              0.61322
            ],
            [
              0.23967,
              0.44957,
              0.57907,
              0.76107
            ],
            [
              0.282,
              0.5464,
              0.7119,
              0.9448
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.08645,
              0.22738,
              0.36758,
              0.64867
            ],
            [
              0.08638,
              0.22737,
              0.36755,
              0.64874
            ],
            [
              0.08646,
              0.22737,
              0.36751,
              0.64848
            ],
            [
              0.08647,
              0.22733,
              0.36755,
              0.64844
            ],
            [
              0.08643,
              0.22736,
              0.36773,
              0.64875
            ],
            [
              0.08584,
              0.22717,
              0.3676,
              0.64852
            ],
            [
              0.08539,
              0.22735,
              0.36766,
              0.64845
            ],
            [
              0.09136,
              0.22662,
              0.3677,
              0.64878
            ],
            [
              0.10702,
              0.23046,
              0.36748,
              0.64889
            ],
            [
              0.12765,
              0.24806,
              0.37373,
              0.64854
            ],
            [
              0.15701,
              0.28805,
              0.40063,
              0.6551
            ],
            [
              0.1969,
              0.3485,
              0.4613,
              0.6898
            ],
            [
              0.249,
              0.4294,
              0.558,
              0.7754
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.0524,
              0.15596,
              0.2539,
              0.44455
            ],
            [
              0.05241,
              0.15596,
              0.25386,
              0.44457
            ],
            [
              0.0524,
              0.15589,
              0.25391,
              0.4449
            ],
            [
              0.0524,
              0.15597,
              0.25388,
              0.44491
            ],
            [
              0.05255,
              0.15597,
              0.25388,
              0.44454
            ],
            [
              0.0565,
              0.15594,
              0.25397,
              0.445
            ],
            [
              0.06633,
              0.15604,
              0.25393,
              0.44465
            ],
            [
              0.08706,
              0.16156,
              0.25398,
              0.44484
            ],
            [
              0.11497,
              0.17827,
              0.26057,
              0.44482
            ],
            [
              0.15222,
              0.21336,
              0.283,
              0.44985
            ],
            [
              0.19998,
              0.27328,
              0.33207,
              0.47652
            ],
            [
              0.25985,
              0.352,
              0.4191,
              0.5409
            ],
            [
              0.3349,
              0.4526,
              0.5366,
              0.6645
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.05829,
              0.1462,
              0.23279,
              0.40578
            ],
            [
              0.06015,
              0.14863,
              0.23536,
              0.40848
            ],
            [
              0.06247,
              0.15164,
              0.23875,
              0.41146
            ],
            [
              0.06653,
              0.15621,
              0.24358,
              0.41639
            ],
            [
              0.07303,
              0.16343,
              0.2509,
              0.42394
            ],
            [
              0.08362,
              0.17417,
              0.26188,
              0.43562
            ],
            [
              0.09976,
              0.19056,
              0.27846,
              0.45257
            ],
            [
              0.11929,
              0.21555,
              0.30367,
              0.47747
            ],
            [
              0.14272,
              0.25424,
              0.34204,
              0.51615
            ],
            [
              0.17039,
              0.30767,
              0.40038,
              0.57487
            ],
            [
              0.20276,
              0.37258,
              0.48482,
              0.66272
            ],
            [
              0.24037,
              0.45047,
              0.58897,
              0.79537
            ],
            [
              0.2835,
              0.5429,
              0.714,
              0.9684
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.0451,
              0.1139,
              0.18119,
              0.31583
            ],
            [
              0.0478,
              0.117,
              0.18434,
              0.31886
            ],
            [
              0.05112,
              0.12076,
              0.18858,
              0.32283
            ],
            [
              0.0564,
              0.12638,
              0.19385,
              0.32769
            ],
            [
              0.06464,
              0.13467,
              0.20252,
              0.3368
            ],
            [
              0.07749,
              0.1474,
              0.21536,
              0.35002
            ],
            [
              0.0945,
              0.16657,
              0.2348,
              0.37
            ],
            [
              0.11459,
              0.19619,
              0.26433,
              0.39888
            ],
            [
              0.13841,
              0.24037,
              0.30866,
              0.44368
            ],
            [
              0.16624,
              0.29698,
              0.37603,
              0.51082
            ],
            [
              0.1983,
              0.36559,
              0.46692,
              0.61192
            ],
            [
              0.23487,
              0.44727,
              0.57697,
              0.75937
            ],
            [
              0.2764,
              0.5434,
              0.7092,
              0.943
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.05029,
              0.16618,
              0.28188,
              0.51304
            ],
            [
              0.0503,
              0.16609,
              0.28174,
              0.51292
            ],
            [
              0.05023,
              0.16614,
              0.28186,
              0.51335
            ],
            [
              0.05008,
              0.1661,
              0.28186,
              0.51345
            ],
            [
              0.0498,
              0.1663,
              0.28192,
              0.51342
            ],
            [
              0.05112,
              0.16623,
              0.28202,
              0.51355
            ],
            [
              0.05754,
              0.16605,
              0.28212,
              0.51371
            ],
            [
              0.06981,
              0.16818,
              0.28201,
              0.51331
            ],
            [
              0.08521,
              0.17958,
              0.28436,
              0.51339
            ],
            [
              0.10672,
              0.20725,
              0.30005,
              0.51467
            ],
            [
              0.13549,
              0.25188,
              0.33892,
              0.53209
            ],
            [
              0.17319,
              0.3115,
              0.4081,
              0.5819
            ],
            [
              0.2222,
              0.3905,
              0.503,
              0.6827
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.03936,
              0.13426,
              0.22966,
              0.42067
            ],
            [
              0.03921,
              0.13436,
              0.22909,
              0.42082
            ],
            [
              0.03926,
              0.13405,
              0.22996,
              0.41998
            ],
            [
              0.03927,
              0.13421,
              0.22935,
              0.42011
            ],
            [
              0.03942,
              0.13431,
              0.22937,
              0.42009
            ],
            [
              0.04358,
              0.13439,
              0.22933,
              0.42037
            ],
            [
              0.05345,
              0.13456,
              0.22964,
              0.42052
            ],
            [
              0.06965,
              0.14004,
              0.22956,
              0.41982
            ],
            [
              0.08938,
              0.15675,
              0.23635,
              0.4201
            ],
            [
              0.11544,
              0.19198,
              0.2584,
              0.42487
            ],
            [
              0.14889,
              0.24569,
              0.30747,
              0.45086
            ],
            [
              0.19136,
              0.3157,
              0.3919,
              0.5149
            ],
            [
              0.2448,
              0.4054,
              0.5013,
              0.6395
            ]
          ]
        },
        "sdf_cond": "(!A1&A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(!A1&A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.11003,
              0.22791,
              0.33759,
              0.55171
            ],
            [
              0.11199,
              0.23023,
              0.34,
              0.55427
            ],
            [
              0.11455,
              0.23311,
              0.34307,
              0.5574
            ],
            [
              0.11871,
              0.23756,
              0.34769,
              0.5622
            ],
            [
              0.12527,
              0.24438,
              0.35472,
              0.56937
            ],
            [
              0.13566,
              0.2549,
              0.3654,
              0.5802
            ],
            [
              0.15174,
              0.27079,
              0.38149,
              0.59662
            ],
            [
              0.1774,
              0.29513,
              0.40591,
              0.62125
            ],
            [
              0.21652,
              0.33241,
              0.44291,
              0.65837
            ],
            [
              0.26425,
              0.38974,
              0.49913,
              0.71449
            ],
            [
              0.32191,
              0.47242,
              0.58532,
              0.79962
            ],
            [
              0.39047,
              0.57297,
              0.70847,
              0.92837
            ],
            [
              0.4717,
              0.6943,
              0.8586,
              1.1191
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.046,
              0.11473,
              0.18185,
              0.31578
            ],
            [
              0.04867,
              0.11789,
              0.18522,
              0.31919
            ],
            [
              0.05208,
              0.12171,
              0.18913,
              0.323
            ],
            [
              0.0574,
              0.12731,
              0.19473,
              0.32897
            ],
            [
              0.06573,
              0.13583,
              0.20343,
              0.33775
            ],
            [
              0.07862,
              0.14855,
              0.21646,
              0.35085
            ],
            [
              0.09606,
              0.16808,
              0.23591,
              0.37056
            ],
            [
              0.1166,
              0.19745,
              0.26549,
              0.40012
            ],
            [
              0.14097,
              0.24186,
              0.31002,
              0.44465
            ],
            [
              0.16937,
              0.29886,
              0.37738,
              0.51203
            ],
            [
              0.2022,
              0.3677,
              0.46842,
              0.61342
            ],
            [
              0.23957,
              0.44957,
              0.57907,
              0.76107
            ],
            [
              0.2819,
              0.5463,
              0.7119,
              0.9448
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.10797,
              0.24924,
              0.38976,
              0.66979
            ],
            [
              0.10805,
              0.24938,
              0.38936,
              0.67017
            ],
            [
              0.10822,
              0.2495,
              0.38954,
              0.67002
            ],
            [
              0.10818,
              0.24952,
              0.38933,
              0.66965
            ],
            [
              0.10799,
              0.24932,
              0.38956,
              0.66937
            ],
            [
              0.1069,
              0.24934,
              0.38976,
              0.66991
            ],
            [
              0.10424,
              0.24931,
              0.38926,
              0.6698
            ],
            [
              0.10665,
              0.24832,
              0.38946,
              0.66979
            ],
            [
              0.11865,
              0.24904,
              0.38878,
              0.66991
            ],
            [
              0.13987,
              0.262,
              0.39189,
              0.66958
            ],
            [
              0.16886,
              0.29757,
              0.41417,
              0.6733
            ],
            [
              0.209,
              0.3574,
              0.47,
              0.7038
            ],
            [
              0.2622,
              0.4375,
              0.5657,
              0.7838
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.05238,
              0.15721,
              0.2582,
              0.45694
            ],
            [
              0.05239,
              0.15719,
              0.25821,
              0.45692
            ],
            [
              0.05237,
              0.15716,
              0.25824,
              0.45697
            ],
            [
              0.05238,
              0.15723,
              0.25819,
              0.4571
            ],
            [
              0.05252,
              0.15722,
              0.25822,
              0.45694
            ],
            [
              0.05646,
              0.15719,
              0.25823,
              0.457
            ],
            [
              0.06626,
              0.15728,
              0.25826,
              0.45704
            ],
            [
              0.08711,
              0.16281,
              0.25827,
              0.45707
            ],
            [
              0.11547,
              0.17951,
              0.26487,
              0.45711
            ],
            [
              0.15423,
              0.21474,
              0.28734,
              0.46196
            ],
            [
              0.20579,
              0.27649,
              0.33648,
              0.48862
            ],
            [
              0.27355,
              0.3591,
              0.4261,
              0.5528
            ],
            [
              0.3648,
              0.4672,
              0.5498,
              0.6782
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.05759,
              0.14401,
              0.22935,
              0.39953
            ],
            [
              0.05951,
              0.14653,
              0.23195,
              0.4022
            ],
            [
              0.06185,
              0.14938,
              0.23509,
              0.40487
            ],
            [
              0.06595,
              0.15408,
              0.23994,
              0.40986
            ],
            [
              0.07248,
              0.16125,
              0.24698,
              0.41741
            ],
            [
              0.08312,
              0.1721,
              0.25801,
              0.42919
            ],
            [
              0.09919,
              0.18835,
              0.27498,
              0.4461
            ],
            [
              0.11862,
              0.21362,
              0.30027,
              0.47114
            ],
            [
              0.14193,
              0.25248,
              0.33874,
              0.50988
            ],
            [
              0.16945,
              0.30564,
              0.39729,
              0.56839
            ],
            [
              0.20163,
              0.37021,
              0.48152,
              0.65692
            ],
            [
              0.23897,
              0.44767,
              0.58517,
              0.78967
            ],
            [
              0.2819,
              0.5397,
              0.7095,
              0.9618
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.04509,
              0.11392,
              0.18113,
              0.31586
            ],
            [
              0.04779,
              0.117,
              0.18462,
              0.31889
            ],
            [
              0.05111,
              0.12095,
              0.18861,
              0.32285
            ],
            [
              0.05638,
              0.12637,
              0.19381,
              0.3278
            ],
            [
              0.06461,
              0.13466,
              0.20252,
              0.33668
            ],
            [
              0.07746,
              0.14739,
              0.21533,
              0.35
            ],
            [
              0.09447,
              0.16653,
              0.23469,
              0.36998
            ],
            [
              0.11456,
              0.19615,
              0.2643,
              0.39884
            ],
            [
              0.13838,
              0.24032,
              0.30862,
              0.44363
            ],
            [
              0.16622,
              0.29697,
              0.37598,
              0.51078
            ],
            [
              0.1983,
              0.36556,
              0.46692,
              0.61182
            ],
            [
              0.23487,
              0.44727,
              0.57717,
              0.75937
            ],
            [
              0.2764,
              0.5434,
              0.7092,
              0.9429
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.0493,
              0.16305,
              0.2771,
              0.50479
            ],
            [
              0.04931,
              0.16323,
              0.27716,
              0.50481
            ],
            [
              0.04927,
              0.1631,
              0.27717,
              0.5044
            ],
            [
              0.04919,
              0.16315,
              0.27715,
              0.50433
            ],
            [
              0.04885,
              0.16328,
              0.27701,
              0.50451
            ],
            [
              0.05034,
              0.16314,
              0.27705,
              0.5047
            ],
            [
              0.0568,
              0.16295,
              0.27691,
              0.50486
            ],
            [
              0.06908,
              0.16527,
              0.27708,
              0.50416
            ],
            [
              0.08453,
              0.17723,
              0.27971,
              0.50432
            ],
            [
              0.106,
              0.2051,
              0.29551,
              0.50545
            ],
            [
              0.13469,
              0.24967,
              0.33524,
              0.52419
            ],
            [
              0.17225,
              0.3091,
              0.4045,
              0.5745
            ],
            [
              0.2212,
              0.3879,
              0.4992,
              0.6763
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.03919,
              0.13426,
              0.2295,
              0.42065
            ],
            [
              0.0392,
              0.13439,
              0.22939,
              0.42075
            ],
            [
              0.03926,
              0.13425,
              0.22996,
              0.42019
            ],
            [
              0.03927,
              0.1342,
              0.22933,
              0.41976
            ],
            [
              0.03943,
              0.13432,
              0.22939,
              0.41989
            ],
            [
              0.04359,
              0.13433,
              0.22933,
              0.42037
            ],
            [
              0.05347,
              0.13457,
              0.22932,
              0.42052
            ],
            [
              0.06966,
              0.14003,
              0.22956,
              0.41981
            ],
            [
              0.0894,
              0.15675,
              0.23637,
              0.4201
            ],
            [
              0.11543,
              0.19196,
              0.25844,
              0.42492
            ],
            [
              0.1489,
              0.24577,
              0.30744,
              0.45094
            ],
            [
              0.19132,
              0.3156,
              0.3915,
              0.515
            ],
            [
              0.2445,
              0.4053,
              0.5013,
              0.6395
            ]
          ]
        },
        "sdf_cond": "(A1&!A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&!A2&A3&B1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.08274,
              0.17507,
              0.26399,
              0.44012
            ],
            [
              0.08487,
              0.17752,
              0.26655,
              0.44275
            ],
            [
              0.08762,
              0.18056,
              0.26967,
              0.44601
            ],
            [
              0.09198,
              0.18519,
              0.27455,
              0.45093
            ],
            [
              0.09884,
              0.19234,
              0.28187,
              0.45836
            ],
            [
              0.10948,
              0.20324,
              0.29294,
              0.46962
            ],
            [
              0.1261,
              0.21986,
              0.30963,
              0.48661
            ],
            [
              0.15192,
              0.24512,
              0.33495,
              0.5122
            ],
            [
              0.18391,
              0.28369,
              0.37336,
              0.55072
            ],
            [
              0.22241,
              0.3417,
              0.43174,
              0.60902
            ],
            [
              0.26843,
              0.41476,
              0.51982,
              0.69712
            ],
            [
              0.32277,
              0.50277,
              0.63187,
              0.83077
            ],
            [
              0.3861,
              0.6083,
              0.7673,
              1.0105
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.04599,
              0.11472,
              0.18189,
              0.31586
            ],
            [
              0.04866,
              0.11781,
              0.18516,
              0.3192
            ],
            [
              0.05199,
              0.12165,
              0.18906,
              0.32315
            ],
            [
              0.05726,
              0.1272,
              0.19478,
              0.32837
            ],
            [
              0.06553,
              0.13558,
              0.20336,
              0.33754
            ],
            [
              0.0784,
              0.14828,
              0.21622,
              0.35064
            ],
            [
              0.09577,
              0.16753,
              0.23555,
              0.37021
            ],
            [
              0.11628,
              0.19713,
              0.26514,
              0.39979
            ],
            [
              0.14069,
              0.24147,
              0.30962,
              0.44433
            ],
            [
              0.1692,
              0.29841,
              0.37705,
              0.51156
            ],
            [
              0.20219,
              0.36744,
              0.46802,
              0.61282
            ],
            [
              0.23987,
              0.44967,
              0.57867,
              0.76067
            ],
            [
              0.2828,
              0.5465,
              0.7115,
              0.9446
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.07074,
              0.18806,
              0.30567,
              0.54013
            ],
            [
              0.07075,
              0.18828,
              0.30544,
              0.54017
            ],
            [
              0.07078,
              0.1883,
              0.30548,
              0.54011
            ],
            [
              0.0707,
              0.18809,
              0.30536,
              0.54028
            ],
            [
              0.07062,
              0.1881,
              0.30552,
              0.54006
            ],
            [
              0.06997,
              0.18829,
              0.30566,
              0.54033
            ],
            [
              0.07139,
              0.18802,
              0.30568,
              0.54011
            ],
            [
              0.07942,
              0.18811,
              0.30566,
              0.54012
            ],
            [
              0.0955,
              0.19508,
              0.3059,
              0.54021
            ],
            [
              0.11667,
              0.21712,
              0.31718,
              0.54019
            ],
            [
              0.14588,
              0.26024,
              0.35058,
              0.55376
            ],
            [
              0.1844,
              0.3197,
              0.4171,
              0.5983
            ],
            [
              0.2353,
              0.3989,
              0.5116,
              0.6946
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.0524,
              0.15597,
              0.25392,
              0.44465
            ],
            [
              0.0524,
              0.15596,
              0.25382,
              0.44512
            ],
            [
              0.05241,
              0.1559,
              0.25389,
              0.44502
            ],
            [
              0.05241,
              0.15594,
              0.25395,
              0.44493
            ],
            [
              0.05259,
              0.15595,
              0.25391,
              0.44466
            ],
            [
              0.05664,
              0.15594,
              0.25395,
              0.44462
            ],
            [
              0.06666,
              0.15608,
              0.25392,
              0.44504
            ],
            [
              0.08752,
              0.1617,
              0.25394,
              0.44491
            ],
            [
              0.11536,
              0.17858,
              0.26072,
              0.44478
            ],
            [
              0.15253,
              0.21383,
              0.28329,
              0.45019
            ],
            [
              0.20008,
              0.27367,
              0.33257,
              0.47705
            ],
            [
              0.25963,
              0.3519,
              0.4197,
              0.5411
            ],
            [
              0.334,
              0.4526,
              0.5371,
              0.6648
            ]
          ]
        },
        "sdf_cond": "(A1&A2&!A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&!A3&B1)"
      },
      {
        "cell_fall,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.05538,
              0.13752,
              0.21826,
              0.37913
            ],
            [
              0.05735,
              0.1399,
              0.22094,
              0.38186
            ],
            [
              0.05986,
              0.14285,
              0.22396,
              0.38557
            ],
            [
              0.06406,
              0.14758,
              0.22873,
              0.39045
            ],
            [
              0.07072,
              0.1549,
              0.23615,
              0.39788
            ],
            [
              0.08151,
              0.16584,
              0.2473,
              0.40933
            ],
            [
              0.09744,
              0.18235,
              0.26418,
              0.42669
            ],
            [
              0.11667,
              0.20799,
              0.28993,
              0.4525
            ],
            [
              0.13954,
              0.24727,
              0.32898,
              0.49142
            ],
            [
              0.16665,
              0.2996,
              0.38816,
              0.55065
            ],
            [
              0.19834,
              0.36325,
              0.47162,
              0.63972
            ],
            [
              0.23507,
              0.43967,
              0.57377,
              0.77267
            ],
            [
              0.2773,
              0.5303,
              0.6965,
              0.9425
            ]
          ]
        },
        "cell_rise,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.04508,
              0.11382,
              0.18133,
              0.31564
            ],
            [
              0.04777,
              0.11695,
              0.18425,
              0.31925
            ],
            [
              0.05106,
              0.12082,
              0.18851,
              0.32262
            ],
            [
              0.05633,
              0.12635,
              0.19376,
              0.32855
            ],
            [
              0.06454,
              0.13459,
              0.20259,
              0.33651
            ],
            [
              0.07739,
              0.14728,
              0.21523,
              0.34994
            ],
            [
              0.09438,
              0.16648,
              0.23469,
              0.36989
            ],
            [
              0.11448,
              0.19604,
              0.26418,
              0.39873
            ],
            [
              0.13832,
              0.24033,
              0.3085,
              0.44348
            ],
            [
              0.16617,
              0.29687,
              0.37587,
              0.51066
            ],
            [
              0.19829,
              0.36547,
              0.46682,
              0.61212
            ],
            [
              0.23497,
              0.44727,
              0.57717,
              0.75967
            ],
            [
              0.2767,
              0.5434,
              0.7092,
              0.9429
            ]
          ]
        },
        "fall_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.04644,
              0.15476,
              0.26284,
              0.47819
            ],
            [
              0.04644,
              0.15458,
              0.26251,
              0.47797
            ],
            [
              0.04638,
              0.15451,
              0.26262,
              0.47836
            ],
            [
              0.04631,
              0.15451,
              0.26241,
              0.47862
            ],
            [
              0.04614,
              0.15457,
              0.26244,
              0.47847
            ],
            [
              0.04786,
              0.15457,
              0.2624,
              0.47853
            ],
            [
              0.05481,
              0.15439,
              0.26239,
              0.47853
            ],
            [
              0.06694,
              0.15745,
              0.26277,
              0.47839
            ],
            [
              0.08251,
              0.17,
              0.26632,
              0.47853
            ],
            [
              0.10391,
              0.19889,
              0.2832,
              0.48084
            ],
            [
              0.13238,
              0.24334,
              0.3244,
              0.50083
            ],
            [
              0.16964,
              0.3025,
              0.3939,
              0.5536
            ],
            [
              0.2184,
              0.3805,
              0.4878,
              0.6579
            ]
          ]
        },
        "related_pin": "C1",
        "rise_transition,delay_template13x4": {
          "index_1": [
            0.01,
            0.01735,
            0.02602,
            0.03903,
            0.05855,
            0.08782,
            0.13172,
            0.19757,
            0.29634,
            0.44449,
            0.6667,
            1.0,
            1.5
          ],
          "index_2": [
            0.0,
            0.00758,
            0.01517,
            0.03035
          ],
          "values": [
            [
              0.0392,
              0.13424,
              0.22994,
              0.4205
            ],
            [
              0.03932,
              0.13457,
              0.22943,
              0.42069
            ],
            [
              0.0392,
              0.13455,
              0.22942,
              0.41994
            ],
            [
              0.03927,
              0.1342,
              0.22944,
              0.42069
            ],
            [
              0.03944,
              0.13431,
              0.22974,
              0.41995
            ],
            [
              0.04364,
              0.13435,
              0.22935,
              0.42036
            ],
            [
              0.0536,
              0.13445,
              0.22937,
              0.42052
            ],
            [
              0.06969,
              0.14007,
              0.22956,
              0.41982
            ],
            [
              0.08946,
              0.15677,
              0.23642,
              0.42025
            ],
            [
              0.11548,
              0.19208,
              0.25853,
              0.42489
            ],
            [
              0.14894,
              0.24584,
              0.30762,
              0.45076
            ],
            [
              0.1912,
              0.3157,
              0.3919,
              0.5146
            ],
            [
              0.2444,
              0.4052,
              0.5013,
              0.6395
            ]
          ]
        },
        "sdf_cond": "(A1&A2&A3&B1)",
        "timing_sense": "negative_unate",
        "when": "(A1&A2&A3&B1)"
      }
    ]
  }
}